No TPTP formula. May not be expressible in strict first order. | Merge.kif 17649-17649 | 子類 TasteAttribute and PerceptualAttribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4401-4401 | 子類 FlavourAttribute and TasteAttribute |
![]() |