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 22757-22758
(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 22756-22756 Science is a subclass of field of study

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 22771-22771 Actuarial science is a subclass of science
(subclass Astronomy Science) Mid-level-ontology.kif 22828-22828 Astronomy is a subclass of science
(subclass Biochemistry Science) Mid-level-ontology.kif 22898-22898 Biochemistry is a subclass of science
(subclass Biology Science) Mid-level-ontology.kif 22866-22866 Biology is a subclass of science
(subclass Botany Science) Mid-level-ontology.kif 22886-22886 Botany is a subclass of science
(subclass Cartography Science) Mid-level-ontology.kif 22845-22845 Cartography is a subclass of science
(subclass Chemistry Science) Mid-level-ontology.kif 22899-22899 Chemistry is a subclass of science
(subclass ComputerScience Science) Mid-level-ontology.kif 22833-22833 Computer science is a subclass of science
(subclass Engineering Science) Mid-level-ontology.kif 22909-22909 Engineering is a subclass of science
(subclass Geography Science) Mid-level-ontology.kif 22840-22840 Geography is a subclass of science
(subclass Geology Science) Mid-level-ontology.kif 22848-22848 Geology is a subclass of science
(subclass LibraryScience Science) Mid-level-ontology.kif 22852-22852 Library Science is a subclass of science
(subclass MedicalScience Science) Mid-level-ontology.kif 22876-22876 Medical science is a subclass of science
(subclass NaturalSciences Science) Mid-level-ontology.kif 22896-22896 Natural sciences is a subclass of science
(subclass Paleontology Science) Mid-level-ontology.kif 22903-22903 Paleontology is a subclass of science
(subclass Physics Science) Mid-level-ontology.kif 22906-22906 Physics is a subclass of science
(subclass Physiology Science) Mid-level-ontology.kif 22871-22871 Physiology is a subclass of science
(subclass SocialScience Science) Mid-level-ontology.kif 22760-22760 Social science is a subclass of science
(subclass VeterinaryScience Science) Mid-level-ontology.kif 22880-22880 Veterinary medicine is a subclass of science
(subclass Zoology Science) Mid-level-ontology.kif 22891-22891 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 20484-20489
(=>
    (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