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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unemployed

Sigma KEE - Unemployed
Unemployed

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


(documentation Unemployed ChineseLanguage "这是用于当一个 CognitiveAgent 失业时的 Attribute。") chinese_format.kif 3848-3849
(documentation Unemployed EnglishLanguage "The Attribute of a CognitiveAgent when he/ she is unemployed.") Merge.kif 17251-17252
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") pictureList.kif 8146-8146
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") pictureList.kif 8147-8147
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") pictureList.kif 8148-8148
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") pictureList.kif 6936-6936
(instance Unemployed SocialRole) Merge.kif 17250-17250 Unemployed ist ein fall von SocialRole %n{nicht}

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 20583-20583 Housewife ist ein teilattribut von Unemployed
(subAttribute Retired Unemployed) Mid-level-ontology.kif 20580-20580 Retired ist ein teilattribut von Unemployed
(termFormat ChineseLanguage Unemployed "失业的") domainEnglishFormat.kif 59906-59906
(termFormat ChineseTraditionalLanguage Unemployed "失業的") domainEnglishFormat.kif 59905-59905
(termFormat EnglishLanguage Unemployed "unemployed person") domainEnglishFormat.kif 59904-59904

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


(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17254-17262 Entity ist ein fall von Human %n{nicht} und fuer alle ** entity ** ** entity beschaeftigt ** entity nicht haelt waehrend TimePosition %n{nicht} genau dann wenn Unemployed ist ein attribut von ** entity %n{nicht} haelt waehrend ** TimePosition %n{nicht}
(=>
    (and
        (instance ?W WorkLeave)
        (agent ?W ?PERSON))
    (holdsDuring
        (WhenFn ?W)
        (not
            (attribute ?PERSON Unemployed))))
Mid-level-ontology.kif 20438-20445


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