appearance as argument number 1 |
![]() |
(disjoint Profession OccupationalTrade) | Mid-level-ontology.kif 9513-9513 | Profession is disjoint from occupational trade |
(documentation Profession EnglishLanguage "Any occupation that requires at least a bachelor's degree.") | Mid-level-ontology.kif 9514-9515 | Profession is disjoint from occupational trade |
(subclass Profession SkilledOccupation) | Mid-level-ontology.kif 9512-9512 | Profession is a subclass of skilled occupation |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (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 9517-9526 |
|
![]() |
![]() |