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 |