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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalCivilAviationOrganization

Sigma KEE - InternationalCivilAviationOrganization
InternationalCivilAviationOrganization(international civil aviation organization)

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


(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3393-3393 The day 7 is a date established of international civil aviation organization
(instance InternationalCivilAviationOrganization OrganizationOfNations) Government.kif 3390-3390 International civil aviation organization is an instance of organization of nations
(organizationalObjective InternationalCivilAviationOrganization CooperationInCivilAviation) Government.kif 3395-3395 Cooperation in civil aviation is an organizational objective of international civil aviation organization
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3072-3072 International civil aviation organization is a part of the organization economic and social council
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3394-3394 International civil aviation organization is a part of the organization united nations

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


(abbreviation "ICAO" InternationalCivilAviationOrganization) Government.kif 3392-3392 "ICAO" is an abbreviation of international civil aviation organization
(conventionalLongName "International Civil Aviation Organization" InternationalCivilAviationOrganization) Government.kif 3391-3391 International civil aviation organization is a conventional long name of "International Civil Aviation Organization"
(termFormat ChineseLanguage InternationalCivilAviationOrganization "国际民航组织") domainEnglishFormat.kif 30529-30529
(termFormat ChineseTraditionalLanguage InternationalCivilAviationOrganization "國際民航組織") domainEnglishFormat.kif 30528-30528
(termFormat EnglishLanguage InternationalCivilAviationOrganization "international civil aviation organization") domainEnglishFormat.kif 30527-30527

consequent
-------------------------


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 3342-3344


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 3.0 is open source software produced by Articulate Software and its partners