Unemployed - Sigma Knowledge base Browser

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