Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass ReligiousAttribute RelationalAttribute) People.kif 698-698 Religious attribute is a subclass of relational attribute
(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 699-702 Religious attribute is a subclass of relational attribute

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


(instance Bahai ReligiousAttribute) People.kif 788-788 Bahai is an instance of religious attribute
(instance Buddhist ReligiousAttribute) People.kif 800-800 Buddhist is an instance of religious attribute
(subclass Christian ReligiousAttribute) People.kif 825-825 Christian is a subclass of religious attribute
(instance Confucianist ReligiousAttribute) People.kif 1338-1338 Confucianist is an instance of religious attribute
(instance Hindu ReligiousAttribute) People.kif 1350-1350 Hindu is an instance of religious attribute
(instance Muslim ReligiousAttribute) People.kif 1362-1362 Muslim is an instance of religious attribute
(instance Jain ReligiousAttribute) People.kif 1442-1442 Jain is an instance of religious attribute
(instance ReligiousJew ReligiousAttribute) People.kif 1459-1459 Religious jew is an instance of religious attribute
(instance Neopaganismist ReligiousAttribute) People.kif 1488-1488 Neopaganismist is an instance of religious attribute
(instance Shintoist ReligiousAttribute) People.kif 1503-1503 Shintoist is an instance of religious attribute
(instance Sikh ReligiousAttribute) People.kif 1518-1518 Sikh is an instance of religious attribute
(instance Taoist ReligiousAttribute) People.kif 1533-1533 Taoist is an instance of religious attribute
(instance Zoroastrian ReligiousAttribute) People.kif 1548-1548 Zoroastrian is an instance of religious attribute
(termFormat EnglishLanguage ReligiousAttribute "religious attribute") domainEnglishFormat.kif 49389-49389 Zoroastrian is an instance of religious attribute
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性") domainEnglishFormat.kif 49390-49390 Zoroastrian is an instance of religious attribute
(termFormat ChineseLanguage ReligiousAttribute "宗教属性") domainEnglishFormat.kif 49391-49391 Zoroastrian is an instance of religious attribute

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


(=>
    (musicGenre ?MR ReligiousMusic)
    (exists (?ATTR ?X)
        (and
            (instance ?ATTR ReligiousAttribute)
            (attribute ?X ?ATTR)
            (refers ?MR ?X))))		 Music.kif 635-641 If religious music is in the genre X, then there exist Y, Z such that Y is an instance of religious attribute, Y is an attribute of Z, and X includes a reference to Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners