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 18251-18254
(domain OccupationFn 1 IntentionalProcess) Mid-level-ontology.kif 18256-18256 The number 1 argument of occupation is an instance of intentional process
(instance OccupationFn UnaryFunction) Mid-level-ontology.kif 18255-18255 Occupation is an instance of unary function
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 18257-18257 The values returned by occupation are subclasses of 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 41509-41509
(termFormat ChineseTraditionalLanguage OccupationFn "職業") domainEnglishFormat.kif 41508-41508
(termFormat EnglishLanguage OccupationFn "occupation") domainEnglishFormat.kif 41507-41507

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))
Mid-level-ontology.kif 16701-16707
(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))
Mid-level-ontology.kif 18356-18360
(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))
Mid-level-ontology.kif 18389-18393
(=>
    (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 16735-16739
(=>
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners