(=> (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 OccupationalTrade SkilledOccupation) | Mid-level-ontology.kif 8283-8283 | 子類 職業貿易 and 熟練的職業 |
(subclass OccupationalTrade ManualLabor) | Mid-level-ontology.kif 8284-8284 | 子類 職業貿易 and 體力勞動 |