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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReligiousAttribute

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 691-694
(subclass ReligiousAttribute RelationalAttribute) People.kif 690-690

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


(instance Bahai ReligiousAttribute) People.kif 780-780
(instance Buddhist ReligiousAttribute) People.kif 792-792
(instance Confucianist ReligiousAttribute) People.kif 1329-1329
(instance Hindu ReligiousAttribute) People.kif 1341-1341
(instance Jain ReligiousAttribute) People.kif 1433-1433
(instance Muslim ReligiousAttribute) People.kif 1353-1353
(instance Neopaganismist ReligiousAttribute) People.kif 1479-1479
(instance ReligiousJew ReligiousAttribute) People.kif 1450-1450
(instance Shintoist ReligiousAttribute) People.kif 1494-1494
(instance Sikh ReligiousAttribute) People.kif 1509-1509
(instance Taoist ReligiousAttribute) People.kif 1524-1524
(instance Zoroastrian ReligiousAttribute) People.kif 1539-1539
(subclass Christian ReligiousAttribute) People.kif 817-817
(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 631-637


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