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 2829-2829 |
Bradycardia 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 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 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 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 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 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 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 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 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 10999-10999 |
Sunburn 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. |
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. |
chinese_format.kif 1087-1087 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1385-1385 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 765-765 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 297-297 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 300-300 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2449-2449 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 717-717 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 336-336 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 786-786 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 301-301 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |