No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3863-3864 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3865-3865 |
softwareVersion 的 1 数量 是 电脑程序 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3866-3866 |
softwareVersion 的 2 数量 是 VersionAttribute 的 instance |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3862-3862 |
softwareVersion 是 二元关系 的 instance |