No TPTP formula. May not be expressible in strict first order. |
Food.kif 2106-2106 |
Bitterness e' uma instancia de Atributo Gustativo |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2114-2114 |
Saltiness e' uma instancia de Atributo Gustativo |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2110-2110 |
Sourness e' uma instancia de Atributo Gustativo |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2102-2102 |
Sweetness e' uma instancia de Atributo Gustativo |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2118-2118 |
UmamiTaste e' uma instancia de Atributo Gustativo |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4401-4401 |
FlavourAttribute e' uma sub-classe de Atributo Gustativo |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1249-1249 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1719-1719 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 927-927 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 461-461 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 464-464 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2611-2611 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 879-879 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cb.txt 466-466 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 500-500 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 948-948 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 465-465 |
|