| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12946-12946 |
子類 表示贊同 and Expressing |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12959-12959 |
子類 表示不贊成 and Expressing |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12984-12984 |
子類 表示告別 and Expressing |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13133-13133 |
子類 用語言表達 and Expressing |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13166-13166 |
子類 歡迎 and Expressing |
| 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 |
|
Expressing