| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15900-15900 | V�tement est une sous-classe de WearableItem |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5039-5039 | OutdoorClothing est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5053-5053 | Apron est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5068-5068 | Belt est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5082-5082 | TieClothing est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5096-5096 | Cloak est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5100-5100 | Mask est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5107-5107 | Collar est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5130-5130 | Glove est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5145-5145 | Hat est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5164-5164 | Trousers est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5179-5179 | Shoe est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5242-5242 | Sock est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5257-5257 | Shirt est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5268-5268 | Sleeve est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5292-5292 | Dress est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5320-5320 | Pajamas est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5471-5471 | Veil est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26685-26685 | UniformClothing est une sous-classe de v�tement |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3554-3554 | 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 |
|
|