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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Judaism

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 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 Judaism is an instance of belief group

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
(=>
    (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

consequent
-------------------------


(<=>
    (attribute ?INDIVIDUAL ReligiousJew)
    (member ?INDIVIDUAL Judaism))
People.kif 1428-1430 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 1442-1444


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