No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 209-209 | AppleMacOS e' uma sub-classe de OperatingSystem |
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 |
![]() |