No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3154-3154 | ComputerDesktopImage 是 Image 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3176-3176 | 主頁面 是 ComputerDesktopImage 的 subclass |