| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15900-15900 | Clothing is a subclass of wearable item |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5039-5039 | Outdoor clothing is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5053-5053 | Apron is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5068-5068 | Belt is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5082-5082 | Tie clothing is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5096-5096 | Cloak is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5100-5100 | Mask is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5107-5107 | Collar is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5130-5130 | Glove is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5145-5145 | Hat is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5164-5164 | Trousers is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5179-5179 | Shoe is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5242-5242 | Sock is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5257-5257 | Shirt is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5268-5268 | Sleeve is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5292-5292 | Dress is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5320-5320 | Pajamas is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5471-5471 | Veil is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26685-26685 | Uniform is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3554-3554 | Safety vest is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 415-415 | Oqal is a subclass of clothing |
|
|