Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwelveApostles

Sigma KEE - TwelveApostles
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 TwelveApostlesGroupOfPeopleinstance では %n

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 時間間隔 時間間隔時間間隔instance では %n 時間間隔JesusOfNazarethtime の existence を finishes %n{ない} 時間間隔TwelveApostlestime の existence を starts %n{ない} エンティティー
(greaterThanOrEqualTo
    (CardinalityFn TwelveApostles) 11)
Media.kif 1965-1965 TwelveApostlesinstances の数 は 11 greater では %n
(lessThanOrEqualTo
    (CardinalityFn TwelveApostles) 12)
Media.kif 1966-1966 TwelveApostlesinstances の数 は 12 より less または同等 では %n


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners