| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1700-1700 | 属性 是 抽象体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 3100-3100 | AirQualityAQIAttribute 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 293-293 | ListingAttribute 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 643-643 | AccountAttribute 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 1630-1630 | TransactionAttribute 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 4400-4400 | ExperimentAttribute 是 属性 的 subclass |
| 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. | Merge.kif 1815-1815 | 关联属性 是 属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | 气候区 是 属性 的 subclass |
|
|