TreeView Knowledge Base Browser - Christian

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 792-793
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 791-791	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 1188-1188	Adventist is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1221-1221	Anglican is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1194-1194	Baptist is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1243-1243	Eastern orthodox christian is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1191-1191	Episcopalian is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1200-1200	Lutheran is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1203-1203	Methodist is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1185-1185	Mormon is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1197-1197	Pentecostal is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1206-1206	Presbyterian is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1257-1257	Protestant is an instance of christian
No TPTP formula. May not be expressible in strict first order.	People.kif 1271-1271	Roman catholic is an instance of christian
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14712-14712
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14711-14711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14710-14710

antecedent

No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	If an attribute is an attribute of an object and the attribute is an instance of christian, then 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 Christmas day, 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 Easter sunday, 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 Christian holiday 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 647-652

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