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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Science
Science

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 19755-19756
(externalImage Science "http://upload.wikimedia.org/wikipedia/commons/e/ e4/ DNA_Overview2.png") pictureList.kif 8701-8701
(externalImage Science "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ working/ science.png") pictureList.kif 717-717
(subclass Science FieldOfStudy) Mid-level-ontology.kif 19754-19754

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


(instance ActuaryScience Science) Mid-level-ontology.kif 19769-19769
(instance Astronomy Science) Mid-level-ontology.kif 19825-19825
(instance Biochemistry Science) Mid-level-ontology.kif 19895-19895
(instance Biology Science) Mid-level-ontology.kif 19863-19863
(instance Botany Science) Mid-level-ontology.kif 19883-19883
(instance Cartography Science) Mid-level-ontology.kif 19842-19842
(instance Chemistry Science) Mid-level-ontology.kif 19896-19896
(instance ComputerScience Science) Mid-level-ontology.kif 19830-19830
(instance Engineering Science) Mid-level-ontology.kif 19906-19906
(instance Geography Science) Mid-level-ontology.kif 19837-19837
(instance Geology Science) Mid-level-ontology.kif 19845-19845
(instance LibraryScience Science) Mid-level-ontology.kif 19849-19849
(instance MedicalScience Science) Mid-level-ontology.kif 19873-19873
(instance NaturalSciences Science) Mid-level-ontology.kif 19893-19893
(instance Paleontology Science) Mid-level-ontology.kif 19900-19900
(instance Physics Science) Mid-level-ontology.kif 19903-19903
(instance Physiology Science) Mid-level-ontology.kif 19868-19868
(instance VeterinaryScience Science) Mid-level-ontology.kif 19877-19877
(instance Zoology Science) Mid-level-ontology.kif 19888-19888
(subclass SocialScience Science) Mid-level-ontology.kif 19758-19758
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51544-51544
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51543-51543
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51542-51542

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (instance ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 17580-17585
(=>
    (attribute ?PERSON Scientist)
    (hasExpertise ?PERSON Science))
Biography.kif 115-117


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