Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - occupation
occupation

appearance as argument number 1
-------------------------


(documentation occupation EnglishLanguage "(occupation ?PERSON ?TYPE) means that the occupation of ?PERSON is ?TYPE. This predicate is most often used in combination with the function OccupationFn, e.g. (occupation PoliceOfficerWilkins (OccupationFn LawEnforcement)).") Mid-level-ontology.kif 22733-22736
(instance occupation BinaryPredicate) Mid-level-ontology.kif 22737-22737 occupation is an instance of binary predicate
(domain occupation 1 Human) Mid-level-ontology.kif 22738-22738 The number 1 argument of occupation is an instance of human
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 22739-22739 The number 2 argument of occupation is a subclass of financial transaction

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


(format EnglishLanguage occupation "%2 is %n an occupation of %1") domainEnglishFormat.kif 1825-1825
(format ChineseTraditionalLanguage occupation "%2 %n 是 %1 的 occupation ") domainEnglishFormat.kif 1826-1826
(format ChineseLanguage occupation "%2 %n 是 %1 的 occupation ") domainEnglishFormat.kif 1827-1827
(termFormat EnglishLanguage occupation "occupation") domainEnglishFormat.kif 41595-41595
(termFormat ChineseTraditionalLanguage occupation "佔用") domainEnglishFormat.kif 41596-41596
(termFormat ChineseLanguage occupation "占用") domainEnglishFormat.kif 41597-41597

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