Gutrah - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Gutrah

Gutrah(gutrah)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 368-369
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 371-371	Gutrah is a subclass of hat

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27132-27132
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27131-27131
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27130-27130

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 372-374	If an object is an instance of gutrah, then white is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 376-387	If a physical is an instance of gutrah, then the physical has the purpose if there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity wears the physical holds during the other entity and the third entity is located at the fourth entity holds during the other entity and the entity is a hot season in area of the fourth entity, then the other entity takes place during the entity

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