No TPTP formula. May not be expressible in strict first order. | Merge.kif 15900-15900 | 子類 Clothing and 可穿戴物品 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5039-5039 | 子類 戶外服裝 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5053-5053 | 子類 圍裙 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5068-5068 | 子類 帶 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5082-5082 | 子類 領帶服裝 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5096-5096 | 子類 披風 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5100-5100 | 子類 Mask and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5107-5107 | 子類 領 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5130-5130 | 子類 手套 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5145-5145 | 子類 帽子 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5164-5164 | 子類 長褲 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5179-5179 | 子類 鞋 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5242-5242 | 子類 襪子 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5257-5257 | 子類 襯衫 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5268-5268 | 子類 袖 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5292-5292 | 子類 連衣裙 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5320-5320 | 子類 睡衣 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5471-5471 | 子類 面紗 and Clothing |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26685-26685 | 子類 UniformClothing and Clothing |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3554-3554 | 子類 SafetyVest and Clothing |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 415-415 | 子類 oqal and Clothing |