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 21381-21382
(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 21380-21380 Science is a subclass of field of study

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 21395-21395 Actuarial science is a subclass of science
(subclass Astronomy Science) Mid-level-ontology.kif 21452-21452 Astronomy is a subclass of science
(subclass Biochemistry Science) Mid-level-ontology.kif 21522-21522 Biochemistry is a subclass of science
(subclass Biology Science) Mid-level-ontology.kif 21490-21490 Biology is a subclass of science
(subclass Botany Science) Mid-level-ontology.kif 21510-21510 Botany is a subclass of science
(subclass Cartography Science) Mid-level-ontology.kif 21469-21469 Cartography is a subclass of science
(subclass Chemistry Science) Mid-level-ontology.kif 21523-21523 Chemistry is a subclass of science
(subclass ComputerScience Science) Mid-level-ontology.kif 21457-21457 Computer science is a subclass of science
(subclass Engineering Science) Mid-level-ontology.kif 21533-21533 Engineering is a subclass of science
(subclass Geography Science) Mid-level-ontology.kif 21464-21464 Geography is a subclass of science
(subclass Geology Science) Mid-level-ontology.kif 21472-21472 Geology is a subclass of science
(subclass LibraryScience Science) Mid-level-ontology.kif 21476-21476 Library Science is a subclass of science
(subclass MedicalScience Science) Mid-level-ontology.kif 21500-21500 Medical science is a subclass of science
(subclass NaturalSciences Science) Mid-level-ontology.kif 21520-21520 Natural sciences is a subclass of science
(subclass Paleontology Science) Mid-level-ontology.kif 21527-21527 Paleontology is a subclass of science
(subclass Physics Science) Mid-level-ontology.kif 21530-21530 Physics is a subclass of science
(subclass Physiology Science) Mid-level-ontology.kif 21495-21495 Physiology is a subclass of science
(subclass SocialScience Science) Mid-level-ontology.kif 21384-21384 Social science is a subclass of science
(subclass VeterinaryScience Science) Mid-level-ontology.kif 21504-21504 Veterinary medicine is a subclass of science
(subclass Zoology Science) Mid-level-ontology.kif 21515-21515 Zoology is a subclass of science
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51601-51601 Zoology is a subclass of science
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51600-51600 Zoology is a subclass of science
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51599-51599 Zoology is a subclass of science

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))		 Mid-level-ontology.kif 19154-19159
(=>
    (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