No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 209-209 | AppleMacOS est une sous-classe de OperatingSystem |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 210-210 | AppleMacOSSystem1 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 211-211 | AppleMacOSSystem2 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 212-212 | AppleMacOSSystem3 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 213-213 | AppleMacOSSystem4 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 215-215 | AppleMacOSSystem5 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 222-222 | AppleMacOSSystem6 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 228-228 | AppleMacOSSystem7 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 238-238 | AppleMacOSSystem8 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 239-239 | AppleMacOSSystem9 est une sous-classe de AppleMacOS |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 253-253 | AppleMacOSX est une sous-classe de AppleMacOS |