starts |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2701-2703 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8040-8042 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1424-1426 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8037-8037 | 开始 的 1 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8038-8038 | 开始 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8035-8035 | 开始 是 非自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8033-8033 | 开始 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8036-8036 | 开始 是 总值关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8034-8034 | 开始 是 传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8032-8032 | 开始 是 时间部分 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 419-419 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 425-425 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 244-244 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 269-269 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2038-2038 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 196-196 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 249-249 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 544-544 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 306-306 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 265-265 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 265-265 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 461-461 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55074-55074 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 420-420 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55073-55073 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55072-55072 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 538-547 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 473-482 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 559-568 | |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1254-1268 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8044-8052 |
consequent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2881-2897 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2854-2870 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8054-8062 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 3754-3764 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 487-499 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21474-21489 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16380-16389 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16294-16299 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11305-11328 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16395-16404 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9409-9414 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9435-9445 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8795-8801 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19095-19102 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1025-1034 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8879-8886 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8456-8463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8535-8537 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17300-17306 | |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 285-299 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 305-319 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8901-8908 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19109-19116 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 424-429 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17070-17076 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1970-1978 | 有存在 时距 这样 那个 时距 是 时距 的 instance 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
|