Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  InternationalCivilAviationOrganization

 Sigma KEE - InternationalCivilAviationOrganization
InternationalCivilAviationOrganization(international civil aviation organization)

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


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

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


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

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


(=>
    (codeMapping IACOAirlineCode ?STR ?AIR)
    (member ?AIR InternationalCivilAviationOrganization))		 Transportation.kif 4607-4609 If X in IACO airline code denotes Y, then Y is a member of international civil aviation organization


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners