No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5470-5470 | Veil est une sous-classe de v�tement |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 462-462 | Niqab est une sous-classe de Veil |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 481-481 | Khimar est une sous-classe de Veil |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 500-500 | Hijab est une sous-classe de Veil |