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 21122-21123 | |
(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 21121-21121 | Science ist eine teilkategorie von FieldOfStudy |
appearance as argument number 2 |
![]() |
(subclass ActuaryScience Science) | Mid-level-ontology.kif 21136-21136 | ActuaryScience ist eine teilkategorie von Science |
(subclass Astronomy Science) | Mid-level-ontology.kif 21193-21193 | Astronomy ist eine teilkategorie von Science |
(subclass Biochemistry Science) | Mid-level-ontology.kif 21263-21263 | Biochemistry ist eine teilkategorie von Science |
(subclass Biology Science) | Mid-level-ontology.kif 21231-21231 | Biology ist eine teilkategorie von Science |
(subclass Botany Science) | Mid-level-ontology.kif 21251-21251 | Botany ist eine teilkategorie von Science |
(subclass Cartography Science) | Mid-level-ontology.kif 21210-21210 | Cartography ist eine teilkategorie von Science |
(subclass Chemistry Science) | Mid-level-ontology.kif 21264-21264 | Chemistry ist eine teilkategorie von Science |
(subclass ComputerScience Science) | Mid-level-ontology.kif 21198-21198 | ComputerScience ist eine teilkategorie von Science |
(subclass Engineering Science) | Mid-level-ontology.kif 21274-21274 | Engineering ist eine teilkategorie von Science |
(subclass Geography Science) | Mid-level-ontology.kif 21205-21205 | Geography ist eine teilkategorie von Science |
(subclass Geology Science) | Mid-level-ontology.kif 21213-21213 | Geology ist eine teilkategorie von Science |
(subclass LibraryScience Science) | Mid-level-ontology.kif 21217-21217 | LibraryScience ist eine teilkategorie von Science |
(subclass MedicalScience Science) | Mid-level-ontology.kif 21241-21241 | MedicalScience ist eine teilkategorie von Science |
(subclass NaturalSciences Science) | Mid-level-ontology.kif 21261-21261 | NaturalSciences ist eine teilkategorie von Science |
(subclass Paleontology Science) | Mid-level-ontology.kif 21268-21268 | Paleontology ist eine teilkategorie von Science |
(subclass Physics Science) | Mid-level-ontology.kif 21271-21271 | Physics ist eine teilkategorie von Science |
(subclass Physiology Science) | Mid-level-ontology.kif 21236-21236 | Physiology ist eine teilkategorie von Science |
(subclass SocialScience Science) | Mid-level-ontology.kif 21125-21125 | SocialScience ist eine teilkategorie von Science |
(subclass VeterinaryScience Science) | Mid-level-ontology.kif 21245-21245 | VeterinaryScience ist eine teilkategorie von Science |
(subclass Zoology Science) | Mid-level-ontology.kif 21256-21256 | Zoology ist eine teilkategorie von Science |
(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 18895-18900 |
|
(=> (attribute ?PERSON Scientist) (hasExpertise ?PERSON Science)) |
Biography.kif 348-350 |
![]() |
![]() |