| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15922-15922 | V�tement est une sous-classe de WearableItem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5038-5038 | OutdoorClothing est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5052-5052 | Apron est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5067-5067 | Belt est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5081-5081 | TieClothing est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5095-5095 | Cloak est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5099-5099 | Mask est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5106-5106 | Collar est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5129-5129 | Glove est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5144-5144 | Hat est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5163-5163 | Trousers est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5178-5178 | Shoe est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5241-5241 | Sock est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5256-5256 | Shirt est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5267-5267 | Sleeve est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5291-5291 | Dress est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5319-5319 | Pajamas est une sous-classe de v�tement |
| 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. | Mid-level-ontology.kif 26673-26673 | UniformClothing est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3562-3562 | SafetyVest est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 415-415 | Oqal est une sous-classe de v�tement |
|
|