| (=> (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 | 科学 是 研究领域 的 subclass |
| (subclass SocialScience Science) | Mid-level-ontology.kif 21125-21125 | 社会科学 是 科学 的 subclass |
| (subclass ActuaryScience Science) | Mid-level-ontology.kif 21136-21136 | 精算科学 是 科学 的 subclass |
| (subclass Astronomy Science) | Mid-level-ontology.kif 21193-21193 | 天文学 是 科学 的 subclass |
| (subclass ComputerScience Science) | Mid-level-ontology.kif 21198-21198 | 计算机科学 是 科学 的 subclass |
| (subclass Geography Science) | Mid-level-ontology.kif 21205-21205 | 地理 是 科学 的 subclass |
| (subclass Cartography Science) | Mid-level-ontology.kif 21210-21210 | 制图 是 科学 的 subclass |
| (subclass Geology Science) | Mid-level-ontology.kif 21213-21213 | 地质学 是 科学 的 subclass |
| (subclass LibraryScience Science) | Mid-level-ontology.kif 21217-21217 | LibraryScience 是 科学 的 subclass |
| (subclass Biology Science) | Mid-level-ontology.kif 21231-21231 | 生物学 是 科学 的 subclass |
| (subclass Physiology Science) | Mid-level-ontology.kif 21236-21236 | 生理 是 科学 的 subclass |
| (subclass MedicalScience Science) | Mid-level-ontology.kif 21241-21241 | 医药科学 是 科学 的 subclass |
| (subclass VeterinaryScience Science) | Mid-level-ontology.kif 21245-21245 | 老兵专用医药 是 科学 的 subclass |
| (subclass Botany Science) | Mid-level-ontology.kif 21251-21251 | 植物学 是 科学 的 subclass |
| (subclass Zoology Science) | Mid-level-ontology.kif 21256-21256 | 动物学 是 科学 的 subclass |
| (subclass NaturalSciences Science) | Mid-level-ontology.kif 21261-21261 | 自然科学领域 是 科学 的 subclass |
| (subclass Biochemistry Science) | Mid-level-ontology.kif 21263-21263 | Biochemistry 是 科学 的 subclass |
| (subclass Chemistry Science) | Mid-level-ontology.kif 21264-21264 | 化学 是 科学 的 subclass |
| (subclass Paleontology Science) | Mid-level-ontology.kif 21268-21268 | 古生物学 是 科学 的 subclass |
| (subclass Physics Science) | Mid-level-ontology.kif 21271-21271 | 物理 是 科学 的 subclass |
| (subclass Engineering Science) | Mid-level-ontology.kif 21274-21274 | 工程 是 科学 的 subclass |
|
|