Judaism - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Judaism

Judaism(judaism)

more pictures...

Ashkenazi, Chabad, Chabad_Hasidism, Chasidism, Chassidism, Conservative_Jew, Conservative_Judaism, Essene, Hasidism, Hassidism, Jewish-Orthodox, Jewry, Judaism, Levite, Orthodox, Orthodox_Jew, Orthodox_Judaism, Reform_Jew, Reform_Judaism, Sadducee, Sephardi, Sephardic_Jew, Zealot

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 1419-1422
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 40/ Western_wall_jerusalem_night.jpg")	pictureList.kif 5030-5030
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/4/ 49/ Star_of_David.svg")	pictureList.kif 4910-4910
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/8/ 83/ Torah_and_jad.jpg")	pictureList.kif 5031-5031
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/d/ d7/ Judaica.jpg")	pictureList.kif 5028-5028
(externalImage Judaism "http://upload.wikimedia.org/wikipedia/commons/f/ f8/ ReformJewishService.jpg")	pictureList.kif 5029-5029
(instance Judaism BeliefGroup)	People.kif 1418-1418	Judaism is an instance of belief group

appearance as argument number 2

(termFormat ChineseLanguage Judaism "犹太教")	domainEnglishFormat.kif 31841-31841
(termFormat ChineseTraditionalLanguage Judaism "猶太教")	domainEnglishFormat.kif 31840-31840
(termFormat EnglishLanguage Judaism "judaism")	domainEnglishFormat.kif 31839-31839

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 71-87	If a process is an instance of bar mitzvah and a human is a patient of the process and the human is an instance of boy and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and the time of existence of the process is equal to immediately after the time position
(=> (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 102-118	If a process is an instance of bat mitzvah and a human is a patient of the process and the human is an instance of girl and the human is a member of a collection and the collection is an instance of judaism and a day is a birthdate of the human and the day is an instance of the day a positive integer of month the month a kind of month, then there exist an integer and a time position such that the integer is an instance of integer and the integer is equal to (another integer and 13) and the time position is an instance of the day the positive integer of month the month a kind of month and the time of existence of the process is equal to immediately after the time position

consequent

(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism))	People.kif 1429-1431	Religious jew is an attribute of an object if and only if the object is a member of judaism
(=> (member ?MEMBER Antisemitism) (dislikes ?MEMBER Judaism))	People.kif 1443-1445	If a cognitive agent is a member of antisemitism, then the cognitive agent dislikes judaism

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