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	Twelve apostles is an instance of group of people

appearance as argument number 2

domainEnglishFormat.kif 65678-65678

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	There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of Jesus of Nazareth and the time interval starts the time of existence of Twelve apostles and for all an entity if the entity is a member of Twelve apostles holds during the time interval, then Jesus of Nazareth is a friend of the entity holds during the time interval
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1965-1965	The number of instances in Twelve apostles is greater than or equal to 11
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1966-1966	The number of instances in Twelve apostles is less than or equal to 12