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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternationalAtomicEnergyAgency
InternationalAtomicEnergyAgency(international atomic energy agency)
IAEA, International_Atomic_Energy_Agency

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


(dateEstablished InternationalAtomicEnergyAgency
    (DayFn 26
        (MonthFn October
            (YearFn 1956))))
Government.kif 3371-3371 The day 26 is a date established of international atomic energy agency
(externalImage InternationalAtomicEnergyAgency "http://upload.wikimedia.org/ wikipedia/ commons/ b/ b9/ IAEA.png") pictureList.kif 5625-5625
(instance InternationalAtomicEnergyAgency OrganizationOfNations) Government.kif 3368-3368 International atomic energy agency is an instance of organization of nations
(organizationalObjective InternationalAtomicEnergyAgency PeacefulUseOfAtomicPower) Government.kif 3372-3372 Peaceful use of atomic power is an organizational objective of international atomic energy agency
(subOrganization InternationalAtomicEnergyAgency EconomicAndSocialCouncil) Government.kif 3068-3068 International atomic energy agency is a part of the organization economic and social council

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


(abbreviation "IAEA" InternationalAtomicEnergyAgency) Government.kif 3370-3370 "IAEA" is an abbreviation of international atomic energy agency
(conventionalLongName "International Atomic Energy Agency" InternationalAtomicEnergyAgency) Government.kif 3369-3369 International atomic energy agency is a conventional long name of "International Atomic Energy Agency"
(termFormat ChineseLanguage InternationalAtomicEnergyAgency "国际原子能机构") domainEnglishFormat.kif 30499-30499
(termFormat ChineseTraditionalLanguage InternationalAtomicEnergyAgency "國際原子能機構") domainEnglishFormat.kif 30498-30498
(termFormat EnglishLanguage InternationalAtomicEnergyAgency "international atomic energy agency") domainEnglishFormat.kif 30497-30497


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