No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1077-1077 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1076-1076 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1075-1075 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1078-1078 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 1084-1084 |
Windows Vista 是 WindowsOS 的 subclass |