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

(documentation Judaism EnglishLanguage "The religion developed among the ancient Hebrews and characterized by belief in one transcendent God who has revealed Himself to Abraham, Moses, and the Hebrew prophets and by a religious life in accordance with Scriptures and rabbinic traditions.")	People.kif 1418-1421
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Western_wall_jerusalem_night.jpg")	pictureList.kif 5031-5031
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Star_of_David.svg")	pictureList.kif 4911-4911
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/8/ 83/ Torah_and_jad.jpg")	pictureList.kif 5032-5032
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Judaica.jpg")	pictureList.kif 5029-5029
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ ReformJewishService.jpg")	pictureList.kif 5030-5030
(instance Judaism BeliefGroup)	People.kif 1417-1417	例猶太教 and 信仰團體

appearance as argument number 2

(termFormat ChineseLanguage Judaism "犹太教")	domainEnglishFormat.kif 31813-31813
(termFormat ChineseTraditionalLanguage Judaism "猶太教")	domainEnglishFormat.kif 31812-31812
(termFormat EnglishLanguage Judaism "judaism")	domainEnglishFormat.kif 31811-31811

antecedent

(=> (and (instance ?MIT BarMitzvah) (patient ?MIT ?X) (instance ?X Boy) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	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
(=> (and (instance ?MIT BatMitzvah) (patient ?MIT ?X) (instance ?X Girl) (member ?X ?GROUP) (instance ?GROUP Judaism) (birthdate ?X ?DAY) (instance ?DAY (DayFn ?D (MonthFn ?M (YearFn ?Y))))) (exists (?Y13 ?BD13) (and (instance ?Y13 Integer) (equal ?Y13 (AdditionFn ?Y 13)) (instance ?BD13 (DayFn ?D (MonthFn ?M (YearFn ?Y13)))) (equal (WhenFn ?MIT) (ImmediateFutureFn ?BD13)))))	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

(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1428-1430	attribute Object and 宗教的猶太人會員 Object and 猶太教
(=> (member ?MEMBER Antisemitism) (dislikes ?MEMBER Judaism))	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