No TPTP formula. May not be expressible in strict first order. | Merge.kif 828-830 | |
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 1669-1669 | 抽象体 是 实体 的 subclass |