No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4164-4164 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4161-4161 |
accountUsed 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4162-4162 |
accountUsed 的 2 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4160-4160 |
accountUsed 是 格角色 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4163-4163 |
accountUsed 是 受事 的 subrelation |