| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12946-12946 |
表示赞同 是 表示 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12959-12959 |
表示不赞成 是 表示 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12984-12984 |
表示告别 是 表示 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13133-13133 |
用语言表达 是 表示 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13166-13166 |
欢迎 是 表示 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1204-1204 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1625-1625 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 882-882 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 415-415 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 418-418 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2566-2566 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 834-834 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 420-420 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 454-454 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 903-903 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 419-419 |
|
