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 14725-14725 |
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 14737-14737 |
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 |