believes |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1941-1942 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2813-2815 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 571-572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2810-2810 | 相信 的 1 数量 是 有认知的主事 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2811-2811 | 相信 的 2 数量 是 公式 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2808-2808 | 相信 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2807-2807 | 相信 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | 相信 是 感兴趣 的 subrelation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 61-61 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 61-61 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 57-57 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 36-36 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1879-1879 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 9-9 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 70-70 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 100-100 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 68-68 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 54-54 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 76-76 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 56-56 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 88-88 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 62-62 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10678-10678 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 10677-10677 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 17-17 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 89-89 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2443-2457 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2191-2205 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 484-496 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 349-366 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2817-2820 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17332-17345 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 2673-2682 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 228-235 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12014-12026 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 257-270 | |
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. | Government.kif 2362-2369 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2443-2457 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2365-2384 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10863-10870 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12092-12106 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4195-4210 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21432-21443 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13142-13148 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 922-929 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1551-1558 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1569-1576 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2191-2205 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2096-2114 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15400-15407 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15431-15440 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 212-218 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 484-496 | |
No TPTP formula. May not be expressible in strict first order. | Weather.kif 349-366 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |