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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OccupationFn
OccupationFn

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


(documentation OccupationFn EnglishLanguage "(OccupationFn ?PROCESS) denotes the subclass of ?PROCESS where instances of ?PROCESS are performed as one's occupation, i.e. as part of a FinancialTransaction where one earns money for the performance of ?PROCESS.") Mid-level-ontology.kif 20483-20486
(domain OccupationFn 1 IntentionalProcess) Mid-level-ontology.kif 20488-20488
(instance OccupationFn UnaryFunction) Mid-level-ontology.kif 20487-20487
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20489-20489

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


(format ChineseLanguage OccupationFn "%1 的 occupation ") domainEnglishFormat.kif 1827-1827
(format ChineseTraditionalLanguage OccupationFn "%1 的 occupation ") domainEnglishFormat.kif 1826-1826
(format EnglishLanguage OccupationFn "the occupation of %1") domainEnglishFormat.kif 1825-1825
(termFormat ChineseLanguage OccupationFn "职业") domainEnglishFormat.kif 41614-41614
(termFormat ChineseTraditionalLanguage OccupationFn "職業") domainEnglishFormat.kif 41613-41613
(termFormat EnglishLanguage OccupationFn "occupation") domainEnglishFormat.kif 41612-41612

consequent
-------------------------


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 18921-18927
(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))
Mid-level-ontology.kif 20645-20649
(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))
Mid-level-ontology.kif 20679-20683
(=>
    (attribute ?H Valet)
    (occupation ?H
        (OccupationFn Driving)))
TransportDetail.kif 128-130
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))
Mid-level-ontology.kif 18955-18959
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))
Dining.kif 829-832


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 is open source software produced by Articulate Software and its partners