Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - OccupationalRole
OccupationalRole(occupational role)au_pair, comber, handyman, harpooneer, harpooner, jack_of_all_trades, odd-job_man, virologist

appearance as argument number 1
-------------------------


(subclass OccupationalRole SocialRole) Mid-level-ontology.kif 24512-24512 Occupational role is a subclass of social role
(documentation OccupationalRole EnglishLanguage "RelationalAttribute ascribing to a CognitiveAgent a relation towards some activity or a set of activities he or she performs during a TimeInterval as his or her main activity. Be it for a longer period of time as a means of earning a living, a leisure activity or an activity the person is engaged in for a short period of time.") Mid-level-ontology.kif 24513-24516 Occupational role is a subclass of social role
(comment OccupationalRole "This term is being defined in this more general way so that it corresponds to the way words describing occupations work in natural langueage. For example a Driver might be a Professional or just basically any person Driving since for the TimeInterval he or she is Driving it is his or her main activity and in the GroupOfPeople on board of the Car the Driver has a different role then the passengers. Whether a person is a professional driver would be by a more specific OccupationalRole like ProfessionalDriver that would be a subAttribute also of the RelationalAttribute Professional." "MSV") Mid-level-ontology.kif 24518-24524 Occupational role is a subclass of social role

appearance as argument number 2
-------------------------


(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 9580-9580 Skilled occupation is a subclass of occupational role
(range ProfessionalFn OccupationalRole) Mid-level-ontology.kif 9600-9600 The range of profession is an instance of occupational role
(subclass ManualLabor OccupationalRole) Mid-level-ontology.kif 9634-9634 Manual labor is a subclass of occupational role
(instance BusinessPerson OccupationalRole) Mid-level-ontology.kif 24438-24438 Business person is an instance of occupational role
(subclass OccupationalDomain OccupationalRole) Mid-level-ontology.kif 24553-24553 Occupational domain is a subclass of occupational role
(instance Diplomat OccupationalRole) Mid-level-ontology.kif 24639-24639 Diplomat is an instance of occupational role
(instance GovernmentPerson OccupationalRole) Mid-level-ontology.kif 24689-24689 Government person is an instance of occupational role
(instance StoreOwner OccupationalRole) Mid-level-ontology.kif 24726-24726 Store owner is an instance of occupational role
(instance MilitaryPerson OccupationalRole) Mid-level-ontology.kif 24736-24736 Military person is an instance of occupational role
(termFormat EnglishLanguage OccupationalRole "occupational role") domainEnglishFormat.kif 41601-41601 Military person is an instance of occupational role
(termFormat ChineseTraditionalLanguage OccupationalRole "職業角色") domainEnglishFormat.kif 41602-41602 Military person is an instance of occupational role
(termFormat ChineseLanguage OccupationalRole "职业角色") domainEnglishFormat.kif 41603-41603 Military person is an instance of occupational role

antecedent
-------------------------


(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))
Mid-level-ontology.kif 24526-24530 If X is an instance of occupational role and Y the attribute X, then Y is an instance of cognitive agent
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 24532-24536 If X is an instance of occupational role, then there exists Y such that Y is a typical action of a the attr of cognitive agent and X
(=>
    (and
        (instance ?O OccupationalRole)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O)))
    (exists (?X ?T ?P ?PT)
        (and
            (instance ?X CognitiveAgent)
            (holdsDuring ?T
                (attribute ?X ?O))
            (instance ?P ?PCLASS)
            (agent ?X ?P)
            (time ?P ?PT)
            (temporalPart ?PT ?T))))
Mid-level-ontology.kif 24538-24551 If X is an instance of occupational role and Y is a typical action of a the attr of cognitive agent and X, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is an instance of cognitive agent (3) X is an attribute of Z holds during W (4) V is an instance of Y (5) V is an agent of Z (6) V exists during U (7) U is a part of W


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners