No TPTP formula. May not be expressible in strict first order.	Media.kif 3273-3273	The number 2 argument of full name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3287-3287	The number 2 argument of full name index order is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 742-742	The number 1 argument of greater than by quality is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 743-743	The number 2 argument of greater than by quality is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 90-90	The number 1 argument of immediate instance is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3104-3104	The number 1 argument of in list is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2720-2720	The number 2 argument of in scope of interest is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 81-81	The number 1 argument of instance is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2411-2411	The number 2 argument of involved in event is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16126-16126	The number 2 argument of local long name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16138-16138	The number 2 argument of local short name is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 3315-3315	The number 2 argument of name index order is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4440-4440	The number 2 argument of names is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12514-12514	The number 2 argument of attached is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12564-12564	The number 2 argument of detached is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 127-127	The number 2 argument of offers at time is an instance of entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 199-199	The number 2 argument of past tense is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2492-2492	The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1310-1310	The number 1 argument of product brand is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1311-1311	The number 2 argument of product brand is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1703-1703	The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4424-4424	The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4425-4425	The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 620-620	The number 2 argument of related external concept is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 609-609	The number 1 argument of related internal concept is an instance of entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners