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 3421-3421 7 Day国际民航组织 的成立 date
(instance InternationalCivilAviationOrganization OrganizationOfNations) Government.kif 3418-3418 国际民航组织国际组织instance
(organizationalObjective InternationalCivilAviationOrganization CooperationInCivilAviation) Government.kif 3423-3423 民航合作国际民航组织organizational 目标
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3100-3100 国际民航组织经济和社会理事会 Organization 的一部分
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3422-3422 国际民航组织联合国 Organization 的一部分

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


(abbreviation "ICAO" InternationalCivilAviationOrganization) Government.kif 3420-3420 国际民航组织 是 "ICAO" 的简称
(conventionalLongName "International Civil Aviation Organization" InternationalCivilAviationOrganization) Government.kif 3419-3419 国际民航组织 是 "International Civil Aviation Organization" 的 conventional 全名
(termFormat ChineseLanguage InternationalCivilAviationOrganization "国际民航组织") domainEnglishFormat.kif 30516-30516
(termFormat ChineseTraditionalLanguage InternationalCivilAviationOrganization "國際民航組織") domainEnglishFormat.kif 30515-30515
(termFormat EnglishLanguage InternationalCivilAviationOrganization "international civil aviation organization") domainEnglishFormat.kif 30514-30514

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))
Transportation.kif 3168-3170


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