Zakat - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Zakat EnglishLanguage "The third of the Five Pillars of Islam and refers to spending at least 2.5% of one's wealth each year for the poor or needy.")	ArabicCulture.kif 191-193
(subclass Zakat ReligiousProcess)	ArabicCulture.kif 195-195	Zakat is a subclass of religious process

appearance as argument number 2

(termFormat ChineseLanguage Zakat "天课")	domainEnglishFormat.kif 64026-64026
(termFormat ChineseTraditionalLanguage Zakat "天課")	domainEnglishFormat.kif 64025-64025
(termFormat EnglishLanguage Zakat "zakat")	domainEnglishFormat.kif 64024-64024

antecedent

(=>
    (instance ?Z Zakat)
    (exists (?H)
        (and
            (instance ?H Human)
            (agent ?Z ?H)
            (attribute ?H Muslim))))

ArabicCulture.kif 196-202

If a process is an instance of zakat,
then there exists an agent such that the agent is an instance of human and the agent is an agent of the process and muslim is an attribute of the agent

consequent

(=>
    (and
        (attribute ?H Muslim)
        (equal
            (WealthFn ?H) ?W))
    (modalAttribute
        (exists (?Z ?T ?U ?Y ?C)
            (and
                (instance ?Z Zakat)
                (instance ?Y Year)
                (during ?Y
                    (WhenFn ?H))
                (holdsDuring ?Y
                    (attribute ?H FullyFormed))
                (agent ?Z ?H)
                (patient ?Z ?T)
                (monetaryValue ?T
                    (MeasureFn ?C ?U))
                (instance ?U UnitOfCurrency)
                (greaterThan ?C
                    (MultiplicationFn ?W 0.025)))) Obligation))

ArabicCulture.kif 204-223

If muslim is an attribute of an agent and equal value of belongings of the agent and an integer,
then the statement there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of zakat and the 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 the fifth entity the third entity(s) and the third entity is an instance of unit of currency and the fifth entity is greater than the integer and 0.025 has the modal force of obligation

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

KB Term:			Term intersection

English Word: