TwelveApostles - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TwelveApostles EnglishLanguage "The TwelveApostles is the group of 12 core disciples of JesusOfNazareth who knew him during his lifetime, as described in the ChristianGospels and the Acts of the Apostles. According to the gospel accounts, Judas Iscariot betrays Jesus and then leaves the group, but later is replaced by Matthias, restoring the group's number to 12.")	Media.kif 1951-1957
(instance TwelveApostles GroupOfPeople)	Media.kif 1950-1950	TwelveApostles 是一群人的 instance

appearance as argument number 2

domainEnglishFormat.kif 65630-65630

consequent

(=>
    (and
        (instance ?T1
            (YearFn 26))
        (instance ?T2
            (YearFn 100)))
    (temporalPart
        (WhenFn TwelveApostles)
        (TimeIntervalFn
            (BeginFn ?T1)
            (EndFn ?T2))))

Media.kif 1959-1963

statement

(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 1970-1978	有存在时距这样那个时距是时距的 instance 和那个时距 finishes了才到 JesusOfNazareth 出现的 time 和那个时距 starts了才到 TwelveApostles 出现的 time 和对所有实体如果那个实体是 TwelveApostles 的 member 在那个时距 holdsDuring，然后那个实体是 JesusOfNazareth 的 friend 在那个时距 holdsDuring
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1965-1965	TwelveApostles instance 的数量是 greaterThanOrEqualTo 11
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1966-1966	TwelveApostles instance 的数量是 lessThanOrEqualTo 12