| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10170-10170 |
不相交的 OrganOrTissueProcess and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10190-10190 |
子類 Birth and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10360-10360 |
子類 Breath and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10239-10239 |
子類 Breathing and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6032-6032 |
子類 Coughing and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10206-10206 |
子類 Death and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10282-10282 |
子類 消化 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 10246-10246 |
子類 Ingesting and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24112-24112 |
子類 下蛋 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24095-24095 |
子類 交配 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21429-21429 |
子類 Nausea and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6246-6246 |
子類 從疾病中恢復過來 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10311-10311 |
子類 Replication and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6110-6110 |
子類 Sneezing and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13716-13716 |
子類 發聲 and OrganismProcess |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21405-21405 |
子類 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 |
