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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Christian
Christian(基督教)

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 基督教 是 宗教属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. People.kif 1188-1188 复临 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1221-1221 英国国教 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1194-1194 浸礼者 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1243-1243 东正教基督教 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1191-1191 圣公会 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1200-1200 路德 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1203-1203 卫 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1185-1185 摩门教 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1197-1197 五旬节 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1206-1206 Presbyterian 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1257-1257 新教 是 基督教 的 instance
No TPTP formula. May not be expressible in strict first order. People.kif 1271-1271 罗马天主教徒 是 基督教 的 instance
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
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 647-652


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