Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CIAAirportLengthClassification
CIAAirportLengthClassification

appearance as argument number 1
-------------------------


(documentation CIAAirportLengthClassification EnglishLanguage "CIAAirportLengthClassification is a class of Attributes used to characterize Airports according to the length of their longest usable runway.") Transportation.kif 1381-1384
(subclass CIAAirportLengthClassification AirportClassification) Transportation.kif 1380-1380

appearance as argument number 2
-------------------------


(instance LongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1440-1440
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1421-1421
(instance ShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1402-1402
(instance VeryLongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1459-1459
(instance VeryShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1386-1386
(termFormat ChineseLanguage CIAAirportLengthClassification "中情局机场长度分类") domainEnglishFormat.kif 14824-14824
(termFormat ChineseTraditionalLanguage CIAAirportLengthClassification "中情局機場長度分類") domainEnglishFormat.kif 14823-14823
(termFormat EnglishLanguage CIAAirportLengthClassification "CIA airport length classification") domainEnglishFormat.kif 14822-14822


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners