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 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3779-3779 | 域 原因, 2 and Process |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3777-3777 | 例 原因 and AsymmetricRelation |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3776-3776 | 例 原因 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3780-3780 | 相關的內部概念 原因 and 導致子類 |
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 | 例 Process and 退出 例 金融賬戶 and 金融賬戶 起源 Process and 金融賬戶 的 currency Process 例 Process and 罰款 目的地 Process and 金融賬戶 的 currency 原因 Process and Process 金融賬戶 的 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 | 方式 Process and Harmless 例 Process and Damaging Process 例 Process and Damaging 子過程 Process and Process Process 例 Process and Damaging 原因 Process and Process |
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 |