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 and CognitiveAgent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2811-2811 | 域 相信, 2 and Formula |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2808-2808 | 例 相信 and BinaryPredicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2807-2807 | 例 相信 and PropositionalAttitude |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2809-2809 | 子關係 相信 and 在感興趣的範圍內 |
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 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17354-17367 |
|
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 12036-12048 | |
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 2439-2453 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2361-2380 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10885-10892 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12114-12128 | |
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 21431-21442 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13164-13170 | |
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 2187-2201 |
|
No TPTP formula. May not be expressible in strict first order. | Weather.kif 2092-2110 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15422-15429 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15453-15462 |
|
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 |