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

Formal Language: 


KB Term:  Term intersection
English Word: 

  occupation

 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 22096-22099
(domain occupation 1 Human) Mid-level-ontology.kif 22101-22101
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 22102-22102
(instance occupation BinaryPredicate) Mid-level-ontology.kif 22100-22100

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


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

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


(=>
    (and
        (instance ?EP EntertainmentProfession)
        (attribute ?P ?EP))
    (or
        (occupation ?P
            (OccupationFn Performance))
        (occupation ?P
            (OccupationFn ContentDevelopment))))		 Mid-level-ontology.kif 20478-20484
(=>
    (and
        (instance ?J Janitor)
        (attribute ?P ?J))
    (occupation ?P
        (OccupationFn Washing)))		 Mid-level-ontology.kif 22250-22254
(=>
    (and
        (instance ?P FilmMakingProfession)
        (attribute ?H ?P))
    (occupation ?H
        (OccupationFn FilmMaking)))		 Mid-level-ontology.kif 22284-22288
(=>
    (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 20512-20516
(=>
    (attribute ?X Chef)
    (occupation ?X
        (OccupationFn Cooking)))		 Dining.kif 829-832


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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