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

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


(instance ActuaryScience Science) Mid-level-ontology.kif 20292-20292
(instance Astronomy Science) Mid-level-ontology.kif 20348-20348
(instance Biochemistry Science) Mid-level-ontology.kif 20418-20418
(instance Biology Science) Mid-level-ontology.kif 20386-20386
(instance Botany Science) Mid-level-ontology.kif 20406-20406
(instance Cartography Science) Mid-level-ontology.kif 20365-20365
(instance Chemistry Science) Mid-level-ontology.kif 20419-20419
(instance ComputerScience Science) Mid-level-ontology.kif 20353-20353
(instance Engineering Science) Mid-level-ontology.kif 20429-20429
(instance Geography Science) Mid-level-ontology.kif 20360-20360
(instance Geology Science) Mid-level-ontology.kif 20368-20368
(instance LibraryScience Science) Mid-level-ontology.kif 20372-20372
(instance MedicalScience Science) Mid-level-ontology.kif 20396-20396
(instance NaturalSciences Science) Mid-level-ontology.kif 20416-20416
(instance Paleontology Science) Mid-level-ontology.kif 20423-20423
(instance Physics Science) Mid-level-ontology.kif 20426-20426
(instance Physiology Science) Mid-level-ontology.kif 20391-20391
(instance VeterinaryScience Science) Mid-level-ontology.kif 20400-20400
(instance Zoology Science) Mid-level-ontology.kif 20411-20411
(subclass SocialScience Science) Mid-level-ontology.kif 20281-20281
(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 18102-18107
(=>
    (attribute ?PERSON Scientist)
    (hasExpertise ?PERSON Science))
Biography.kif 115-117


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