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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousAttribute
ReligiousAttribute(religious attribute)Hare_Krishna, Mithraist, Rasta, Rastafarian, Shaktist, Shivaist, Vaishnava, non-Catholic

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


(documentation ReligiousAttribute EnglishLanguage "An Attribute indicating the membership of a Human in a BeliefGroup. Note that various attributes indicating kinds of lack of belief in a religion are InternalAttributes, since they do not depend on relation to a particular group.") People.kif 675-678
(subclass ReligiousAttribute RelationalAttribute) People.kif 674-674 Religious attribute is a subclass of relational attribute

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


(instance Bahai ReligiousAttribute) People.kif 764-764 Bahai is an instance of religious attribute
(instance Buddhist ReligiousAttribute) People.kif 776-776 Buddhist is an instance of religious attribute
(instance Confucianist ReligiousAttribute) People.kif 1313-1313 Confucianist is an instance of religious attribute
(instance Hindu ReligiousAttribute) People.kif 1325-1325 Hindu is an instance of religious attribute
(instance Jain ReligiousAttribute) People.kif 1417-1417 Jain is an instance of religious attribute
(instance Muslim ReligiousAttribute) People.kif 1337-1337 Muslim is an instance of religious attribute
(instance Neopaganismist ReligiousAttribute) People.kif 1463-1463 Neopaganismist is an instance of religious attribute
(instance ReligiousJew ReligiousAttribute) People.kif 1434-1434 Religious jew is an instance of religious attribute
(instance Shintoist ReligiousAttribute) People.kif 1478-1478 Shintoist is an instance of religious attribute
(instance Sikh ReligiousAttribute) People.kif 1493-1493 Sikh is an instance of religious attribute
(instance Taoist ReligiousAttribute) People.kif 1508-1508 Taoist is an instance of religious attribute
(instance Zoroastrian ReligiousAttribute) People.kif 1523-1523 Zoroastrian is an instance of religious attribute
(subclass Christian ReligiousAttribute) People.kif 801-801 Christian is a subclass of religious attribute
(termFormat ChineseLanguage ReligiousAttribute "宗教属性") domainEnglishFormat.kif 49377-49377
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性") domainEnglishFormat.kif 49376-49376
(termFormat EnglishLanguage ReligiousAttribute "religious attribute") domainEnglishFormat.kif 49375-49375

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


(=>
    (musicGenre ?MR ReligiousMusic)
    (exists (?ATTR ?X)
        (and
            (instance ?ATTR ReligiousAttribute)
            (attribute ?X ?ATTR)
            (refers ?MR ?X))))
Music.kif 630-636


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