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


KB Term:  Term intersection
English Word: 

  InternationalCivilAviationOrganization

 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 30539-30539 International civil aviation organization is a conventional long name of "International Civil Aviation Organization"
(termFormat ChineseTraditionalLanguage InternationalCivilAviationOrganization "國際民航組織") domainEnglishFormat.kif 30538-30538 International civil aviation organization is a conventional long name of "International Civil Aviation Organization"
(termFormat EnglishLanguage InternationalCivilAviationOrganization "international civil aviation organization") domainEnglishFormat.kif 30537-30537 International civil aviation organization is a conventional long name of "International Civil Aviation Organization"

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


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


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