No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 225-225 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 224-224 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 223-223 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 226-226 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 222-222 |
AppleMacOSSystem6 e' uma sub-classe de AppleMacOS |