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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OccupationalRole
OccupationalRole

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


(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 20080-20086
(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 20075-20078
(subclass OccupationalRole SocialRole) Mid-level-ontology.kif 20074-20074 subclass OccupationalRole and SocialRole

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


(instance BusinessPerson OccupationalRole) Mid-level-ontology.kif 19970-19970 instance BusinessPerson and OccupationalRole
(instance Diplomat OccupationalRole) Mid-level-ontology.kif 20230-20230 instance Diplomat and OccupationalRole
(instance GovernmentPerson OccupationalRole) Mid-level-ontology.kif 20293-20293 instance GovernmentPerson and OccupationalRole
(instance MilitaryPerson OccupationalRole) Mid-level-ontology.kif 20367-20367 instance MilitaryPerson and OccupationalRole
(instance StoreOwner OccupationalRole) Mid-level-ontology.kif 20357-20357 instance StoreOwner and OccupationalRole
(subclass ManualLabor OccupationalRole) Mid-level-ontology.kif 7944-7944 subclass ManualLabor and OccupationalRole
(subclass OccupationalDomain OccupationalRole) Mid-level-ontology.kif 20115-20115 subclass OccupationalDomain and OccupationalRole
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 7927-7927 subclass SkilledOccupation and OccupationalRole
(termFormat ChineseLanguage OccupationalRole "职业角色") domainEnglishFormat.kif 41497-41497
(termFormat ChineseTraditionalLanguage OccupationalRole "職業角色") domainEnglishFormat.kif 41496-41496
(termFormat EnglishLanguage OccupationalRole "occupational role") domainEnglishFormat.kif 41495-41495

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


(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))
Mid-level-ontology.kif 20088-20092
(=>
    (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 20100-20113
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 20094-20098


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners