meetsTemporally |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2722-2723 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8351-8353 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1446-1448 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8348-8348 | 在时间上接着 的 1 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8349-8349 | 在时间上接着 的 2 数量 是 时距 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8345-8345 | 在时间上接着 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8343-8343 | 在时间上接着 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8346-8346 | 在时间上接着 是 非传递关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8344-8344 | 在时间上接着 是 时间关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8347-8347 | 在时间上接着 是 总值关系 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 435-435 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 441-441 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 252-252 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 180-180 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2046-2046 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 204-204 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 258-258 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 568-568 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 218-218 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 273-273 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 276-276 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 356-356 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 436-436 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36923-36923 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36922-36922 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36921-36921 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9343-9352 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 155-166 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 437-444 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 446-453 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9243-9250 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 387-394 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 396-403 | |
No TPTP formula. May not be expressible in strict first order. | Media.kif 376-385 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1314-1326 |
|
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 660-670 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8355-8359 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8367-8374 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1207-1224 |
|
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 450-463 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8625-8630 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9321-9328 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9269-9276 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9334-9341 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9343-9352 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9308-9315 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9282-9289 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9295-9302 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11986-11993 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3234-3250 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17280-17288 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8944-8951 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 643-661 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8651-8656 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8678-8683 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9130-9134 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9186-9190 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9243-9250 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9102-9106 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9078-9082 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9172-9176 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9158-9162 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |