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

KB Term:  Term intersection
English Word: 

Sigma KEE - EuropeanOrganizationForNuclearResearch
EuropeanOrganizationForNuclearResearch(european organization for nuclear research)

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


(instance EuropeanOrganizationForNuclearResearch OrganizationOfNations) Government.kif 3227-3227 European organization for nuclear research is an instance of organization of nations
(dateEstablished EuropeanOrganizationForNuclearResearch
    (DayFn 1
        (MonthFn July
            (YearFn 1953))))		 Government.kif 3231-3231 The day 1 of month the month July is a date established of european organization for nuclear research
(organizationalObjective EuropeanOrganizationForNuclearResearch PeacefulUseOfAtomicPower) Government.kif 3232-3232 Peaceful use of atomic power is an organizational objective of european organization for nuclear research
(organizationalObjective EuropeanOrganizationForNuclearResearch TechnologyCooperation) Government.kif 3233-3233 Technology cooperation is an organizational objective of european organization for nuclear research
(organizationalObjective EuropeanOrganizationForNuclearResearch ScientificCooperation) Government.kif 3234-3234 Scientific cooperation is an organizational objective of european organization for nuclear research

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


(conventionalLongName "European Organization for Nuclear Research" EuropeanOrganizationForNuclearResearch) Government.kif 3228-3228 European organization for nuclear research is a conventional long name of "European Organization for Nuclear Research"
(abbreviation "CERN" EuropeanOrganizationForNuclearResearch) Government.kif 3229-3229 "CERN" is an abbreviation of european organization for nuclear research
(formerName "Conseil Europeenne pour la Recherche Nucleaire" EuropeanOrganizationForNuclearResearch) Government.kif 3230-3230 "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research
(termFormat EnglishLanguage EuropeanOrganizationForNuclearResearch "european organization for nuclear research") domainEnglishFormat.kif 22579-22579 "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research
(termFormat ChineseTraditionalLanguage EuropeanOrganizationForNuclearResearch "歐洲核研究組織") domainEnglishFormat.kif 22580-22580 "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research
(termFormat ChineseLanguage EuropeanOrganizationForNuclearResearch "欧洲核研究组织") domainEnglishFormat.kif 22581-22581 "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research


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