TreeView Knowledge Base Browser - Khimar

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Khimar

Khimar(khimar)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 478-479
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 481-481	Khimar is a subclass of veil

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32443-32443
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32442-32442
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32441-32441

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 489-495	If a physical is an instance of khimar, 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
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 482-487	If an object is an instance of khimar, then there exists another object such that the other object is a part of the object and black is an attribute of the other object

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