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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCivilAviationOrganization
InternationalCivilAviationOrganization(international civil aviation organization)

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


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

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


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

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 3160-3162


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