No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1646-1649 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1641-1644 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1634-1640 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1651-1656 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1659-1659 |
成就 的 1 数量 是 游戏 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1660-1660 |
成就 的 2 数量 是 施事体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1661-1661 |
成就 的 3 数量 是 抽象体 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1658-1658 |
成就 是 三元谓语 的 instance |