Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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 18259-18262
(domain occupation 1 Human) Mid-level-ontology.kif 18264-18264
(domain occupation 2 FinancialTransaction) Mid-level-ontology.kif 18265-18265
(instance occupation BinaryPredicate) Mid-level-ontology.kif 18263-18263

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


(format ChineseLanguage occupation "%2 %n 是 %1 的 occupation ") domainEnglishFormat.kif 1823-1823
(format ChineseTraditionalLanguage occupation "%2 %n 是 %1 的 occupation ") domainEnglishFormat.kif 1822-1822
(format EnglishLanguage occupation "%2 is %n an occupation of %1") domainEnglishFormat.kif 1821-1821
(termFormat ChineseLanguage occupation "占用") domainEnglishFormat.kif 41491-41491
(termFormat ChineseTraditionalLanguage occupation "佔用") domainEnglishFormat.kif 41490-41490
(termFormat EnglishLanguage occupation "occupation") domainEnglishFormat.kif 41489-41489

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