Sigma KB Term Intersection

(=> (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	Wenn Entity ist ein fall von OccupationalTrade %n{nicht} oder Entity ist ein fall von Profession %n{nicht} und Entity ist ein attribut von entity %n{nicht} haelt waehrend TimePosition %n{nicht}, dann es gibt Class um Class ist eine teilkategorie von FieldOfStudy und hasExpertise entity and Class haelt waehrend TimePosition %n{nicht}
(subclass Profession SkilledOccupation)	Mid-level-ontology.kif 8287-8287	Profession ist eine teilkategorie von SkilledOccupation
(subclass GovernmentPosition Profession)	Mid-level-ontology.kif 18938-18938	GovernmentPosition ist eine teilkategorie von Profession
(subclass MedicalPerson Profession)	Medicine.kif 6334-6334	MedicalPerson ist eine teilkategorie von Profession