Entity(entity)

-------------------------


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 4251-4251 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4252-4252 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 4296-4296 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 4297-4297 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 4310-4310 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 1283-1283 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 1284-1284 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