No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3154-3154 | Computer desktop image is a subclass of image |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 3176-3176 | Home screen is a subclass of computer desktop image |