|
|
   AppleMacOSX
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 755-755 | IMac 应该可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 814-814 | Macbook 应该可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 799-799 | Macbook Air 应该可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 784-784 | Macbook Pro 应该可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 769-769 | Mac Pro 应该可以 ComputerProcess AppleMacOSX |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 253-253 | AppleMacOSX 是 Mac OS 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 610-610 | Catalina 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 568-568 | High Sierra 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 589-589 | Mojave 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 546-546 | Sierra 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 294-294 | Cheetah 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 315-315 | Puma 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 336-336 | Jaguar 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 525-525 | El Capitan 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 399-399 | Leopard 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 443-443 | Lion 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 482-482 | Mavericks 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 464-464 | Mountain Lion 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 357-357 | Panther 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 274-274 | Kodiak 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 421-421 | Snow Leopard 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 378-378 | Tiger 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 504-504 | Yosemite 是 AppleMacOSX 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64468-64468 |
|
|
|