| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2106-2106 |
Bitterness 是 味觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2114-2114 |
Saltiness 是 味觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2110-2110 |
Sourness 是 味觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2102-2102 |
Sweetness 是 味觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Food.kif 2118-2118 |
UmamiTaste 是 味觉属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4401-4401 |
FlavourAttribute 是 味觉属性 的 subclass |
| 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 |
|
