No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3154-3154 | 子類 ComputerDesktopImage and Image |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3176-3176 | 子類 主頁面 and ComputerDesktopImage |