| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 337-352 |
|
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 372-387 |
|
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 354-370 |
|
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 51-62 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 832-832 | 物理 是 实体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 846-846 | 客体 是 物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1304-1304 | 内容承载物理 是 物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1622-1622 | 过程 是 物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 6121-6121 | 物理系统 是 物理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 41-41 | 金融资产 是 物理 的 subclass |
|
|