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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unemployed
Unemployed(unemployed)
dolce_far_niente, emeritus, idle, idleness, idling, jobless, loafing, out_of_work, retired_person, retiree, retirement, rustication, unemployed, unemployment

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


s__documentation(s__Unemployed,s__ChineseLanguage,'"这是用于当一个 CognitiveAgent 失业时的 Attribute。"')

chinese_format.kif 3848-3849
s__documentation(s__Unemployed,s__EnglishLanguage,'"The Attribute of a CognitiveAgent when he/ she is unemployed."')

Merge.kif 16017-16018
s__externalImage(s__Unemployed,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG"')

pictureList.kif 8148-8148
s__externalImage(s__Unemployed,'"http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG"')

pictureList.kif 8149-8149
s__externalImage(s__Unemployed,'"http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png"')

pictureList.kif 8150-8150
s__externalImage(s__Unemployed,'"http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg"')

pictureList.kif 6937-6937
s__instance(s__SocialRole,s__SetOrClass)

s__instance(s__Unemployed,s__SocialRole)

Merge.kif 16016-16016 Unemployed is an instance of social role

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


s__subAttribute(s__Housewife,s__Unemployed)

Mid-level-ontology.kif 18243-18243 Housewife is a subattribute of unemployed
s__subAttribute(s__Retired,s__Unemployed)

Mid-level-ontology.kif 18240-18240 Retired is a subattribute of unemployed
s__termFormat(s__ChineseLanguage,s__Unemployed,'"失业的"')

domainEnglishFormat.kif 59793-59793
s__termFormat(s__ChineseTraditionalLanguage,s__Unemployed,'"失業的"')

domainEnglishFormat.kif 59792-59792
s__termFormat(s__EnglishLanguage,s__Unemployed,'"unemployed"')

domainEnglishFormat.kif 59791-59791

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


( ! [V__PERSON] :
   (((s__instance(V__PERSON,s__Human) &
         ( ! [V__ORG] :
           (s__instance(V__ORG,s__Agent) =>
             ~(s__employs(V__ORG,V__PERSON)))))
     =>
     s__attribute(V__PERSON,s__Unemployed))
   &
   (s__attribute(V__PERSON,s__Unemployed) =>
     (s__instance(V__PERSON,s__Human) &
       ( ! [V__ORG] :
         (s__instance(V__ORG,s__Agent) =>
           ~(s__employs(V__ORG,V__PERSON))))))
)
)

Merge.kif 16020-16026 A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent


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