No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 210-210 |
AppleMacOSSystem1 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 211-211 |
AppleMacOSSystem2 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 212-212 |
AppleMacOSSystem3 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 213-213 |
AppleMacOSSystem4 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 215-215 |
AppleMacOSSystem5 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 222-222 |
AppleMacOSSystem6 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 228-228 |
AppleMacOSSystem7 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 238-238 |
AppleMacOSSystem8 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 239-239 |
AppleMacOSSystem9 e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 253-253 |
AppleMacOSX e' uma sub-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 250-250 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 249-249 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 248-248 |
|
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 251-251 |
|