Hijab - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Hijab

Hijab(hijab)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 497-498
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6611-6611
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7070-7070
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 500-500	Hijab is a subclass of veil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28219-28219
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28218-28218
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28217-28217

antecedent

No TPTP formula. May not be expressible in strict first order.

ArabicCulture.kif 502-508

If a physical is an instance of hijab,
then the physical has the purpose there exists an entity such that the entity is an instance of woman and the entity wears the physical

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