TreeView Knowledge Base Browser - Christianity

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Christianity

Christianity(基督教)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 775-777
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5913-5913
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6265-6265
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6266-6266
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6267-6267
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6268-6268
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6269-6269
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6272-6272
No TPTP formula. May not be expressible in strict first order.	People.kif 774-774	例基督教 and 信仰團體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	People.kif 1217-1217	子集合英國國教 and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 1239-1239	子集合東正教基督教 and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 1253-1253	子集合新教 and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 1267-1267	子集合羅馬天主教 and 基督教
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14730-14730
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14729-14729
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14728-14728

antecedent

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

Biography.kif 156-169

例 Process and Ordaining 患者 Process and Physical 例 Physical and Human 會員 Physical and 基督教
有目的 Process and entity entity 例 entity and Ceremony 例 entity and 任命子過程 entity and entity 患者 entity and Physical appointedPosition entity, Physical and 牧師

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 795-799	attribute Object and Attribute 例 Attribute and 基督教會員 Object and 基督教
No TPTP formula. May not be expressible in strict first order.	People.kif 783-788	例 Process and 基督徒服務 agent Process and AutonomousAgent 例 AutonomousAgent and Human 會員 AutonomousAgent and 基督教

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