| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10192-10192 |
不相交的 OrganOrTissueProcess and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10212-10212 |
子類 Birth and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10359-10359 |
子類 Breath and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10261-10261 |
子類 Breathing and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6031-6031 |
子類 Coughing and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10228-10228 |
子類 Death and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10304-10304 |
子類 消化 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2112-2112 |
子類 Excreting and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10268-10268 |
子類 Ingesting and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24111-24111 |
子類 下蛋 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24094-24094 |
子類 交配 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21428-21428 |
子類 Nausea and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6245-6245 |
子類 從疾病中恢復過來 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10333-10333 |
子類 Replication and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6109-6109 |
子類 Sneezing and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13738-13738 |
子類 發聲 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21404-21404 |
子類 Vomiting and OrganismProcess |
| 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 |
OrganismProcess