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 17426-17427
(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 17425-17425 Unemployed社会的役割instance では

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 22200-22200 HousewifeUnemployedsubattribute では
(subAttribute Retired Unemployed) Mid-level-ontology.kif 22197-22197 RetiredUnemployedsubattribute では
(termFormat ChineseLanguage Unemployed "失业的") domainEnglishFormat.kif 59898-59898 RetiredUnemployedsubattribute では
(termFormat ChineseTraditionalLanguage Unemployed "失業的") domainEnglishFormat.kif 59897-59897 RetiredUnemployedsubattribute では
(termFormat EnglishLanguage Unemployed "unemployed person") domainEnglishFormat.kif 59896-59896 RetiredUnemployedsubattribute では

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


(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17429-17437 エンティティー人[人間]instance では エンティティー エンティティー エンティティーemploy ない は 時間位置during holds Unemployed エンティティーattribute では は 時間位置during holds
(=>
    (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