No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3159-3160 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11012-11012 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11009-11009 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11008-11008 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11010-11010 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11011-11011 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11007-11007 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10020-10020 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3158-3158 |
折页 是 形状变化 的 subclass |