Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(instance Unemployed SocialRole) Merge.kif 17600-17600 Unemployed person is an instance of social role
(documentation Unemployed EnglishLanguage "The Attribute of a CognitiveAgent when he/ she is unemployed.") Merge.kif 17601-17602 Unemployed person is an instance of social role
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") pictureList.kif 6935-6935 Unemployed person is an instance of social role
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") pictureList.kif 8145-8145 Unemployed person is an instance of social role
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") pictureList.kif 8146-8146 Unemployed person is an instance of social role
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") pictureList.kif 8147-8147 Unemployed person is an instance of social role

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


(subAttribute Retired Unemployed) Mid-level-ontology.kif 22822-22822 Retired is a subattribute of unemployed person
(subAttribute Housewife Unemployed) Mid-level-ontology.kif 22825-22825 Housewife is a subattribute of unemployed person
(termFormat EnglishLanguage Unemployed "unemployed person") domainEnglishFormat.kif 59889-59889 Housewife is a subattribute of unemployed person
(termFormat ChineseTraditionalLanguage Unemployed "失業的") domainEnglishFormat.kif 59890-59890 Housewife is a subattribute of unemployed person
(termFormat ChineseLanguage Unemployed "失业的") domainEnglishFormat.kif 59891-59891 Housewife 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 17604-17612 X is an instance of human, Y Y doesn't employ X holds during Z if, and only if unemployed person is an attribute of X holds during Z
(=>
    (and
        (instance ?W WorkLeave)
        (agent ?W ?PERSON))
    (holdsDuring
        (WhenFn ?W)
        (not
            (attribute ?PERSON Unemployed))))		 Mid-level-ontology.kif 22680-22687 If X is an instance of work leave and Y is an agent of X, then unemployed person is not an attribute of Y holds during the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners