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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternationalCivilAviationOrganization

Sigma KEE - InternationalCivilAviationOrganization
InternationalCivilAviationOrganization

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


(dateEstablished InternationalCivilAviationOrganization
    (DayFn 7
        (MonthFn December
            (YearFn 1944))))
Government.kif 3429-3429
(instance InternationalCivilAviationOrganization OrganizationOfNations) Government.kif 3426-3426
(organizationalObjective InternationalCivilAviationOrganization CooperationInCivilAviation) Government.kif 3431-3431
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3108-3108
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3430-3430

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


(abbreviation "ICAO" InternationalCivilAviationOrganization) Government.kif 3428-3428
(conventionalLongName "International Civil Aviation Organization" InternationalCivilAviationOrganization) Government.kif 3427-3427
(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 3161-3163


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