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 20518-20521
(domain occupation 1 Human) Mid-level-ontology.kif 20523-20523
(domainSubclass occupation 2 FinancialTransaction) Mid-level-ontology.kif 20524-20524
(instance occupation BinaryPredicate) Mid-level-ontology.kif 20522-20522

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 41598-41598
(termFormat ChineseTraditionalLanguage occupation "佔用") domainEnglishFormat.kif 41597-41597
(termFormat EnglishLanguage occupation "occupation") domainEnglishFormat.kif 41596-41596

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 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