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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanOrganizationForNuclearResearch
EuropeanOrganizationForNuclearResearch

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


(dateEstablished EuropeanOrganizationForNuclearResearch
    (DayFn 1
        (MonthFn July
            (YearFn 1953))))
Government.kif 3203-3203
(instance EuropeanOrganizationForNuclearResearch OrganizationOfNations) Government.kif 3199-3199
(organizationalObjective EuropeanOrganizationForNuclearResearch PeacefulUseOfAtomicPower) Government.kif 3204-3204
(organizationalObjective EuropeanOrganizationForNuclearResearch ScientificCooperation) Government.kif 3206-3206
(organizationalObjective EuropeanOrganizationForNuclearResearch TechnologyCooperation) Government.kif 3205-3205

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


(abbreviation "CERN" EuropeanOrganizationForNuclearResearch) Government.kif 3201-3201
(conventionalLongName "European Organization for Nuclear Research" EuropeanOrganizationForNuclearResearch) Government.kif 3200-3200
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3202-3202
(termFormat ChineseLanguage EuropeanOrganizationForNuclearResearch "欧洲核研究组织") domainEnglishFormat.kif 22600-22600
(termFormat ChineseTraditionalLanguage EuropeanOrganizationForNuclearResearch "歐洲核研究組織") domainEnglishFormat.kif 22599-22599
(termFormat EnglishLanguage EuropeanOrganizationForNuclearResearch "european organization for nuclear research") domainEnglishFormat.kif 22598-22598


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