TreeView Knowledge Base Browser - ScheduledAirTransportation

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 7982-7984
No TPTP formula. May not be expressible in strict first order.	naics.kif 7980-7980	子屬性定期航空運輸 and 航空運輸業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7993-7993	子屬性定期貨運航空運輸 and 定期航空運輸
No TPTP formula. May not be expressible in strict first order.	naics.kif 7986-7986	子屬性定期客運航空運輸 and 定期航空運輸
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51519-51519
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51518-51518
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51517-51517