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 1953-1959
(instance TwelveApostles GroupOfPeople)	Media.kif 1952-1952	TwelveApostles は GroupOfPeople の instance では

appearance as argument number 2

domainEnglishFormat.kif 65624-65624

consequent

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

Media.kif 1961-1965

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 1972-1980	時間間隔時間間隔は時間間隔の instance では時間間隔は JesusOfNazareth の time の existence を finishes 時間間隔は TwelveApostles の time の existence を starts エンティティーエンティティーは TwelveApostles の member ではは時間間隔の during holds friend エンティティー and JesusOfNazareth は時間間隔の during holds
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1967-1967	TwelveApostles の instances の数は 11 greater では
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1968-1968	TwelveApostles の instances の数は 12 より less または同等では