| (=> (attribute ?P Researcher) (exists (?S) (and (subclass ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 18896-18901 |
|
| (subclass Science FieldOfStudy) | Mid-level-ontology.kif 21122-21122 | Science est une sous-classe de champ d'�tude |
| (subclass SocialScience Science) | Mid-level-ontology.kif 21126-21126 | SocialScience est une sous-classe de Science |
| (subclass ActuaryScience Science) | Mid-level-ontology.kif 21137-21137 | ActuaryScience est une sous-classe de Science |
| (subclass Astronomy Science) | Mid-level-ontology.kif 21194-21194 | Astronomy est une sous-classe de Science |
| (subclass ComputerScience Science) | Mid-level-ontology.kif 21199-21199 | ComputerScience est une sous-classe de Science |
| (subclass Geography Science) | Mid-level-ontology.kif 21206-21206 | Geography est une sous-classe de Science |
| (subclass Cartography Science) | Mid-level-ontology.kif 21211-21211 | Cartography est une sous-classe de Science |
| (subclass Geology Science) | Mid-level-ontology.kif 21214-21214 | Geology est une sous-classe de Science |
| (subclass LibraryScience Science) | Mid-level-ontology.kif 21218-21218 | LibraryScience est une sous-classe de Science |
| (subclass Biology Science) | Mid-level-ontology.kif 21232-21232 | Biology est une sous-classe de Science |
| (subclass Physiology Science) | Mid-level-ontology.kif 21237-21237 | Physiology est une sous-classe de Science |
| (subclass MedicalScience Science) | Mid-level-ontology.kif 21242-21242 | MedicalScience est une sous-classe de Science |
| (subclass VeterinaryScience Science) | Mid-level-ontology.kif 21246-21246 | VeterinaryScience est une sous-classe de Science |
| (subclass Botany Science) | Mid-level-ontology.kif 21252-21252 | Botany est une sous-classe de Science |
| (subclass Zoology Science) | Mid-level-ontology.kif 21257-21257 | Zoology est une sous-classe de Science |
| (subclass NaturalSciences Science) | Mid-level-ontology.kif 21262-21262 | NaturalSciences est une sous-classe de Science |
| (subclass Biochemistry Science) | Mid-level-ontology.kif 21264-21264 | Biochemistry est une sous-classe de Science |
| (subclass Chemistry Science) | Mid-level-ontology.kif 21265-21265 | Chemistry est une sous-classe de Science |
| (subclass Paleontology Science) | Mid-level-ontology.kif 21269-21269 | Paleontology est une sous-classe de Science |
| (subclass Physics Science) | Mid-level-ontology.kif 21272-21272 | Physics est une sous-classe de Science |
| (subclass Engineering Science) | Mid-level-ontology.kif 21275-21275 | Engineering est une sous-classe de Science |
|
|