TransitAndGroundPassengerTransportation(transit and ground passenger transportation) |
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 | Transit and ground passenger 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 8431-8431 | Charter bus industry is a subattribute of transit and ground passenger transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8400-8400 | Interurban and rural bus transportation is a subattribute of transit and ground passenger transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8437-8437 | Other transit and ground passenger transportation is a subattribute of transit and ground passenger transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8425-8425 | School and employee bus transportation is a subattribute of transit and ground passenger transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8406-8406 | Taxi and limousine service is a subattribute of transit and ground passenger transportation |
No TPTP formula. May not be expressible in strict first order. | naics.kif 8366-8366 | Urban transit systems is a subattribute of transit and ground passenger transportation |
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 |
|