|
|
   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 | 子類 科學 and FieldOfStudy |
| appearance as argument number 2 |
|
|
| (subclass ActuaryScience Science) | Mid-level-ontology.kif 21137-21137 | 子類 精算科學 and 科學 |
| (subclass Astronomy Science) | Mid-level-ontology.kif 21194-21194 | 子類 天文學 and 科學 |
| (subclass Biochemistry Science) | Mid-level-ontology.kif 21264-21264 | 子類 Biochemistry and 科學 |
| (subclass Biology Science) | Mid-level-ontology.kif 21232-21232 | 子類 生物學 and 科學 |
| (subclass Botany Science) | Mid-level-ontology.kif 21252-21252 | 子類 植物學 and 科學 |
| (subclass Cartography Science) | Mid-level-ontology.kif 21211-21211 | 子類 製圖 and 科學 |
| (subclass Chemistry Science) | Mid-level-ontology.kif 21265-21265 | 子類 化學 and 科學 |
| (subclass ComputerScience Science) | Mid-level-ontology.kif 21199-21199 | 子類 計算機科學 and 科學 |
| (subclass Engineering Science) | Mid-level-ontology.kif 21275-21275 | 子類 工程 and 科學 |
| (subclass Geography Science) | Mid-level-ontology.kif 21206-21206 | 子類 地理 and 科學 |
| (subclass Geology Science) | Mid-level-ontology.kif 21214-21214 | 子類 地質學 and 科學 |
| (subclass LibraryScience Science) | Mid-level-ontology.kif 21218-21218 | 子類 LibraryScience and 科學 |
| (subclass MedicalScience Science) | Mid-level-ontology.kif 21242-21242 | 子類 醫藥科學 and 科學 |
| (subclass NaturalSciences Science) | Mid-level-ontology.kif 21262-21262 | 子類 自然科學領域 and 科學 |
| (subclass Paleontology Science) | Mid-level-ontology.kif 21269-21269 | 子類 古生物學 and 科學 |
| (subclass Physics Science) | Mid-level-ontology.kif 21272-21272 | 子類 物理 and 科學 |
| (subclass Physiology Science) | Mid-level-ontology.kif 21237-21237 | 子類 生理 and 科學 |
| (subclass SocialScience Science) | Mid-level-ontology.kif 21126-21126 | 子類 社會科學 and 科學 |
| (subclass VeterinaryScience Science) | Mid-level-ontology.kif 21246-21246 | 子類 老兵專用醫藥 and 科學 |
| (subclass Zoology Science) | Mid-level-ontology.kif 21257-21257 | 子類 動物學 and 科學 |
| (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 |
|
|
|
