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. | Economy.kif 4401-4401 | Flavour attribute is a subclass of taste attribute |