No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 811-832 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5267-5276 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 281-292 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 396-417 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2692-2701 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18421-18442 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2019-2024 |
|
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 1478-1491 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 98-107 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 294-313 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 504-520 |
|
No TPTP formula. May not be expressible in strict first order. |
Hotel.kif 346-361 |
|
No TPTP formula. May not be expressible in strict first order. |
Catalog.kif 139-150 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2271-2278 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 846-846 |
Object is a subclass of physical |
No TPTP formula. May not be expressible in strict first order. |
Weather.kif 2068-2068 |
Tornado damage is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4797-4797 |
Two dimensional object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15250-15250 |
Transitway obstacle is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24553-24553 |
Contact site is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25611-25611 |
Spherical object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 862-862 |
Self connected object is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1251-1251 |
Region is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1261-1261 |
Collection is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1556-1556 |
Agent is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14022-14022 |
Astronomical body is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15681-15681 |
Artifact is a subclass of object |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 3866-3866 |
Magnet is a subclass of object |