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 20510-20513
(domain OccupationFn 1 IntentionalProcess) Mid-level-ontology.kif 20515-20515 域 職業, 1 and IntentionalProcess
(instance OccupationFn UnaryFunction) Mid-level-ontology.kif 20514-20514 例 職業 and UnaryFunction
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 20516-20516 範圍子類 職業 and FinancialTransaction

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 41616-41616
(termFormat ChineseTraditionalLanguage OccupationFn "職業") domainEnglishFormat.kif 41615-41615
(termFormat EnglishLanguage OccupationFn "occupation") domainEnglishFormat.kif 41614-41614

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))		 Mid-level-ontology.kif 18948-18954
(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))		 Mid-level-ontology.kif 20672-20676
(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))		 Mid-level-ontology.kif 20706-20710
(=>
    (attribute ?H Valet)
    (occupation ?H
        (OccupationFn Driving)))		 TransportDetail.kif 132-134
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))		 Mid-level-ontology.kif 18982-18986
(=>
    (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