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
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3848-3849
No TPTP formula. May not be expressible in strict first order. Merge.kif 17251-17252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8146-8146
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8147-8147
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8148-8148
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6936-6936
No TPTP formula. May not be expressible in strict first order. Merge.kif 17250-17250 失業的 and SocialRole

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20583-20583 子屬性 家庭主婦 and 失業的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20580-20580 子屬性 退休的 and 失業的
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59906-59906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59905-59905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59904-59904

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17254-17262 持有期間 TimePosition and entity and Human entity 採用 entity and entity 持有期間 TimePosition and attribute entity and 失業的
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20438-20445


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