TransitAndGroundPassengerTransportation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8340-8342 | |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8338-8338 | TransitAndGroundPassengerTransportation est une instance de IndustryAttribute |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8431-8431 | CharterBusIndustry est un sous-attribut de TransitAndGroundPassengerTransportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8400-8400 | InterurbanAndRuralBusTransportation est un sous-attribut de TransitAndGroundPassengerTransportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8437-8437 | OtherTransitAndGroundPassengerTransportation est un sous-attribut de TransitAndGroundPassengerTransportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8425-8425 | SchoolAndEmployeeBusTransportation est un sous-attribut de TransitAndGroundPassengerTransportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8406-8406 | TaxiAndLimousineService est un sous-attribut de TransitAndGroundPassengerTransportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8366-8366 | UrbanTransitSystems est un sous-attribut de TransitAndGroundPassengerTransportation |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58850-58850 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58849-58849 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 58848-58848 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8344-8364 |
|