TreeView 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	TwelveApostles ist ein fall von GroupOfPeople %n{nicht}

appearance as argument number 2

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

Wenn TimeInterval ist ein fall von das jahr 26 %n{nicht} und ** TimeInterval ist ein fall von das jahr 100 %n{nicht},
dann die zeit des Bestehens von TwelveApostles ist ein teil von abstand zwischen der anfang von ** TimeInterval und das ende von ** ** TimeInterval %n{nicht}

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	Es gibt TimeInterval um TimeInterval ist ein fall von TimeInterval %n{nicht} und TimeInterval beendet die zeit des Bestehens von JesusOfNazareth %n{nicht} und TimeInterval beginnt die zeit des Bestehens von TwelveApostles %n{nicht} und fuer alle entity wenn entity ist ein Mitglied von TwelveApostles %n{nicht} haelt waehrend TimeInterval %n{nicht}, dann friend entity and JesusOfNazareth haelt waehrend ** TimeInterval %n{nicht}
(greaterThanOrEqualTo (CardinalityFn TwelveApostles) 11)	Media.kif 1965-1965	Die Zahl Faellen in TwelveApostles ist groesserAlsOderGleich 11 %n{nicht}
(lessThanOrEqualTo (CardinalityFn TwelveApostles) 12)	Media.kif 1966-1966	Die Zahl Faellen in TwelveApostles ist kleinerAlsOderGleich 12 %n{nicht}