TwelveApostles |
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 |
![]() |
(termFormat EnglishLanguage TwelveApostles "Twelve apostles") | 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 エンティティー
|
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11) |
Media.kif 1967-1967 | TwelveApostles の instances の数 は 11 greater では |
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1968-1968 | TwelveApostles の instances の数 は 12 より less または同等 では |
![]() |
![]() |