No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19672-19672 |
相反的屬性 牢不可破 and 脆弱 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19673-19674 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12092-12092 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10316-10316 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12093-12093 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12094-12094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 12096-12096 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19671-19671 |
例 牢不可破 and 易碎性屬性 |