No TPTP formula. May not be expressible in strict first order. | Merge.kif 17664-17664 | Visual attribute is a subclass of perceptual attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17682-17682 | 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 |