GeneralFreightTrucking(general freight trucking) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8279-8281 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8277-8277 | General freight trucking is a subattribute of truck transportation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8283-8283 | General freight trucking local is a subattribute of general freight trucking |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8290-8290 | General freight trucking long distance is a subattribute of general freight trucking |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25668-25668 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25667-25667 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25666-25666 |