TreeView Knowledge Base Browser - NonscheduledAirTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 8002-8004
No TPTP formula. May not be expressible in strict first order.	naics.kif 8000-8000	子屬性非定期航空運輸 and 航空運輸業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 8013-8013	子屬性非計劃包貨運航空運輸 and 非定期航空運輸
No TPTP formula. May not be expressible in strict first order.	naics.kif 8006-8006	子屬性非計劃的包機客運 and 非定期航空運輸
No TPTP formula. May not be expressible in strict first order.	naics.kif 8020-8020	子屬性其他非計劃的航空運輸 and 非定期航空運輸
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40857-40857
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40856-40856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40855-40855