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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
-------------------------


(documentation Science EnglishLanguage "Any FieldOfStudy which tests theories on the basis of careful observations and/ or experiments and which has a cumulative body of results.") Mid-level-ontology.kif 21123-21124
(externalImage Science "http://articulatesoftware.com/SUMOpictures/working/ science.png") pictureList.kif 717-717
(externalImage Science "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ DNA_Overview2.png") pictureList.kif 8697-8697
(subclass Science FieldOfStudy) Mid-level-ontology.kif 21122-21122 Science is a subclass of field of study

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 21137-21137 Actuarial science is a subclass of science
(subclass Astronomy Science) Mid-level-ontology.kif 21194-21194 Astronomy is a subclass of science
(subclass Biochemistry Science) Mid-level-ontology.kif 21264-21264 Biochemistry is a subclass of science
(subclass Biology Science) Mid-level-ontology.kif 21232-21232 Biology is a subclass of science
(subclass Botany Science) Mid-level-ontology.kif 21252-21252 Botany is a subclass of science
(subclass Cartography Science) Mid-level-ontology.kif 21211-21211 Cartography is a subclass of science
(subclass Chemistry Science) Mid-level-ontology.kif 21265-21265 Chemistry is a subclass of science
(subclass ComputerScience Science) Mid-level-ontology.kif 21199-21199 Computer science is a subclass of science
(subclass Engineering Science) Mid-level-ontology.kif 21275-21275 Engineering is a subclass of science
(subclass Geography Science) Mid-level-ontology.kif 21206-21206 Geography is a subclass of science
(subclass Geology Science) Mid-level-ontology.kif 21214-21214 Geology is a subclass of science
(subclass LibraryScience Science) Mid-level-ontology.kif 21218-21218 Library Science is a subclass of science
(subclass MedicalScience Science) Mid-level-ontology.kif 21242-21242 Medical science is a subclass of science
(subclass NaturalSciences Science) Mid-level-ontology.kif 21262-21262 Natural sciences is a subclass of science
(subclass Paleontology Science) Mid-level-ontology.kif 21269-21269 Paleontology is a subclass of science
(subclass Physics Science) Mid-level-ontology.kif 21272-21272 Physics is a subclass of science
(subclass Physiology Science) Mid-level-ontology.kif 21237-21237 Physiology is a subclass of science
(subclass SocialScience Science) Mid-level-ontology.kif 21126-21126 Social science is a subclass of science
(subclass VeterinaryScience Science) Mid-level-ontology.kif 21246-21246 Veterinary medicine is a subclass of science
(subclass Zoology Science) Mid-level-ontology.kif 21257-21257 Zoology is a subclass of science
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51561-51561
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51560-51560
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51559-51559

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 18896-18901
(=>
    (attribute ?PERSON Scientist)
    (hasExpertise ?PERSON Science))
Biography.kif 348-350


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