TruckTransportation
|
|
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 | TruckTransportation e' uma instancia de IndustryAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8277-8277 | GeneralFreightTrucking e' um sub-atributo de TruckTransportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8311-8311 | SpecializedFreightTrucking e' um sub-atributo de TruckTransportation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59314-59314 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59313-59313 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59312-59312 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8253-8275 |
|