MimeMessage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4052-4053 | |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4051-4051 | Wheat grain is a subclass of cereal grain |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 6163-6163 | Wheat grain is an industry product type of wheat farming |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1490-1490 | Every wheat flour is initially part of a wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4059-4059 | Common wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4071-4071 | Durum wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4091-4091 | Einkorn wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4081-4081 | Emmer wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4101-4101 | Spelt wheat grain is a subclass of wheat grain |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62975-62975 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62974-62974 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62973-62973 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1499-1501 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4055-4057 |
|