No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10514-10514 | Clotting e' uma sub-classe de Processo de Orgao or Tecido |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10515-10515 | Clotting e' uma sub-classe de Mudanca de Estado |