TruckTransportation(truck transportation) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8249-8251 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8767-8767 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9772-9772 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9773-9773 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9774-9774 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8247-8247 | Truck transportation is an instance of industry attribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8277-8277 | General freight trucking is a subattribute of truck transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8311-8311 | Specialized freight trucking is a subattribute of truck transportation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59312-59312 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59311-59311 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59310-59310 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8253-8275 |
|