Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Christian

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 802-803
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 801-801 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 1198-1198 Adventist is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1231-1231 Anglican is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1204-1204 Baptist is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1253-1253 Eastern orthodox christian is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1201-1201 Episcopalian is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1210-1210 Lutheran is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1213-1213 Methodist is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1195-1195 Mormon is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1207-1207 Pentecostal is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1216-1216 Presbyterian is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1267-1267 Protestant is an instance of christian
No TPTP formula. May not be expressible in strict first order. People.kif 1281-1281 Roman catholic is an instance of christian
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14715-14715
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14714-14714
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14713-14713

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 805-809
No TPTP formula. May not be expressible in strict first order. Media.kif 406-411
No TPTP formula. May not be expressible in strict first order. Media.kif 509-514
No TPTP formula. May not be expressible in strict first order. Media.kif 269-274

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


No TPTP formula. May not be expressible in strict first order. Music.kif 644-649


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