| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | Livestock e' uma sub-classe de DomesticAnimal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4908-4908 | WaterBuffalo e' uma sub-classe de Livestock |
|
|