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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OccupationalRole

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 22292-22298
(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 22287-22290
(subclass OccupationalRole SocialRole) Mid-level-ontology.kif 22286-22286 OccupationalRole e' uma sub-classe de Role Social

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


(instance BusinessPerson OccupationalRole) Mid-level-ontology.kif 22199-22199 BusinessPerson e' uma instancia de OccupationalRole
(instance Diplomat OccupationalRole) Mid-level-ontology.kif 22414-22414 Diplomat e' uma instancia de OccupationalRole
(instance GovernmentPerson OccupationalRole) Mid-level-ontology.kif 22464-22464 GovernmentPerson e' uma instancia de OccupationalRole
(instance MilitaryPerson OccupationalRole) Mid-level-ontology.kif 22511-22511 MilitaryPerson e' uma instancia de OccupationalRole
(instance StoreOwner OccupationalRole) Mid-level-ontology.kif 22501-22501 StoreOwner e' uma instancia de OccupationalRole
(subclass ManualLabor OccupationalRole) Mid-level-ontology.kif 8301-8301 ManualLabor e' uma sub-classe de OccupationalRole
(subclass OccupationalDomain OccupationalRole) Mid-level-ontology.kif 22327-22327 OccupationalDomain e' uma sub-classe de OccupationalRole
(subclass SkilledOccupation OccupationalRole) Mid-level-ontology.kif 8286-8286 SkilledOccupation e' uma sub-classe de OccupationalRole
(termFormat ChineseLanguage OccupationalRole "职业角色") domainEnglishFormat.kif 41604-41604
(termFormat ChineseTraditionalLanguage OccupationalRole "職業角色") domainEnglishFormat.kif 41603-41603
(termFormat EnglishLanguage OccupationalRole "occupational role") domainEnglishFormat.kif 41602-41602
(termFormat Hindi OccupationalRole "vyavasaayI bhUmikaa") terms-hindi.txt 451-451
(termFormat ItalianLanguage OccupationalRole "Occupazione") terms-it.txt 454-454
(termFormat cb OccupationalRole "panginabuhing bahin") terms-cb.txt 456-456
(termFormat cz OccupationalRole "occupational role") terms-cz.txt 490-490
(termFormat tg OccupationalRole "tungkulin sa trabaho") terms-tg.txt 455-455

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


(=>
    (and
        (instance ?O OccupationalRole)
        (property ?X ?O))
    (instance ?X CognitiveAgent))
Mid-level-ontology.kif 22300-22304
(=>
    (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 22312-22325
(=>
    (instance ?O OccupationalRole)
    (exists (?PCLASS)
        (typicalAction ?PCLASS
            (AttrFn CognitiveAgent ?O))))
Mid-level-ontology.kif 22306-22310


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners