| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15922-15922 | 服装 是 可穿戴物品 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5038-5038 | 户外服装 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5052-5052 | 围裙 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5067-5067 | 带 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5081-5081 | 领带服装 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5095-5095 | 披风 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5099-5099 | Mask 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5106-5106 | 领 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5129-5129 | 手套 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5144-5144 | 帽子 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5163-5163 | 长裤 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5178-5178 | 鞋 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5241-5241 | 袜子 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5256-5256 | 衬衫 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5267-5267 | 袖 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5291-5291 | 连衣裙 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5319-5319 | 睡衣 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5470-5470 | 面纱 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26673-26673 | UniformClothing 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3562-3562 | SafetyVest 是 服装 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 415-415 | Oqal 是 服装 的 subclass |
|
|