| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5465-5465 | 面纱 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 462-462 | 面纱 是 面纱 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 481-481 | Khimar 是 面纱 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 500-500 | 盖头 是 面纱 的 subclass |
|
|