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
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 665-668
No TPTP formula. May not be expressible in strict first order. People.kif 664-664 Religious attribute is a subclass of relational attribute

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


No TPTP formula. May not be expressible in strict first order. People.kif 754-754 Bahai is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 766-766 Buddhist is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1304-1304 Confucianist is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1316-1316 Hindu is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1408-1408 Jain is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1328-1328 Muslim is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1454-1454 Neopaganismist is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1425-1425 Religious jew is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1469-1469 Shintoist is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1484-1484 Sikh is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1499-1499 Taoist is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 1514-1514 Zoroastrian is an instance of religious attribute
No TPTP formula. May not be expressible in strict first order. People.kif 791-791 Christian is a subclass of religious attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49398-49398 Christian is a subclass of religious attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49397-49397 Christian is a subclass of religious attribute
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49396-49396 Christian is a subclass of religious attribute

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


No TPTP formula. May not be expressible in strict first order. Music.kif 635-641


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