No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4047-4049 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4044-4044 |
implementsProtocol 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4045-4045 |
implementsProtocol 的 2 数量 是 电脑协定 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4043-4043 |
implementsProtocol 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4050-4050 |
implementsProtocol 是 表示 的 subrelation |