Existential instantiation

Property	Value
rdf:type	List of list Rule of inference owl:NamedIndividual Language Writing system Flag Eponymous adjective in English
rdfs:label	Existential instantiation
owl:sameAs	dbr:Existential_instantiation
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/SNOMED_CT http://en.wikipedia.org/wiki/Language_bioprogram_theory http://en.wikipedia.org/wiki/Universal_generalization http://en.wikipedia.org/wiki/Type_system http://en.wikipedia.org/wiki/Tsou_language http://en.wikipedia.org/wiki/Description_logic http://en.wikipedia.org/wiki/English_nouns http://en.wikipedia.org/wiki/Category:Rules_of_inference http://en.wikipedia.org/wiki/List_of_rules_of_inference http://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence http://en.wikipedia.org/wiki/System_L
skos:prefLabel	Existential instantiation
skos:altLabel	Existential Existential Elimination Existential Instantiation Existential_instantiation existential instantiation

About: clgr:Existential_instantiation