| (=> (and (or (instance ?ROLE OccupationalTrade) (instance ?ROLE Profession)) (holdsDuring ?T1 (attribute ?HUMAN ?ROLE))) (exists (?FIELD) (and (subclass ?FIELD FieldOfStudy) (holdsDuring ?T1 (hasExpertise ?HUMAN ?FIELD))))) |
Mid-level-ontology.kif 8320-8329 | |
| (subclass FieldOfStudy Proposition) | Merge.kif 16840-16840 | |
| (subclass Literature FieldOfStudy) | Mid-level-ontology.kif 21137-21137 | |
| (subclass Mathematics FieldOfStudy) | Mid-level-ontology.kif 21141-21141 | |
| (subclass InteriorDesign FieldOfStudy) | Mid-level-ontology.kif 21145-21145 | |
| (subclass Science FieldOfStudy) | Mid-level-ontology.kif 21149-21149 | |
| (subclass Archeology FieldOfStudy) | Mid-level-ontology.kif 21169-21169 | |
| (subclass Architecture FieldOfStudy) | Mid-level-ontology.kif 21206-21206 | |
| (subclass Statistics FieldOfStudy) | Mid-level-ontology.kif 21310-21310 | |
| (subclass ElectricalEngineering FieldOfStudy) | Mid-level-ontology.kif 21314-21314 | |
| (subclass Electronics FieldOfStudy) | Mid-level-ontology.kif 21321-21321 | |
| (subclass PowerElectronics FieldOfStudy) | Mid-level-ontology.kif 21326-21326 | |
| (subclass Mechanics FieldOfStudy) | Mid-level-ontology.kif 21330-21330 | |
| (subclass MechanicalEngineering FieldOfStudy) | Mid-level-ontology.kif 21336-21336 | |
| (subclass Theology FieldOfStudy) | Mid-level-ontology.kif 21341-21341 | |
| (subclass MilitaryScience FieldOfStudy) | Mid-level-ontology.kif 21351-21351 | |
| (subclass History FieldOfStudy) | Mid-level-ontology.kif 21354-21354 | |
| (subclass Philosophy FieldOfStudy) | Mid-level-ontology.kif 21358-21358 | |
| (subclass FieldOfLaw FieldOfStudy) | Mid-level-ontology.kif 21362-21362 |
|
|