No TPTP formula. May not be expressible in strict first order. | Merge.kif 17614-17614 | Perceptual attribute is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13596-13596 | Sound attribute is a subclass of perceptual attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17627-17627 | Taste attribute is a subclass of perceptual attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17638-17638 | Olfactory attribute is a subclass of perceptual attribute |
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 17762-17762 | Texture attribute is a subclass of perceptual attribute |