No TPTP formula. May not be expressible in strict first order. | Economy.kif 4887-4887 | Livestock est une sous-classe de DomesticAnimal |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 4908-4908 | WaterBuffalo est une sous-classe de Livestock |