Mausaharati - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Mausaharati

Mausaharati(mausaharati)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 48-50
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 51-51	Mausaharati is an instance of social role

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36552-36552
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36551-36551
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36550-36550

antecedent

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 57-75	If mausaharati is an attribute of an agent and a time interval is an instance of drumming and the agent is an agent of the time interval and the time intervalAY is an instance of day and another time interval is an instance of sunrise and the other time interval takes place during the time interval and the time interval happens before the other time interval, then the time interval has the purpose there exist another entity, the other time intervalUHUR and a fourth entity such that the fourth entity is an instance of waking up and the other entity experiences the fourth entity and the other time intervalUHUR is an instance of suhur and the other entity is an agent of the other time intervalUHUR and the fourth entity happens before the other time intervalUHUR and the fourth entity takes place during the time intervalAY and the other time intervalUHUR takes place during the time intervalAY
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 53-55	If mausaharati is an attribute of an agent, then the agent has the skill to do drumming

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