No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12945-12945 |
表示赞同 是 表示 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12958-12958 |
表示不赞成 是 表示 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12983-12983 |
表示告别 是 表示 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13132-13132 |
用语言表达 是 表示 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13165-13165 |
欢迎 是 表示 的 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 |
|