Door
|
|
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 est une sous-classe de processus biologique |
No TPTP formula. May not be expressible in strict first order. | Food.kif 203-203 | Fermentation est une sous-classe de PreservingFood |
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 |