Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  Muslim

Sigma KEE - Muslim
Muslim

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subAttribute AhmadiyyaMuslim Muslim) People.kif 1344-1344
(subAttribute DruzeMuslim Muslim) People.kif 1358-1358
(subAttribute ShiaMuslim Muslim) People.kif 1374-1374
(subAttribute SunniMuslim Muslim) People.kif 1393-1393
(termFormat ChineseLanguage Muslim "穆斯林") domainEnglishFormat.kif 39460-39460
(termFormat ChineseTraditionalLanguage Muslim "穆斯林") domainEnglishFormat.kif 39459-39459
(termFormat EnglishLanguage Muslim "muslim") domainEnglishFormat.kif 39458-39458

antecedent
-------------------------


(<=>
    (attribute ?INDIVIDUAL Muslim)
    (member ?INDIVIDUAL Islam))
People.kif 1331-1333
(=>
    (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
(=>
    (and
        (attribute ?P Muslim)
        (capability Hajj agent ?P))
    (modalAttribute
        (exists (?H)
            (and
                (instance ?H Hajj)
                (agent ?H ?P))) Obligation))
ArabicCulture.kif 134-143

consequent
-------------------------


(=>
    (instance ?A Aqiqah)
    (exists (?AGENT)
        (and
            (agent ?A ?AGENT)
            (property ?A Muslim))))
ArabicCulture.kif 326-331
(=>
    (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
(=>
    (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
(=>
    (instance ?Z Zakat)
    (exists (?H)
        (and
            (instance ?H Human)
            (agent ?Z ?H)
            (attribute ?H Muslim))))
ArabicCulture.kif 196-202


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