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 18224-18227
(domain OccupationFn 1 IntentionalProcess) Mid-level-ontology.kif 18229-18229
(instance OccupationFn UnaryFunction) Mid-level-ontology.kif 18228-18228
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 18230-18230

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 41530-41530
(termFormat ChineseTraditionalLanguage OccupationFn "職業") domainEnglishFormat.kif 41529-41529
(termFormat EnglishLanguage OccupationFn "occupation") domainEnglishFormat.kif 41528-41528

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 16674-16680
(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))
Mid-level-ontology.kif 18329-18333
(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))
Mid-level-ontology.kif 18362-18366
(=>
    (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 16708-16712
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))
Dining.kif 782-785


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