| 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 |
|
|
| (documentation Unemployed ChineseLanguage "这是用于当一个 CognitiveAgent 失业时的 Attribute。") | Merge.kif 17601-17602 | |
| (documentation Unemployed EnglishLanguage "The Attribute of a CognitiveAgent when he/ she is unemployed.") | Merge.kif 17599-17600 | |
| (externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") | pictureList.kif 8148-8148 | "http://upload.wikimedia.org/wikipedia/commons/5/53/ Unemployment_rate_world_from_CIA_figures2.PNG" is a URL depicting unemployed |
| (externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") | pictureList.kif 8149-8149 | "http://upload.wikimedia.org/wikipedia/commons/9/92/ USA_states_unemployment_2004.PNG" is a URL depicting unemployed |
| (externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") | pictureList.kif 8150-8150 | "http://upload.wikimedia.org/wikipedia/commons/c/c3/ Us_unemployment_rates_1950_2005.png" is a URL depicting unemployed |
| (externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") | pictureList.kif 6937-6937 | "http://upload.wikimedia.org/wikipedia/en/9/95/Panic1837.jpg" is a URL depicting unemployed |
| (instance Unemployed SocialRole) | Merge.kif 17598-17598 | Unemployed is an instance of social role |
| appearance as argument number 2 |
|
|
| (subAttribute Housewife Unemployed) | Mid-level-ontology.kif 18241-18241 | Housewife is a subattribute of unemployed |
| (subAttribute Retired Unemployed) | Mid-level-ontology.kif 18238-18238 | Retired is a subattribute of unemployed |
| (termFormat EnglishLanguage Unemployed "unemployed") | domainEnglishFormat.kif 10409-10409 | "unemployed" is the printable form of unemployed in english language |
| consequent |
|
|
| (<=> (and (instance ?PERSON Human) (forall (?ORG) (not (employs ?ORG ?PERSON)))) (attribute ?PERSON Unemployed)) |
Merge.kif 17604-17610 | 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 |
|
|
|