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 22740-22741
(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 8696-8696
(subclass Science FieldOfStudy) Mid-level-ontology.kif 22739-22739 Science is a subclass of field of study

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 22754-22754 Actuarial science is a subclass of science
(subclass Astronomy Science) Mid-level-ontology.kif 22811-22811 Astronomy is a subclass of science
(subclass Biochemistry Science) Mid-level-ontology.kif 22881-22881 Biochemistry is a subclass of science
(subclass Biology Science) Mid-level-ontology.kif 22849-22849 Biology is a subclass of science
(subclass Botany Science) Mid-level-ontology.kif 22869-22869 Botany is a subclass of science
(subclass Cartography Science) Mid-level-ontology.kif 22828-22828 Cartography is a subclass of science
(subclass Chemistry Science) Mid-level-ontology.kif 22882-22882 Chemistry is a subclass of science
(subclass ComputerScience Science) Mid-level-ontology.kif 22816-22816 Computer science is a subclass of science
(subclass Engineering Science) Mid-level-ontology.kif 22892-22892 Engineering is a subclass of science
(subclass Geography Science) Mid-level-ontology.kif 22823-22823 Geography is a subclass of science
(subclass Geology Science) Mid-level-ontology.kif 22831-22831 Geology is a subclass of science
(subclass LibraryScience Science) Mid-level-ontology.kif 22835-22835 Library Science is a subclass of science
(subclass MedicalScience Science) Mid-level-ontology.kif 22859-22859 Medical science is a subclass of science
(subclass NaturalSciences Science) Mid-level-ontology.kif 22879-22879 Natural sciences is a subclass of science
(subclass Paleontology Science) Mid-level-ontology.kif 22886-22886 Paleontology is a subclass of science
(subclass Physics Science) Mid-level-ontology.kif 22889-22889 Physics is a subclass of science
(subclass Physiology Science) Mid-level-ontology.kif 22854-22854 Physiology is a subclass of science
(subclass SocialScience Science) Mid-level-ontology.kif 22743-22743 Social science is a subclass of science
(subclass VeterinaryScience Science) Mid-level-ontology.kif 22863-22863 Veterinary medicine is a subclass of science
(subclass Zoology Science) Mid-level-ontology.kif 22874-22874 Zoology is a subclass of science
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51565-51565 Zoology is a subclass of science
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51564-51564 Zoology is a subclass of science
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51563-51563 Zoology is a subclass of science

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))		 Mid-level-ontology.kif 20467-20472
(=>
    (attribute ?PERSON Scientist)
    (hasExpertise ?PERSON Science))		 Biography.kif 356-358


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