| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15922-15922 | Clothing is a subclass of wearable item |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5038-5038 | Outdoor clothing is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5052-5052 | Apron is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5067-5067 | Belt is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5081-5081 | Tie clothing is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5095-5095 | Cloak is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5099-5099 | Mask is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5106-5106 | Collar is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5129-5129 | Glove is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5144-5144 | Hat is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5163-5163 | Trousers is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5178-5178 | Shoe is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5241-5241 | Sock is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5256-5256 | Shirt is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5267-5267 | Sleeve is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5291-5291 | Dress is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5319-5319 | Pajamas is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5470-5470 | Veil is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26673-26673 | Uniform is a subclass of clothing |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3562-3562 | 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 |
|
|