| (=> (attribute ?P Researcher) (exists (?S) (and (subclass ?S Science) (hasExpertise ?P ?S)))) |
Mid-level-ontology.kif 18923-18928 | |
| (subclass Science FieldOfStudy) | Mid-level-ontology.kif 21149-21149 | |
| (subclass SocialScience Science) | Mid-level-ontology.kif 21153-21153 | |
| (subclass ActuaryScience Science) | Mid-level-ontology.kif 21164-21164 | |
| (subclass Astronomy Science) | Mid-level-ontology.kif 21221-21221 | |
| (subclass ComputerScience Science) | Mid-level-ontology.kif 21226-21226 | |
| (subclass Geography Science) | Mid-level-ontology.kif 21233-21233 | |
| (subclass Cartography Science) | Mid-level-ontology.kif 21238-21238 | |
| (subclass Geology Science) | Mid-level-ontology.kif 21241-21241 | |
| (subclass LibraryScience Science) | Mid-level-ontology.kif 21245-21245 | |
| (subclass Biology Science) | Mid-level-ontology.kif 21259-21259 | |
| (subclass Physiology Science) | Mid-level-ontology.kif 21264-21264 | |
| (subclass MedicalScience Science) | Mid-level-ontology.kif 21269-21269 | |
| (subclass VeterinaryScience Science) | Mid-level-ontology.kif 21273-21273 | |
| (subclass Botany Science) | Mid-level-ontology.kif 21279-21279 | |
| (subclass Zoology Science) | Mid-level-ontology.kif 21284-21284 | |
| (subclass NaturalSciences Science) | Mid-level-ontology.kif 21289-21289 | |
| (subclass Biochemistry Science) | Mid-level-ontology.kif 21291-21291 | |
| (subclass Chemistry Science) | Mid-level-ontology.kif 21292-21292 | |
| (subclass Paleontology Science) | Mid-level-ontology.kif 21296-21296 | |
| (subclass Physics Science) | Mid-level-ontology.kif 21299-21299 | |
| (subclass Engineering Science) | Mid-level-ontology.kif 21302-21302 |
|
|