TreeView Knowledge Base Browser - CIAAirportLengthClassification

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1381-1384
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1380-1380	中情局机场长度分类是机场分类的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1440-1440	长跑道机场是中情局机场长度分类的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1421-1421	中长跑道机场是中情局机场长度分类的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1402-1402	短跑道机场是中情局机场长度分类的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1459-1459	很长的跑道机场是中情局机场长度分类的 instance
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1386-1386	很短的跑道机场是中情局机场长度分类的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14826-14826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14825-14825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14824-14824