TreeView Knowledge Base Browser

appearance as argument number 1

(instance TwelveApostles GroupOfPeople)	Media.kif 1897-1897	Twelve apostles is an instance of group of people
(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 1898-1904	Twelve apostles is an instance of group of people

appearance as argument number 2

consequent

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

If X is an instance of the year 26 and Y is an instance of the year 100, then the time of existence of Twelve apostles is a part of interval between the beginning of X and the end of Y

statement

(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1912-1912	The number of instances in Twelve apostles is greater than or equal to 11
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1913-1913	The number of instances in Twelve apostles is less than or equal to 12
(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 1917-1925	There exists X such that X is an instance of timeframe, X finishes the time of existence of Jesus of Nazareth, X starts the time of existence of Twelve apostles, and Y Y is a member of Twelve apostles holds during X Jesus of Nazareth is a friend of Y holds during X