|
|
  GeneralFreightTrucking
|
|
|
| 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 |
|
|
|