No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4012-4012 |
BarleyGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3821-3821 |
MaizeGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4017-4017 |
MilletGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4007-4007 |
OatGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3817-3817 |
PaddyRice e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4000-4000 |
RyeGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3826-3826 |
SorghumGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3860-3860 |
WheatGrass e' uma sub-classe de CerealGrass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13950-13950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13949-13949 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13948-13948 |
|