| SoupStock(高湯)
| |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1621-1623 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8726-8726 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9674-9674 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9675-9675 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1620-1620 | roomTempState 高湯 and 液體 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1618-1618 | 子類 高湯 and 已準備食物 |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1619-1619 | 子類 高湯 and Soup |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1624-1624 | 名 "Broth" and 高湯 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54024-54024 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54023-54023 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54022-54022 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1641-1643 | |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1626-1631 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Food.kif 1633-1639 |
|
|
|