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 中情局机场长度分类机场分类subclass

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


(instance LongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1440-1440 长跑道机场中情局机场长度分类instance
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1421-1421 中长跑道机场中情局机场长度分类instance
(instance ShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1402-1402 短跑道机场中情局机场长度分类instance
(instance VeryLongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1459-1459 很长的跑道机场中情局机场长度分类instance
(instance VeryShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1386-1386 很短的跑道机场中情局机场长度分类instance
(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