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 8230-8232 | |
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 8227-8227 | 在时间上重叠 的 1 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8228-8228 | 在时间上重叠 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8223-8223 | 在时间上重叠 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8225-8225 | 在时间上重叠 是 自反关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8226-8226 | 在时间上重叠 是 对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8224-8224 | 在时间上重叠 是 时间关系 的 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 8234-8240 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8290-8296 |
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 6231-6244 | |
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 13841-13854 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18203-18209 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22348-22356 | |
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 10289-10297 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2471-2482 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8242-8247 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8298-8303 | |
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 5779-5798 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8249-8256 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13863-13878 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13880-13893 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8269-8279 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20426-20436 | |
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 21089-21101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21066-21080 | |
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 7891-7891 | 共同的时代之前 时段 doesn't 和 共同时代 重叠 |