| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2710-2710 |
不相交的 ObjectAttitude and PropositionalAttitude |
| 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 2797-2797 |
例 考慮 and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2784-2784 |
例 慾望 and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7436-7436 |
例 不贊成 and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7408-7408 |
例 疑惑 and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2822-2822 |
例 知道 and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2842-2842 |
例 says and PropositionalAttitude |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 908-908 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1023-1023 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 584-584 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 114-114 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 117-117 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2269-2269 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 536-536 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 151-151 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 605-605 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 118-118 |
|
PropositionalAttitude