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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Science

 Sigma KEE - Science
Science(science)
bioscience, cosmography, cryptanalysis, cryptanalytics, cryptography, cryptology, earth_science, life_science, metrology, natural_science, nutrition, science, scientific, scientific_discipline, scientific_knowledge, scientifically, telescopy, thanatology

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21123-21124
No TPTP formula. May not be expressible in strict first order. pictureList.kif 717-717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8697-8697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21122-21122 Science is a subclass of field of study

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21137-21137 Actuarial science is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21194-21194 Astronomy is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21264-21264 Biochemistry is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21232-21232 Biology is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21252-21252 Botany is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21211-21211 Cartography is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21265-21265 Chemistry is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21199-21199 Computer science is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21275-21275 Engineering is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21206-21206 Geography is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21214-21214 Geology is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21218-21218 Library Science is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21242-21242 Medical science is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21262-21262 Natural sciences is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21269-21269 Paleontology is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21272-21272 Physics is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21237-21237 Physiology is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21126-21126 Social science is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21246-21246 Veterinary medicine is a subclass of science
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21257-21257 Zoology is a subclass of science
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51561-51561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51560-51560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51559-51559

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18896-18901
No TPTP formula. May not be expressible in strict first order. Biography.kif 348-350


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