No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5034-5035 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 8630-8630 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9495-9495 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9496-9496 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9491-9491 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9494-9494 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 9497-9497 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5033-5033 |
户外服装 是 服装 的 subclass |