| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10191-10191 | Processo de Orgao or Tecido e' uma sub-classe de AutonomicProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10486-10486 | 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 10528-10528 | MuscularContraction 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 10550-10550 | MuscleRelaxing 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 10714-10714 | HeartBeat 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 10999-10999 | Sunburn 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 11016-11016 | Tanning 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 11539-11539 | Ossification 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 12384-12384 | Inflammation 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 23871-23871 | Menstruation 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 23963-23963 | Fertilisation 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 24029-24029 | Organification 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 24040-24040 | BiologicalConception e' uma sub-classe de Processo de Orgao or Tecido |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2809-2809 | Tachycardia e' uma sub-classe de Processo de Orgao or Tecido |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2829-2829 | Bradycardia e' uma sub-classe de Processo de Orgao or Tecido |
|
|