No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3162-3163 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3159-3160 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3155-3157 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3164-3165 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 3154-3154 |
ComputerDesktopImage e' uma sub-classe de Image |