Entity(entity)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 749-749 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 750-750 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 3106-3106 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 2724-2724 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 2415-2415 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 14753-14753 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 14765-14765 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. Merge.kif 4429-4429 The number 2 argument of names 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 2496-2496 The number 2 argument of patient is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1708-1708 The number 1 argument of property is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4413-4413 The number 1 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4414-4414 The number 2 argument of refers is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 627-627 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 616-616 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 617-617 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 4452-4452 The number 1 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4453-4453 The number 2 argument of represents is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4464-4464 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 4465-4465 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 4478-4478 The number 2 argument of represents in language 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