No TPTP formula. May not be expressible in strict first order. | Merge.kif 17636-17636 | Perceptual attribute is a subclass of relational attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13618-13618 | Sound attribute is a subclass of perceptual attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17649-17649 | Taste attribute is a subclass of perceptual attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17660-17660 | Olfactory attribute is a subclass of perceptual attribute |
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 17784-17784 | Texture attribute is a subclass of perceptual attribute |
![]() |