|
|
  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 e' uma instancia de IndustryAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8431-8431 | CharterBusIndustry e' um sub-atributo de TransitAndGroundPassengerTransportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8400-8400 | InterurbanAndRuralBusTransportation e' um sub-atributo de TransitAndGroundPassengerTransportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8437-8437 | OtherTransitAndGroundPassengerTransportation e' um sub-atributo de TransitAndGroundPassengerTransportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8425-8425 | SchoolAndEmployeeBusTransportation e' um sub-atributo de TransitAndGroundPassengerTransportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8406-8406 | TaxiAndLimousineService e' um sub-atributo de TransitAndGroundPassengerTransportation |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8366-8366 | UrbanTransitSystems e' um sub-atributo 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 |
|
|
|
|