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 SoupStock and Liquid |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1618-1618 | SoupStock e' uma sub-classe de PreparedFood |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1619-1619 | SoupStock e' uma sub-classe de Soup |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1624-1624 | SoupStock se chama nome "Broth" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54026-54026 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54025-54025 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 54024-54024 |
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 |
|