|
|
   Soup
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1648-1648 | 不相交的 Soup and Beverage |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1647-1647 | 不相交的 Soup and Sauce |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1649-1649 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1646-1646 | roomTempState Soup and 液體 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1645-1645 | 子類 Soup and CookedDish |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1619-1619 | 子類 高湯 and Soup |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1650-1650 |
|
|
|