Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  JesusOfNazareth

 Sigma KEE - JesusOfNazareth
JesusOfNazareth(Jesus of Nazareth)

appearance as argument number 1
-------------------------


(instance JesusOfNazareth Man) Media.kif 1865-1865 Jesus of Nazareth is an instance of man
(instance JesusOfNazareth ReligiousJew) Media.kif 1866-1866 Jesus of Nazareth is an instance of religious jew
(documentation JesusOfNazareth EnglishLanguage "JesusOfNazareth is the central figure of Christianity, revered by most Christians as the incarnation of God, and also is an important figure in several other religions. See the article on Jesus in Wikipedia.") Media.kif 1870-1875 Jesus of Nazareth is an instance of religious jew

appearance as argument number 2
-------------------------


(givenName "Jesus" JesusOfNazareth) Media.kif 1877-1877 "Jesus" is a given name of Jesus of Nazareth
(givenName "Yehoshua" JesusOfNazareth) Media.kif 1878-1878 "Yehoshua" is a given name of Jesus of Nazareth
(givenName "Yeshua" JesusOfNazareth) Media.kif 1880-1880 "Yeshua" is a given name of Jesus of Nazareth
(termFormat EnglishLanguage JesusOfNazareth "Jesus of Nazareth") domainEnglishFormat.kif 65057-65057 "Yeshua" is a given name of Jesus of Nazareth

antecedent
-------------------------


(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))		 Media.kif 1883-1888 If X is a birthdate of Jesus of Nazareth, Y is an instance of the year -6, and Z is an instance of the year 4, then X is a part of interval between the beginning of Y and the end of Z
(=>
    (and
        (deathdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn 29))
        (instance ?Y2
            (YearFn 36)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))		 Media.kif 1890-1895 If X is a deathdate of Jesus of Nazareth, Y is an instance of the year 29, and Z is an instance of the year 36, then X is a part of interval between the beginning of Y and the end of Z

statement
-------------------------


(holdsDuring
    (WhenFn JesusOfNazareth)
    (located JesusOfNazareth Palestine))		 Media.kif 1867-1867 Jesus of Nazareth is located at palestine holds during the time of existence of Jesus of Nazareth
(exists (?TIME)
    (and
        (instance ?TIME TimeInterval)
        (finishes ?TIME
            (WhenFn JesusOfNazareth))
        (starts ?TIME
            (WhenFn TwelveApostles))
        (forall (?MEM)
            (=>
                (holdsDuring ?TIME
                    (member ?MEM TwelveApostles))
                (holdsDuring ?TIME
                    (friend ?MEM JesusOfNazareth))))))		 Media.kif 1917-1925 There exists X such that X is an instance of timeframe, X finishes the time of existence of Jesus of Nazareth, X starts the time of existence of Twelve apostles, and Y Y is a member of Twelve apostles holds during XJesus of Nazareth is a friend of Y holds during X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners