No TPTP formula. May not be expressible in strict first order.	Merge.kif 715-715	The number 1 argument of greaterThanByQuality is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 716-716	The number 2 argument of greaterThanByQuality is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2999-2999	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 2630-2630	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 2321-2321	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 12524-12524	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 12536-12536	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 3301-3301	The number 2 argument of nameIndexOrder is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 126-126	The number 2 argument of offersAtTime 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 pastTense is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2402-2402	The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1617-1617	The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4257-4257	The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4258-4258	The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 610-610	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 599-599	The number 1 argument of related internal concept is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 600-600	The number 2 argument of related internal concept is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4302-4302	The number 1 argument of represents for agent is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4303-4303	The number 2 argument of represents for agent is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4316-4316	The number 2 argument of represents in language is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2458-2458	The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1284-1284	The number 1 argument of sub-brand is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1285-1285	The number 2 argument of sub-brand is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 309-309	The number 1 argument of subjective attribute 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