Transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15427-15440 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30068-30077 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1041-1049 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17663-17671 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1066-1073 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1049-1058 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1230-1238 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2071-2080 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3340-3352 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 210-218 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2236-2246 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1250-1257 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3472-3481 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2036-2045 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22222-22230 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 335-343 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1246-1263 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 3487-3496 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26138-26147 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 92-104 |
|
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 121-138 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30768-30770 |