| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5470-5470 | Veil e' uma sub-classe de Roupa |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 462-462 | Niqab e' uma sub-classe de Veil |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 481-481 | Khimar e' uma sub-classe de Veil |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 500-500 | Hijab e' uma sub-classe de Veil |
|
|