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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Unemployed
Unemployed(unemployed person)
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。") chinese_format.kif 3848-3849
(documentation Unemployed EnglishLanguage "The Attribute of a CognitiveAgent when he/ she is unemployed.") Merge.kif 17411-17412
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") pictureList.kif 8145-8145
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") pictureList.kif 8146-8146
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") pictureList.kif 8147-8147
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") pictureList.kif 6935-6935
(instance Unemployed SocialRole) Merge.kif 17410-17410 Unemployed person is an instance of social role

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 22200-22200 Housewife is a subattribute of unemployed person
(subAttribute Retired Unemployed) Mid-level-ontology.kif 22197-22197 Retired is a subattribute of unemployed person
(termFormat ChineseLanguage Unemployed "失业的") domainEnglishFormat.kif 59898-59898 Retired is a subattribute of unemployed person
(termFormat ChineseTraditionalLanguage Unemployed "失業的") domainEnglishFormat.kif 59897-59897 Retired is a subattribute of unemployed person
(termFormat EnglishLanguage Unemployed "unemployed person") domainEnglishFormat.kif 59896-59896 Retired is a subattribute of unemployed person

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


(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17414-17422 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
(=>
    (and
        (instance ?W WorkLeave)
        (agent ?W ?PERSON))
    (holdsDuring
        (WhenFn ?W)
        (not
            (attribute ?PERSON Unemployed))))
Mid-level-ontology.kif 22055-22062


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 3.0 is open source software produced by Articulate Software and its partners