Christian - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Christian

Christian(christian)

Anglican_Catholic, Arminian, Catholic, Christian, Copt, Mennonite, Old_Catholic, Trinitarian, Uniat, Uniate, Uniate_Christian, dominical, gentile, goy, non-Jew, tritheist, unilateralist

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 794-795
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 341-341
No TPTP formula. May not be expressible in strict first order.	People.kif 793-793	Christian is a subclass of religious attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1190-1190	Adventist is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1223-1223	Anglican is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1196-1196	Baptist is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1245-1245	Eastern orthodox christian is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1193-1193	Episcopalian is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1202-1202	Lutheran is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1205-1205	Methodist is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1187-1187	Mormon is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1199-1199	Pentecostal is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1208-1208	Presbyterian is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1259-1259	Protestant is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1273-1273	Roman catholic is an instance of christian
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14647-14647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14646-14646
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14645-14645

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 797-801	An attribute is an attribute of an object and the attribute is an instance of christian if and only if the object is a member of christianity
No TPTP formula. May not be expressible in strict first order.	Media.kif 406-411	If christian is an attribute of a cognitive agent holds during a holiday and the holiday is an instance of ChristmasDay, then the cognitive agent observes the holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 509-514	If christian is an attribute of a cognitive agent holds during a holiday and the holiday is an instance of EasterSunday, then the cognitive agent observes the holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 269-274	If a holiday is an instance of ChristianHoliday and christian is an attribute of a cognitive agent holds during the holiday, then the cognitive agent observes the holiday

consequent

No TPTP formula. May not be expressible in strict first order.

Music.kif 643-648

If christian music is in the genre an object,
then there exists another object such that christian is an attribute of the other object and the object includes a reference to the other object

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners