overlapsTemporally |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2717-2719 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8252-8254 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1441-1443 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8249-8249 | 在时间上重叠 的 1 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8250-8250 | 在时间上重叠 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8245-8245 | 在时间上重叠 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8247-8247 | 在时间上重叠 是 自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8248-8248 | 在时间上重叠 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8246-8246 | 在时间上重叠 是 时间关系 的 instance |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 431-431 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 437-437 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 250-250 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 208-208 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2044-2044 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 202-202 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 256-256 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 562-562 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 246-246 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 274-274 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 398-398 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 432-432 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43788-43788 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43787-43787 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 43786-43786 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 399-399 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4958-4976 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 5027-5037 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8256-8262 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8312-8318 |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 968-975 | 整数 是 机构 的 year 资金 若且唯若 有存在 过程 和 那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 year 的 instance 和 那个 过程 是 创建 的 instance 和 那个 机构 是 那个 过程 的 result |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6230-6243 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2917-2933 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2008-2029 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 2031-2052 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13863-13876 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18225-18231 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22347-22355 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 450-463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10311-10319 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2467-2478 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8264-8269 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8320-8325 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1464-1473 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1450-1459 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5778-5797 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8271-8278 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13885-13900 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13902-13915 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8291-8301 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20425-20435 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2280-2290 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21088-21100 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21065-21079 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2558-2563 | |
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. | Mid-level-ontology.kif 7890-7890 | 共同的时代之前 时段 doesn't 和 共同时代 重叠 |
![]() |
![]() |