TransportationCompany(transportation company) | ![]() | line, transportation_company, trucking_company |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8336-8338 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8335-8335 | Transportation company is a subclass of business |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4439-4439 | Airline is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4350-4350 | Common carrier is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4355-4355 | Contract carrier is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4362-4362 | Railroad company is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58972-58972 | Railroad company is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58971-58971 | Railroad company is a subclass of transportation company |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58970-58970 | Railroad company is a subclass of transportation company |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4538-4538 | The number 1 argument of provides destination is an instance of transportation company |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8120-8130 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8340-8346 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8114-8118 |
|
![]() |
![]() |