-6 - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (birthdate JesusOfNazareth ?DAY)
        (instance ?Y1
            (YearFn -6))
        (instance ?Y2
            (YearFn 4)))
    (temporalPart ?DAY
        (TimeIntervalFn
            (BeginFn ?Y1)
            (EndFn ?Y2))))

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