|
|
  NonscheduledCharteredPassengerAirTransportation
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8008-8011 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 8006-8006 | 子屬性 非計劃的包機客運 and 非定期航空運輸 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40871-40871 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40870-40870 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40869-40869 |
|
|
|