No TPTP formula. May not be expressible in strict first order. | Merge.kif 17642-17642 | Visual attribute is a subclass of perceptual attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17660-17660 | Color attribute is a subclass of visual attribute |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1876-1876 | GU element state is a subclass of visual attribute |