No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3226-3226 |
油画 是 画的图片 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3147-3147 |
肖像 是 画的图片 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3108-3108 |
水彩图片 是 画的图片 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44028-44028 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44027-44027 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44026-44026 |
|