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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Unemployed

 Sigma KEE - Unemployed
Unemployed(unemployed person)
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 17273-17274
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 17272-17272 Unemployed person 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 20582-20582 Housewife is a subattribute of unemployed person
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20579-20579 Retired is a subattribute of unemployed person
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 17276-17284 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 person 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 20437-20444


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