No TPTP formula. May not be expressible in strict first order. | Merge.kif 14703-14703 | Nutriente e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14710-14710 | Proteina e' uma sub-classe de Nutriente |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14720-14720 | Carbohidrato e' uma sub-classe de Nutriente |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14726-14726 | Vitamina e' uma sub-classe de Nutriente |