TwelveApostles
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1951-1957 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1950-1950 | TwelveApostles 是 一群人 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65630-65630 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1959-1963 |
statement |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | 有存在 时距 这样 那个 时距 是 时距 的 instance 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 1965-1965 | TwelveApostles instance 的数量 是 greaterThanOrEqualTo 11 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1966-1966 | TwelveApostles instance 的数量 是 lessThanOrEqualTo 12 |