No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1572-1580 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2610-2615 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11594-11594 | Transportation is a subclass of translocation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7693-7693 | Shipping is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7706-7706 | Smuggling is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17685-17685 | Air transportation is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17698-17698 | Space transportation is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17739-17739 | Water transportation is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17767-17767 | Land transportation is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17790-17790 | Transport via a road vehicle is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11613-11613 | Driving is a subclass of transportation |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6531-6531 | MoveToEvac is a subclass of transportation |