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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Unemployed
Unemployed

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 16017-16018
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") pictureList.kif 8148-8148
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") pictureList.kif 8149-8149
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") pictureList.kif 8150-8150
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") pictureList.kif 6937-6937
(instance Unemployed SocialRole) Merge.kif 16016-16016 instance Unemployed and SocialRole

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 18243-18243 subAttribute Housewife and Unemployed
(subAttribute Retired Unemployed) Mid-level-ontology.kif 18240-18240 subAttribute Retired and Unemployed
(termFormat ChineseLanguage Unemployed "失业的") domainEnglishFormat.kif 59793-59793
(termFormat ChineseTraditionalLanguage Unemployed "失業的") domainEnglishFormat.kif 59792-59792
(termFormat EnglishLanguage Unemployed "unemployed") domainEnglishFormat.kif 59791-59791

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


(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 16020-16026 instance CognitiveAgent and Human Agent employs Agent and CognitiveAgent attribute CognitiveAgent and Unemployed


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