TreeView Knowledge Base Browser - Judaism

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Judaism

Judaism(猶太教)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	People.kif 1418-1421
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5031-5031
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4911-4911
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5032-5032
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5029-5029
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5030-5030
No TPTP formula. May not be expressible in strict first order.	People.kif 1417-1417	例猶太教 and 信仰團體

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31813-31813
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31812-31812
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 31811-31811

antecedent

No TPTP formula. May not be expressible in strict first order.	Biography.kif 69-85	例 Process and BarMitzvah 患者 Process and Human 例 Human and 男孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition
No TPTP formula. May not be expressible in strict first order.	Biography.kif 99-115	例 Process and BatMitzvah 患者 Process and Human 例 Human and 女孩會員 Human and Collection 例 Collection and 猶太教 Day 是 Human 的 birthdate 例 Day and 天 PositiveInteger and 月 Month and 年 Integer Integer3 TimePosition 例 Integer3 and Integer 等於 Integer3 and 加成 Integer and 13 例 TimePosition and 天 PositiveInteger and 月 Month and 年 Integer3 等於何時 Process and 眼前的未來 TimePosition

consequent

No TPTP formula. May not be expressible in strict first order.	People.kif 1428-1430	attribute Object and 宗教的猶太人會員 Object and 猶太教
No TPTP formula. May not be expressible in strict first order.	People.kif 1442-1444	會員 CognitiveAgent and 反猶太主義 CognitiveAgent dislikes 猶太教

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