No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19700-19700 |
相反的屬性 牢不可破 and 脆弱 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19701-19702 |
|
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 19699-19699 |
例 牢不可破 and 易碎性屬性 |