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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CIAAirportLengthClassification

Sigma KEE - CIAAirportLengthClassification
CIAAirportLengthClassification(CIA airport length classification)CIA_airport_length_classification

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 1355-1358
(subclass CIAAirportLengthClassification AirportClassification) Transportation.kif 1354-1354 CIA airport length classification is a subclass of airport classification

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


(instance LongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1412-1412 Long runway airport is an instance of CIA airport length classification
(instance MediumLengthRunwayAirport CIAAirportLengthClassification) Transportation.kif 1394-1394 Medium length runway airport is an instance of CIA airport length classification
(instance ShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1376-1376 Short runway airport is an instance of CIA airport length classification
(instance VeryLongRunwayAirport CIAAirportLengthClassification) Transportation.kif 1430-1430 Very long runway airport is an instance of CIA airport length classification
(instance VeryShortRunwayAirport CIAAirportLengthClassification) Transportation.kif 1360-1360 Very short runway airport is an instance of CIA airport length classification
(termFormat EnglishLanguage CIAAirportLengthClassification "CIA airport length classification") domainEnglishFormat.kif 2894-2894 "CIA airport length classification" is the printable form of CIA airport length classification in english language


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners