No TPTP formula. May not be expressible in strict first order.	Merge.kif 743-743	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 744-744	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 3065-3065	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 2683-2683	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 2374-2374	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 14599-14599	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 14611-14611	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 3331-3331	The number 2 argument of name index order 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 2455-2455	The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1667-1667	The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4354-4354	The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4355-4355	The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 632-632	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 621-621	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 622-622	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 4399-4399	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 4400-4400	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 4413-4413	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 2511-2511	The number 2 argument of result is an instance of entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1332-1332	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 1333-1333	The number 2 argument of sub-brand 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