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 3390-3390 The day 7 of month the month December is a date established of international civil aviation organization
(instance InternationalCivilAviationOrganization OrganizationOfNations) Government.kif 3387-3387 International civil aviation organization is an instance of organization of nations
(organizationalObjective InternationalCivilAviationOrganization CooperationInCivilAviation) Government.kif 3392-3392 Cooperation in civil aviation is an organizational objective of international civil aviation organization
(subOrganization InternationalCivilAviationOrganization EconomicAndSocialCouncil) Government.kif 3069-3069 International civil aviation organization is a part of the organization economic and social council
(subOrganization InternationalCivilAviationOrganization UnitedNations) Government.kif 3391-3391 International civil aviation organization is a part of the organization united nations

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


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

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))		 Transportation.kif 4065-4067


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