TreeView Knowledge Base Browser - AirportClassification

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1339-1345
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1629-1629
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1338-1338	机场分类是关联属性的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1347-1347	跑道表面的机场是机场分类的 subclass
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1380-1380	中情局机场长度分类是机场分类的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6234-6234
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6233-6233
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 6232-6232