No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5096-5096 | 披风 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 437-437 | Jallabiyyah 是 披风 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 449-449 | Dishdashah 是 披风 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 513-513 | Jilbab 是 披风 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 527-527 | 阿巴亚 是 披风 的 subclass |