| LandTransportation(land transportation) | | chariot, haul, rail, roll, sled, sleigh, snowmobile, train, wheel |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19319-19320 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19318-19318 | Land transportation is a subclass of transportation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2071-2071 | Cycling is a subclass of land transportation |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19342-19342 | Transport via a road vehicle is a subclass of land transportation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33306-33306 | Transport via a road vehicle is a subclass of land transportation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33305-33305 | Transport via a road vehicle is a subclass of land transportation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 33304-33304 | Transport via a road vehicle is a subclass of land transportation |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19335-19339 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19322-19329 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4515-4522 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19331-19333 |
|
|
|
|