No TPTP formula. May not be expressible in strict first order. | Merge.kif 15900-15900 | 服装 是 可穿戴物品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5039-5039 | 户外服装 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5053-5053 | 围裙 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5068-5068 | 带 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5082-5082 | 领带服装 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5096-5096 | 披风 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5100-5100 | Mask 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5107-5107 | 领 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5130-5130 | 手套 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5145-5145 | 帽子 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5164-5164 | 长裤 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5179-5179 | 鞋 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5242-5242 | 袜子 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5257-5257 | 衬衫 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5268-5268 | 袖 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5292-5292 | 连衣裙 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5320-5320 | 睡衣 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5471-5471 | 面纱 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26685-26685 | UniformClothing 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3554-3554 | SafetyVest 是 服装 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 415-415 | Oqal 是 服装 的 subclass |