| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15972-15972 | 服装 是 可穿戴物品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5033-5033 | 户外服装 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5047-5047 | 围裙 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5062-5062 | 带 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5076-5076 | 领带服装 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5090-5090 | 披风 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5094-5094 | Mask 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5101-5101 | 领 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5124-5124 | 手套 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5139-5139 | 帽子 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5158-5158 | 长裤 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5173-5173 | 鞋 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5236-5236 | 袜子 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5251-5251 | 衬衫 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5262-5262 | 袖 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5286-5286 | 连衣裙 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5314-5314 | 睡衣 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5465-5465 | 面纱 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26718-26718 | UniformClothing 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3539-3539 | SafetyVest 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 415-415 | Oqal 是 服装 的 subclass |
|
|