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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalCivilAviationOrganization
InternationalCivilAviationOrganization

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


(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3391-3391
(instance InternationalCivilAviationOrganization OrganizationOfNations) Government.kif 3388-3388
(organizationalObjective InternationalCivilAviationOrganization CooperationInCivilAviation) Government.kif 3393-3393
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3070-3070
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3392-3392

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


(abbreviation "ICAO" InternationalCivilAviationOrganization) Government.kif 3390-3390
(conventionalLongName "International Civil Aviation Organization" InternationalCivilAviationOrganization) Government.kif 3389-3389
(termFormat ChineseLanguage InternationalCivilAviationOrganization "国际民航组织") domainEnglishFormat.kif 30558-30558
(termFormat ChineseTraditionalLanguage InternationalCivilAviationOrganization "國際民航組織") domainEnglishFormat.kif 30557-30557
(termFormat EnglishLanguage InternationalCivilAviationOrganization "international civil aviation organization") domainEnglishFormat.kif 30556-30556

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 4061-4063


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