No TPTP formula. May not be expressible in strict first order. | Merge.kif 17649-17649 | 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 |
![]() |