TreeView Knowledge Base Browser - Zakat

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Zakat

Zakat(zakat)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 182-184
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 186-186	Zakat is a subclass of religious process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64007-64007
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64006-64006
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64005-64005

antecedent

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

ArabicCulture.kif 187-191

If a process is an instance of zakat,
then an agent is an agent of the process and muslim is an attribute of the agent

consequent

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

ArabicCulture.kif 193-212

If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure,
then the statement there exist an entity, another entity and a third entity such that the entity is an instance of zakat and a fourth entity is an instance of year and the fourth entity takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the fourth entity and the agent is an agent of the entity and the other entity is a patient of the entity and value of the other entity is a fifth entity the third entity(s) and the third entity is an instance of UnitOfCurrency and the fifth entity is greater than the currency measure and 0.025 has the modal force of obligation

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