No TPTP formula. May not be expressible in strict first order. | Economy.kif 6115-6115 | 首饰 是 个人装饰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6116-6116 | 首饰 是 可穿戴物品 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6110-6110 | 珍珠 是 首饰 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 544-544 | Misbaha 是 首饰 的 subclass |