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 665-668
(subclass ReligiousAttribute RelationalAttribute) People.kif 664-664 ReligiousAttribute ist eine teilkategorie von RelationalAttribute

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


(instance Bahai ReligiousAttribute) People.kif 754-754 Bahai ist ein fall von ReligiousAttribute %n{nicht}
(instance Buddhist ReligiousAttribute) People.kif 766-766 Buddhist ist ein fall von ReligiousAttribute %n{nicht}
(instance Confucianist ReligiousAttribute) People.kif 1303-1303 Confucianist ist ein fall von ReligiousAttribute %n{nicht}
(instance Hindu ReligiousAttribute) People.kif 1315-1315 Hindu ist ein fall von ReligiousAttribute %n{nicht}
(instance Jain ReligiousAttribute) People.kif 1407-1407 Jain ist ein fall von ReligiousAttribute %n{nicht}
(instance Muslim ReligiousAttribute) People.kif 1327-1327 Muslim ist ein fall von ReligiousAttribute %n{nicht}
(instance Neopaganismist ReligiousAttribute) People.kif 1453-1453 Neopaganismist ist ein fall von ReligiousAttribute %n{nicht}
(instance ReligiousJew ReligiousAttribute) People.kif 1424-1424 ReligiousJew ist ein fall von ReligiousAttribute %n{nicht}
(instance Shintoist ReligiousAttribute) People.kif 1468-1468 Shintoist ist ein fall von ReligiousAttribute %n{nicht}
(instance Sikh ReligiousAttribute) People.kif 1483-1483 Sikh ist ein fall von ReligiousAttribute %n{nicht}
(instance Taoist ReligiousAttribute) People.kif 1498-1498 Taoist ist ein fall von ReligiousAttribute %n{nicht}
(instance Zoroastrian ReligiousAttribute) People.kif 1513-1513 Zoroastrian ist ein fall von ReligiousAttribute %n{nicht}
(subclass Christian ReligiousAttribute) People.kif 791-791 Christian ist eine teilkategorie von ReligiousAttribute
(termFormat ChineseLanguage ReligiousAttribute "宗教属性") domainEnglishFormat.kif 49394-49394
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性") domainEnglishFormat.kif 49393-49393
(termFormat EnglishLanguage ReligiousAttribute "religious attribute") domainEnglishFormat.kif 49392-49392

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


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


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