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 是 生物过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Food.kif 203-203 | Fermentation 是 PreservingFood 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64857-64857 |
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 |