No TPTP formula. May not be expressible in strict first order. | Merge.kif 17706-17706 | Attribut gustatif est une sous-classe de attribute de perception |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4401-4401 | FlavourAttribute est une sous-classe de attribut gustatif |