No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 612-612 | IPad is a subclass of tablet computer |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 613-613 | IPad is a subclass of Apple Computer |