Muslim - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Muslim

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

(documentation Muslim EnglishLanguage "A Muslim is one who subscribes to the beliefs of Islam.")	People.kif 1328-1328
(instance Muslim ReligiousAttribute)	People.kif 1327-1327	Muslim is an instance of religious attribute

appearance as argument number 2

(subAttribute AhmadiyyaMuslim Muslim)	People.kif 1343-1343	Ahmadiyya muslim is a subattribute of muslim
(subAttribute DruzeMuslim Muslim)	People.kif 1357-1357	Druze muslim is a subattribute of muslim
(subAttribute ShiaMuslim Muslim)	People.kif 1373-1373	Shia muslim is a subattribute of muslim
(subAttribute SunniMuslim Muslim)	People.kif 1392-1392	Sunni muslim is a subattribute of muslim
(termFormat ChineseLanguage Muslim "穆斯林")	domainEnglishFormat.kif 39485-39485	Sunni muslim is a subattribute of muslim
(termFormat ChineseTraditionalLanguage Muslim "穆斯林")	domainEnglishFormat.kif 39484-39484	Sunni muslim is a subattribute of muslim
(termFormat EnglishLanguage Muslim "muslim")	domainEnglishFormat.kif 39483-39483	Sunni muslim is a subattribute of muslim

antecedent

(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam))	People.kif 1330-1332	Muslim is an attribute of an object if and only if the object is a member of islam
(=> (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 value of belongings of the agent is equal to a currency measure, 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 currency measure and 0.025 has the modal force of obligation
(=> (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 an object and the object is capable of doing hajj as a agent, then the statement there exists an entity such that the entity is an instance of hajj and the object is an agent of the entity has the modal force of obligation

consequent

(=> (instance ?A Aqiqah) (exists (?AGENT) (and (agent ?A ?AGENT) (property ?A Muslim))))	ArabicCulture.kif 326-331	If a process is an instance of aqiqah, then there exists the processGENT such that the processGENT is an agent of the process and the process 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 546-554	If a physical is an instance of misbahah, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of praying and the other entity is an agent of the entity and muslim is an attribute of the other entity and the physical is a patient of the entity
(=> (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 a time interval is an instance of udhiyah ritual, then there exist an object, another time interval and an agent such that the other time interval is an instance of eid aladha and the time interval takes place during the other time interval and udhiyah is an attribute of the object and the agent is an agent of the time interval and muslim is an attribute of the agent and the object is a patient of the time interval
(=> (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

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