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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unemployed

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 17322-17323
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 5/ 53/ Unemployment_rate_world_from_CIA_figures2.PNG") pictureList.kif 8146-8146
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ 9/ 92/ USA_states_unemployment_2004.PNG") pictureList.kif 8147-8147
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/commons/ c/ c3/ Us_unemployment_rates_1950_2005.png") pictureList.kif 8148-8148
(externalImage Unemployed "http://upload.wikimedia.org/wikipedia/en/9/95/ Panic1837.jpg") pictureList.kif 6936-6936
(instance Unemployed SocialRole) Merge.kif 17321-17321 失业的身分instance

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


(subAttribute Housewife Unemployed) Mid-level-ontology.kif 20610-20610 家庭主妇失业的subAttribute
(subAttribute Retired Unemployed) Mid-level-ontology.kif 20607-20607 退休的失业的subAttribute
(termFormat ChineseLanguage Unemployed "失业的") domainEnglishFormat.kif 59908-59908
(termFormat ChineseTraditionalLanguage Unemployed "失業的") domainEnglishFormat.kif 59907-59907
(termFormat EnglishLanguage Unemployed "unemployed person") domainEnglishFormat.kif 59906-59906

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


(<=>
    (holdsDuring ?T
        (and
            (instance ?PERSON Human)
            (forall (?ORG)
                (not
                    (employs ?ORG ?PERSON)))))
    (holdsDuring ?T
        (attribute ?PERSON Unemployed)))
Merge.kif 17325-17333 实体人类instance 和 对所有 另一个 实体 那个 另外 实体 doesn't employs 那个 实体 时间位置 holdsDuring 若且唯若 失业的那个 实体attribute那个 时间位置 holdsDuring
(=>
    (and
        (instance ?W WorkLeave)
        (agent ?W ?PERSON))
    (holdsDuring
        (WhenFn ?W)
        (not
            (attribute ?PERSON Unemployed))))
Mid-level-ontology.kif 20465-20472


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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