No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2710-2710 |
对象态度 和 % 2 是 disjoint |
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 2797-2797 |
考虑 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2784-2784 |
渴望 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7436-7436 |
不赞成 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7408-7408 |
疑惑 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2822-2822 |
知道 是 命题态度 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 2842-2842 |
says 是 命题态度 的 instance |
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 |
|