No TPTP formula. May not be expressible in strict first order. | Merge.kif 15879-15879 | 织品 是 人工制品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5346-5346 | 地毯 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5360-5360 | 毛巾 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5374-5374 | 皮革 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5387-5387 | 丝 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5402-5402 | 羊毛 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5416-5416 | 口袋 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5431-5431 | 毯 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5450-5450 | 棉织物 是 织品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15167-15167 | 窗帘 是 织品 的 subclass |