| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17745-17745 | StructureAttribute 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17751-17751 | 形状属性 是 StructureAttribute 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7128-7128 | 晶体结构 是 StructureAttribute 的 subclass |
|
|