Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 22725-22728
(instance OccupationFn UnaryFunction) Mid-level-ontology.kif 22729-22729 Occupation is an instance of unary function
(domain OccupationFn 1 IntentionalProcess) Mid-level-ontology.kif 22730-22730 The number 1 argument of occupation is an instance of intentional process
(rangeSubclass OccupationFn FinancialTransaction) Mid-level-ontology.kif 22731-22731 The values returned by occupation are subclasses of financial transaction

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


(format EnglishLanguage OccupationFn "the occupation of %1") domainEnglishFormat.kif 1829-1829
(format ChineseTraditionalLanguage OccupationFn "%1 的 occupation ") domainEnglishFormat.kif 1830-1830
(format ChineseLanguage OccupationFn "%1 的 occupation ") domainEnglishFormat.kif 1831-1831
(termFormat EnglishLanguage OccupationFn "occupation") domainEnglishFormat.kif 41613-41613
(termFormat ChineseTraditionalLanguage OccupationFn "職業") domainEnglishFormat.kif 41614-41614
(termFormat ChineseLanguage OccupationFn "职业") domainEnglishFormat.kif 41615-41615

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))		 Mid-level-ontology.kif 20858-20864 If X is an instance of entertainment profession and X is an attribute of Y, then the occupation of performance is an occupation of Y or the occupation of content development is an occupation of Y
(=>
    (attribute ?P Journalist)
    (and
        (occupation ?P
            (OccupationFn ContentDevelopment))
        (occupation ?P
            (OccupationFn Disseminating))))		 Mid-level-ontology.kif 20892-20896 If journalist is an attribute of X, then the occupation of content development is an occupation of X and the occupation of disseminating is an occupation of X
(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))		 Mid-level-ontology.kif 22887-22891 If X is an instance of janitor and X is an attribute of Y, then the occupation of washing is an occupation of Y
(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))		 Mid-level-ontology.kif 22921-22925 If X is an instance of film making profession and X is an attribute of Y, then the occupation of film making is an occupation of Y
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))		 Dining.kif 829-832 If chef is an attribute of X, then the occupation of cooking is an occupation of X
(=>
    (attribute ?H Valet)
    (occupation ?H
        (OccupationFn Driving)))		 TransportDetail.kif 132-134 If valet is an attribute of X, then the occupation of driving is an occupation of X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners