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 Le nombre 1 argument de OccupationFn est une instance de processus intentionnel
(instance OccupationFn UnaryFunction) Mid-level-ontology.kif 20487-20487 OccupationFn est une instance de function unaire
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20489-20489 Les valeurs retourn�es par OccupationFn sont des sous-classes de financial transaction

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