No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6156-6156 |
Cereal grain is an industry product type of cereal grain farming |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4126-4126 |
Barley grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4043-4043 |
Maize grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4142-4142 |
Millet grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4121-4121 |
Oat grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4047-4047 |
Rice grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4132-4132 |
Rye grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4137-4137 |
Sorghum grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 4051-4051 |
Wheat grain is a subclass of cereal grain |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13938-13938 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13937-13937 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13936-13936 |
|