Fermentation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3543-3546 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3542-3542 | Fermentation is a subclass of biological process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 203-203 | Fermentation is a subclass of preserving food |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64855-64855 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3692-3699 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3547-3554 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 211-216 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3157-3164 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3479-3486 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 3570-3575 |
|