|
|
  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 1951-1957 | |
| (instance TwelveApostles GroupOfPeople) | Media.kif 1950-1950 | TwelveApostles est une instance de GroupOfPeople |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TwelveApostles "Twelve apostles") | 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 | Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� |
| (greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11) |
Media.kif 1965-1965 | Le nombre d' instances dans TwelveApostles est plus grand ou �gal � 11 |
| (lessThanOrEqualTo (CardinalityFn TwelveApostles) 12) |
Media.kif 1966-1966 | Le nombre d' instances dans TwelveApostles est plus petit ou �gal � 12 |
|
|
|