Entity(entity)

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


No TPTP formula. May not be expressible in strict first order. Media.kif 3204-3204 The number 2 argument of fullName is an instance of entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3218-3218 The number 2 argument of fullNameIndexOrder is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 767-767 The number 1 argument of greaterThanByQuality is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 768-768 The number 2 argument of greaterThanByQuality is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5334-5334 The number 2 argument of identity element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3285-3285 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 2887-2887 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 82-82 The number 1 argument of instance is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2536-2536 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 12237-12237 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 12249-12249 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 3246-3246 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 2629-2629 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1741-1741 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4504-4504 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4505-4505 The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 651-651 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 639-639 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 640-640 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 4561-4561 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 4562-4562 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 4577-4577 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 2694-2694 The number 2 argument of result 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners