(=> (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 8292-8301 | |
(subclass Profession SkilledOccupation) | Mid-level-ontology.kif 8287-8287 | 职业 是 熟练的职业 的 subclass |
(subclass GovernmentPosition Profession) | Mid-level-ontology.kif 18938-18938 | 政府立场 是 职业 的 subclass |
(subclass MedicalPerson Profession) | Medicine.kif 6334-6334 | MedicalPerson 是 职业 的 subclass |