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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3239-3239 The day 1 is a date established of european organization for nuclear research
No TPTP formula. May not be expressible in strict first order. Government.kif 3235-3235 European organization for nuclear research is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order. Government.kif 3240-3240 Peaceful use of atomic power is an organizational objective of european organization for nuclear research
No TPTP formula. May not be expressible in strict first order. Government.kif 3242-3242 Scientific cooperation is an organizational objective of european organization for nuclear research
No TPTP formula. May not be expressible in strict first order. Government.kif 3241-3241 Technology cooperation is an organizational objective of european organization for nuclear research

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3237-3237 "CERN" is an abbreviation of european organization for nuclear research
No TPTP formula. May not be expressible in strict first order. Government.kif 3236-3236 European organization for nuclear research is a conventional long name of "European Organization for Nuclear Research"
No TPTP formula. May not be expressible in strict first order. Government.kif 3238-3238 "Conseil Europeenne pour la Recherche Nucleaire" is a former name for european organization for nuclear research
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22582-22582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22581-22581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22580-22580


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