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

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 18241-18241 subAttribute Housewife and Unemployed
(subAttribute Retired Unemployed) Mid-level-ontology.kif 18238-18238 subAttribute Retired and Unemployed
(termFormat EnglishLanguage Unemployed "unemployed") domainEnglishFormat.kif 10409-10409 termFormat EnglishLanguage, Unemployed and "unemployed"

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


(<=>
    (and
        (instance ?PERSON Human)
        (forall (?ORG)
            (not
                (employs ?ORG ?PERSON))))
    (attribute ?PERSON Unemployed))
Merge.kif 17604-17610 instance 認識エージェント and 人[人間] 代理(人) employs 代理(人) and 認識エージェント attribute 認識エージェント 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