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 |