causes |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2065-2067 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3783-3785 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 711-713 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3778-3778 | 引起 的 1 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3779-3779 | 引起 的 2 数量 是 过程 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3777-3777 | 引起 是 非对称关系 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3776-3776 | 引起 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3780-3780 | 引起 和 导致子类 是 内部相关 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 71-71 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 71-71 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 60-60 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 42-42 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1884-1884 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 12-12 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 76-76 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 114-114 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 77-77 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 84-84 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 79-79 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 59-59 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 100-100 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13500-13500 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 72-72 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13499-13499 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13498-13498 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 20-20 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 101-101 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1818-1828 | 过程 是 退出 的 instance 和 金融账户 是 金融账户 的 instance 和 那个 金融账户 的 currency 是 那个 过程 的源头 和 不存在 另一个 过程 这样 那个 另外 过程 是 罚款 的 instance 和 那个 另外 过程 在 那个 金融账户 的 currency 结束 和 那个 过程 causes 那个 另外 过程 若且唯若 那个 金融账户 的 liqudity 是 高流动性 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3331-3341 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2440-2445 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3516-3523 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 44-59 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2196-2203 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 777-792 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4927-4942 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2114-2133 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3795-3797 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3787-3789 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30296-30310 | 过程 是以 Harmless 的形式发生 若且唯若 那个 过程 不 是 损坏 的 instance 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程2%n是那个 过程的subProcess 和 不存在 那个 过程2 这样 那个 过程2 是 损坏 的 instance 和 那个 过程 causes 那个 过程2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3040-3054 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3022-3038 |
|
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1923-1939 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6470-6482 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6447-6459 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1545-1555 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2230-2239 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1115-1124 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 1256-1264 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 693-707 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1838-1856 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1817-1836 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 349-361 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 980-992 | |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1087-1099 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2000-2008 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 119-127 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 129-137 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2516-2530 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4357-4374 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2730-2744 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 2065-2073 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6429-6439 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |