No TPTP formula. May not be expressible in strict first order. | Merge.kif 17649-17649 | Atributo Gustativo e' uma sub-classe de Atributo de Percepcao |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4401-4401 | FlavourAttribute e' uma sub-classe de Atributo Gustativo |
![]() |