| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1804-1804 | 内在属性 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 383-383 | 轨距 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1860-1860 | 设备状态属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19250-19250 | 语言属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19664-19664 | 易碎性属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1810-1810 | 物理属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17541-17541 | 物质状态 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17723-17723 | StructureAttribute 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17985-17985 | 饱和属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18023-18023 | 生物属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1737-1737 | 地形属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2600-2600 | 生物多样性属 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4064-4064 | 火山状况 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7334-7334 | 可溶性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 44-44 | 词典类别 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 209-209 | 方程属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 229-229 | Algebro微分属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 254-254 | 物理域 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 319-319 | 多极属性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 705-705 | 非线性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 711-711 | 反弹性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 715-715 | 无刷 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 725-725 | 自主性 是 内在属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1369-1369 | Web文档属性 是 内在属性 的 subclass |
|
|