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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Christian

 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 子類 基督教 and 宗教屬性

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


No TPTP formula. May not be expressible in strict first order. People.kif 1188-1188 例 复臨 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1221-1221 例 英國國教 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1194-1194 例 浸禮者 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1243-1243 例 東正教基督教 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1191-1191 例 聖公會 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1200-1200 例 路德 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1203-1203 例 衛 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1185-1185 例 摩門教 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1197-1197 例 五旬節 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1206-1206 例 Presbyterian and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1257-1257 例 新教 and 基督教
No TPTP formula. May not be expressible in strict first order. People.kif 1271-1271 例 羅馬天主教徒 and 基督教
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 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