|
|
  JesusOfNazareth
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1923-1928 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1918-1918 | JesusOfNazareth 是 人 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1919-1919 | JesusOfNazareth 是 宗教的犹太人 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1930-1930 | "Jesus" 是 JesusOfNazareth 的 given name |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1931-1931 | "Yehoshua" 是 JesusOfNazareth 的 given name |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1933-1933 | "Yeshua" 是 JesusOfNazareth 的 given name |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65054-65054 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1936-1941 | |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1943-1948 |
| 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 1920-1920 | JesusOfNazareth 是 located 在 巴勒斯坦 在 JesusOfNazareth 出现 的 time holdsDuring |
|
|
|