Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Muslim(muslim) |  | Almoravid, Islamist, Jihadist, Mohammedan, Moslem, Muhammadan, Muhammedan, Muslim, Saracen, Shi'ite, Shi'ite_Muslim, Shia_Muslim, Shiite, Shiite_Muslim |
| appearance as argument number 1 |
|
|
| (instance Muslim ReligiousAttribute) | People.kif 1362-1362 | Muslim is an instance of religious attribute |
| (documentation Muslim EnglishLanguage "A Muslim is one who subscribes to the beliefs of Islam.") | People.kif 1363-1363 | Muslim is an instance of religious attribute |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation)) |
ArabicCulture.kif 134-143 | If muslim is an attribute of X and X is capable of doing hajj as a agent, then the statement there exists Y such that Y is an instance of hajj and X is an agent of Y has the modal force of obligation |
| (=> (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 X and equal value of belongings of X and Y, then the statement there exist Z, W,, , V,, , U and T such that Z is an instance of zakat and U is an instance of year and U takes place during the time of existence of X and fully formed is an attribute of X holds during U and X is an agent of Z and W is a patient of Z and value of W is T V(s) and V is an instance of unit of currency and T is greater than Y and 0.025 has the modal force of obligation |
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1365-1367 | Muslim is an attribute of X if and only if X is a member of islam |
| consequent |
|
|
| (=> (instance ?Z Zakat) (exists (?H) (and (instance ?H Human) (agent ?Z ?H) (attribute ?H Muslim)))) |
ArabicCulture.kif 196-202 | If X is an instance of zakat, then there exists Y such that Y is an instance of human, Y is an agent of X, and muslim is an attribute of Y |
| (=> (instance ?UR UdhiyahRitual) (exists (?S ?EA ?P) (and (instance ?EA EidAladha) (during ?UR ?EA) (attribute ?S Udhiyah) (agent ?UR ?P) (attribute ?P Muslim) (patient ?UR ?S)))) |
ArabicCulture.kif 244-253 | If X is an instance of udhiyah ritual, then All of the following hold: (1) there exist Y, Z (2) W such that Z is an instance of eid aladha (3) X takes place during Z (4) udhiyah is an attribute of Y (5) W is an agent of X (6) muslim is an attribute of W (7) Y is a patient of X |
| (=> (instance ?A Aqiqah) (exists (?AGENT) (and (agent ?A ?AGENT) (property ?A Muslim)))) |
ArabicCulture.kif 326-331 | If X is an instance of aqiqah, then there exists Y such that Y is an agent of X and X the attribute muslim |
| (=> (instance ?M Misbahah) (hasPurpose ?M (exists (?P ?H) (and (instance ?P Praying) (agent ?P ?H) (attribute ?H Muslim) (patient ?P ?M))))) |
ArabicCulture.kif 545-553 | If X is an instance of misbahah, then X has the purpose there exist Y, Z such that Y is an instance of praying, Z is an agent of Y, muslim is an attribute of Z, and X is a patient of Y |
|