| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17380-17380 | 客观标准 是 规范属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1827-1827 | 设备属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17385-17385 | 比赛属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17404-17404 | 真势属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17467-17467 | 道义属性 是 客观标准 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17519-17519 | 概率属性 是 客观标准 的 subclass |
|
|