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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ReligiousAttribute
ReligiousAttribute

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 667-670
(subclass ReligiousAttribute RelationalAttribute) People.kif 666-666

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


(instance Bahai ReligiousAttribute) People.kif 756-756
(instance Buddhist ReligiousAttribute) People.kif 768-768
(instance Confucianist ReligiousAttribute) People.kif 1305-1305
(instance Hindu ReligiousAttribute) People.kif 1317-1317
(instance Jain ReligiousAttribute) People.kif 1409-1409
(instance Muslim ReligiousAttribute) People.kif 1329-1329
(instance Neopaganismist ReligiousAttribute) People.kif 1455-1455
(instance ReligiousJew ReligiousAttribute) People.kif 1426-1426
(instance Shintoist ReligiousAttribute) People.kif 1470-1470
(instance Sikh ReligiousAttribute) People.kif 1485-1485
(instance Taoist ReligiousAttribute) People.kif 1500-1500
(instance Zoroastrian ReligiousAttribute) People.kif 1515-1515
(subclass Christian ReligiousAttribute) People.kif 793-793
(termFormat ChineseLanguage ReligiousAttribute "宗教属性") domainEnglishFormat.kif 49388-49388
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性") domainEnglishFormat.kif 49387-49387
(termFormat EnglishLanguage ReligiousAttribute "religious attribute") domainEnglishFormat.kif 49386-49386

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


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


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