(=> (attribute ?P Researcher) (exists (?S) (and (subclass ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 18895-18900 |
|
(subclass Science FieldOfStudy) | Mid-level-ontology.kif 21121-21121 | 子類 科學 and FieldOfStudy |
(subclass SocialScience Science) | Mid-level-ontology.kif 21125-21125 | 子類 社會科學 and 科學 |
(subclass ActuaryScience Science) | Mid-level-ontology.kif 21136-21136 | 子類 精算科學 and 科學 |
(subclass Astronomy Science) | Mid-level-ontology.kif 21193-21193 | 子類 天文學 and 科學 |
(subclass ComputerScience Science) | Mid-level-ontology.kif 21198-21198 | 子類 計算機科學 and 科學 |
(subclass Geography Science) | Mid-level-ontology.kif 21205-21205 | 子類 地理 and 科學 |
(subclass Cartography Science) | Mid-level-ontology.kif 21210-21210 | 子類 製圖 and 科學 |
(subclass Geology Science) | Mid-level-ontology.kif 21213-21213 | 子類 地質學 and 科學 |
(subclass LibraryScience Science) | Mid-level-ontology.kif 21217-21217 | 子類 LibraryScience and 科學 |
(subclass Biology Science) | Mid-level-ontology.kif 21231-21231 | 子類 生物學 and 科學 |
(subclass Physiology Science) | Mid-level-ontology.kif 21236-21236 | 子類 生理 and 科學 |
(subclass MedicalScience Science) | Mid-level-ontology.kif 21241-21241 | 子類 醫藥科學 and 科學 |
(subclass VeterinaryScience Science) | Mid-level-ontology.kif 21245-21245 | 子類 老兵專用醫藥 and 科學 |
(subclass Botany Science) | Mid-level-ontology.kif 21251-21251 | 子類 植物學 and 科學 |
(subclass Zoology Science) | Mid-level-ontology.kif 21256-21256 | 子類 動物學 and 科學 |
(subclass NaturalSciences Science) | Mid-level-ontology.kif 21261-21261 | 子類 自然科學領域 and 科學 |
(subclass Biochemistry Science) | Mid-level-ontology.kif 21263-21263 | 子類 Biochemistry and 科學 |
(subclass Chemistry Science) | Mid-level-ontology.kif 21264-21264 | 子類 化學 and 科學 |
(subclass Paleontology Science) | Mid-level-ontology.kif 21268-21268 | 子類 古生物學 and 科學 |
(subclass Physics Science) | Mid-level-ontology.kif 21271-21271 | 子類 物理 and 科學 |
(subclass Engineering Science) | Mid-level-ontology.kif 21274-21274 | 子類 工程 and 科學 |