No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 610-610 |
子類 Catalina and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 568-568 |
子類 High Sierra and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 589-589 |
子類 Mojave and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 546-546 |
子類 Sierra and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 294-294 |
子類 Cheetah and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 315-315 |
子類 Mac OS Puma and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 336-336 |
子類 Jaguar and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 525-525 |
子類 El Capitan and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 399-399 |
子類 Leopard and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 443-443 |
子類 Lion and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 482-482 |
子類 Mavericks and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 464-464 |
子類 Mountain Lion and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 357-357 |
子類 Panther and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 274-274 |
子類 Kodiak and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 421-421 |
子類 Snow Leopard and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 378-378 |
子類 Tiger and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 504-504 |
子類 Yosemite and AppleMacOSX |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64468-64468 |
|