No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4413-4415 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4411-4411 |
accountInformation 的 1 数量 是 用户帐号 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4412-4412 |
accountInformation 的 2 数量 是 命题 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4410-4410 |
accountInformation 是 二元谓语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4409-4409 |
accountInformation 是 包含信息 的 subrelation |