| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10192-10192 |
Processo de Orgao or Tecido e' disjunto de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10212-10212 |
Nascimento e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10359-10359 |
Breath e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10261-10261 |
Respirar e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6031-6031 |
Coughing e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10228-10228 |
Morte e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10304-10304 |
Digesting e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2112-2112 |
Excreting e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10268-10268 |
Ingerir e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24111-24111 |
LayingEggs e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24094-24094 |
Mating e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21428-21428 |
Nausea e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6245-6245 |
RecoveringFromIllness e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10333-10333 |
Reproducao e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6109-6109 |
Sneezing e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13738-13738 |
Vocalizing e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21404-21404 |
Vomiting e' uma sub-classe de Processo Organico |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1075-1075 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1361-1361 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 753-753 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 285-285 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 288-288 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2437-2437 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 705-705 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
