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. | Transportation.kif 2737-2746 |
|
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. | Mid-level-ontology.kif 18448-18469 |
|
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 | Objeto e' uma sub-classe de Fisico |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2051-2051 | TornadoDamage e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2096-2096 | Shrapnel e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4792-4792 | TwoDimensionalObject e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15277-15277 | TransitwayObstacle e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | ContactSite e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25644-25644 | SphericalObject e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 862-862 | Objeto auto-conectado e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1251-1251 | Regiao e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1261-1261 | Colecao e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1556-1556 | AutonomousAgent e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14068-14068 | Corpo Astronomico e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15727-15727 | Artefato e' uma sub-classe de Objeto |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3851-3851 | Magnet e' uma sub-classe de Objeto |