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 22212-22213
(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 22211-22211 Science is a subclass of field of study

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 22226-22226 Actuarial science is a subclass of science
(subclass Astronomy Science) Mid-level-ontology.kif 22283-22283 Astronomy is a subclass of science
(subclass Biochemistry Science) Mid-level-ontology.kif 22353-22353 Biochemistry is a subclass of science
(subclass Biology Science) Mid-level-ontology.kif 22321-22321 Biology is a subclass of science
(subclass Botany Science) Mid-level-ontology.kif 22341-22341 Botany is a subclass of science
(subclass Cartography Science) Mid-level-ontology.kif 22300-22300 Cartography is a subclass of science
(subclass Chemistry Science) Mid-level-ontology.kif 22354-22354 Chemistry is a subclass of science
(subclass ComputerScience Science) Mid-level-ontology.kif 22288-22288 Computer science is a subclass of science
(subclass Engineering Science) Mid-level-ontology.kif 22364-22364 Engineering is a subclass of science
(subclass Geography Science) Mid-level-ontology.kif 22295-22295 Geography is a subclass of science
(subclass Geology Science) Mid-level-ontology.kif 22303-22303 Geology is a subclass of science
(subclass LibraryScience Science) Mid-level-ontology.kif 22307-22307 Library Science is a subclass of science
(subclass MedicalScience Science) Mid-level-ontology.kif 22331-22331 Medical science is a subclass of science
(subclass NaturalSciences Science) Mid-level-ontology.kif 22351-22351 Natural sciences is a subclass of science
(subclass Paleontology Science) Mid-level-ontology.kif 22358-22358 Paleontology is a subclass of science
(subclass Physics Science) Mid-level-ontology.kif 22361-22361 Physics is a subclass of science
(subclass Physiology Science) Mid-level-ontology.kif 22326-22326 Physiology is a subclass of science
(subclass SocialScience Science) Mid-level-ontology.kif 22215-22215 Social science is a subclass of science
(subclass VeterinaryScience Science) Mid-level-ontology.kif 22335-22335 Veterinary medicine is a subclass of science
(subclass Zoology Science) Mid-level-ontology.kif 22346-22346 Zoology is a subclass of science
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51594-51594 Zoology is a subclass of science
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51593-51593 Zoology is a subclass of science
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51592-51592 Zoology is a subclass of science

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


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