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

Formal Language: 



KB Term:  Term intersection
English Word: 

  domainSubclass

Sigma KEE - Unemployed
Unemployed(unemployed)
dolce_far_niente, emeritus, idle, idleness, idling, jobless, loafing, out_of_work, retired_person, retiree, retirement, rustication, unemployed, unemployment

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 17004-17005
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 8149-8149
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6937-6937
No TPTP formula. May not be expressible in strict first order. Merge.kif 17003-17003 Unemployed is an instance of social role

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19925-19925 Housewife is a subattribute of unemployed
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19922-19922 Retired is a subattribute of unemployed
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59873-59873
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59872-59872
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59871-59871

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17007-17015 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19785-19792


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