| (=> (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 8293-8302 | |
| (subclass FieldOfStudy Proposition) | Merge.kif 16769-16769 | |
| (subclass Literature FieldOfStudy) | Mid-level-ontology.kif 21110-21110 | |
| (subclass Mathematics FieldOfStudy) | Mid-level-ontology.kif 21114-21114 | |
| (subclass InteriorDesign FieldOfStudy) | Mid-level-ontology.kif 21118-21118 | |
| (subclass Science FieldOfStudy) | Mid-level-ontology.kif 21122-21122 | |
| (subclass Archeology FieldOfStudy) | Mid-level-ontology.kif 21142-21142 | |
| (subclass Architecture FieldOfStudy) | Mid-level-ontology.kif 21179-21179 | |
| (subclass Statistics FieldOfStudy) | Mid-level-ontology.kif 21283-21283 | |
| (subclass ElectricalEngineering FieldOfStudy) | Mid-level-ontology.kif 21287-21287 | |
| (subclass Electronics FieldOfStudy) | Mid-level-ontology.kif 21294-21294 | |
| (subclass PowerElectronics FieldOfStudy) | Mid-level-ontology.kif 21299-21299 | |
| (subclass Mechanics FieldOfStudy) | Mid-level-ontology.kif 21303-21303 | |
| (subclass MechanicalEngineering FieldOfStudy) | Mid-level-ontology.kif 21309-21309 | |
| (subclass Theology FieldOfStudy) | Mid-level-ontology.kif 21314-21314 | |
| (subclass MilitaryScience FieldOfStudy) | Mid-level-ontology.kif 21324-21324 | |
| (subclass History FieldOfStudy) | Mid-level-ontology.kif 21327-21327 | |
| (subclass Philosophy FieldOfStudy) | Mid-level-ontology.kif 21331-21331 | |
| (subclass FieldOfLaw FieldOfStudy) | Mid-level-ontology.kif 21335-21335 |
|
|