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	定期航空运输是航空运输业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 7993-7993	定期货运航空运输是定期航空运输的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 7986-7986	定期客运航空运输是定期航空运输的 subAttribute
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