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 |