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	子類中情局機場長度分類 and 機場分類

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1440-1440	例長跑道機場 and 中情局機場長度分類
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1421-1421	例中長跑道機場 and 中情局機場長度分類
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1402-1402	例短跑道機場 and 中情局機場長度分類
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1459-1459	例很長的跑道機場 and 中情局機場長度分類
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1386-1386	例很短的跑道機場 and 中情局機場長度分類
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