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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Science

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 21123-21124
(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 21122-21122

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 21137-21137
(subclass Astronomy Science) Mid-level-ontology.kif 21194-21194
(subclass Biochemistry Science) Mid-level-ontology.kif 21264-21264
(subclass Biology Science) Mid-level-ontology.kif 21232-21232
(subclass Botany Science) Mid-level-ontology.kif 21252-21252
(subclass Cartography Science) Mid-level-ontology.kif 21211-21211
(subclass Chemistry Science) Mid-level-ontology.kif 21265-21265
(subclass ComputerScience Science) Mid-level-ontology.kif 21199-21199
(subclass Engineering Science) Mid-level-ontology.kif 21275-21275
(subclass Geography Science) Mid-level-ontology.kif 21206-21206
(subclass Geology Science) Mid-level-ontology.kif 21214-21214
(subclass LibraryScience Science) Mid-level-ontology.kif 21218-21218
(subclass MedicalScience Science) Mid-level-ontology.kif 21242-21242
(subclass NaturalSciences Science) Mid-level-ontology.kif 21262-21262
(subclass Paleontology Science) Mid-level-ontology.kif 21269-21269
(subclass Physics Science) Mid-level-ontology.kif 21272-21272
(subclass Physiology Science) Mid-level-ontology.kif 21237-21237
(subclass SocialScience Science) Mid-level-ontology.kif 21126-21126
(subclass VeterinaryScience Science) Mid-level-ontology.kif 21246-21246
(subclass Zoology Science) Mid-level-ontology.kif 21257-21257
(termFormat ChineseLanguage Science "科学") domainEnglishFormat.kif 51561-51561
(termFormat ChineseTraditionalLanguage Science "科學") domainEnglishFormat.kif 51560-51560
(termFormat EnglishLanguage Science "science") domainEnglishFormat.kif 51559-51559

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


(=>
    (attribute ?P Researcher)
    (exists (?S)
        (and
            (subclass ?S Science)
            (hasExpertise ?P ?S))))
Mid-level-ontology.kif 18896-18901
(=>
    (attribute ?PERSON Scientist)
    (hasExpertise ?PERSON Science))
Biography.kif 348-350


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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