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。") Merge.kif 17549-17550
(documentation Unemployed EnglishLanguage "The Attribute of a CognitiveAgent when he/ she is unemployed.") Merge.kif 17547-17548
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") pictureList.kif 8148-8148
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") pictureList.kif 8149-8149
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") pictureList.kif 8150-8150
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") pictureList.kif 6937-6937
(instance Unemployed SocialRole) Merge.kif 17546-17546

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 18183-18183
(subAttribute Retired Unemployed) Mid-level-ontology.kif 18180-18180
(termFormat EnglishLanguage Unemployed "unemployed") domainEnglishFormat.kif 10409-10409

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


(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 17552-17558


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners