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 CIAAirportLengthClassificationAirportClassificationsubclass では %n

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


(instance LongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1440-1440 LongRunwayAirportCIAAirportLengthClassificationinstance では %n
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1421-1421 MediumLengthRunwayAirportCIAAirportLengthClassificationinstance では %n
(instance ShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1402-1402 ShortRunwayAirportCIAAirportLengthClassificationinstance では %n
(instance VeryLongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1459-1459 VeryLongRunwayAirportCIAAirportLengthClassificationinstance では %n
(instance VeryShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1386-1386 VeryShortRunwayAirportCIAAirportLengthClassificationinstance では %n
(termFormat ChineseLanguage CIAAirportLengthClassification "中情局机场长度分类") domainEnglishFormat.kif 14826-14826
(termFormat ChineseTraditionalLanguage CIAAirportLengthClassification "中情局機場長度分類") domainEnglishFormat.kif 14825-14825
(termFormat EnglishLanguage CIAAirportLengthClassification "CIA airport length classification") domainEnglishFormat.kif 14824-14824


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