No TPTP formula. May not be expressible in strict first order. | Merge.kif 17729-17729 | 形状属性 是 StructureAttribute 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 154-154 | 分子结构属性 是 形状属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12532-12532 | 指纹 是 形状属性 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17780-17780 | 几何图 是 形状属性 的 subclass |