| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10192-10192 |
Organ or tissueprocess est disjoint de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10212-10212 |
Naissance est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10359-10359 |
Breath est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10261-10261 |
Respirer est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6031-6031 |
Coughing est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10228-10228 |
Mort est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10304-10304 |
Digesting est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2112-2112 |
Excreting est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10268-10268 |
Ing�rer est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24111-24111 |
LayingEggs est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 24094-24094 |
Mating est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21428-21428 |
Nausea est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6245-6245 |
RecoveringFromIllness est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10333-10333 |
Reproduction est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6109-6109 |
Sneezing est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13738-13738 |
Vocalizing est une sous-classe de fonction physiologique |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21404-21404 |
Vomiting est une sous-classe de fonction physiologique |
| 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 |
HourDuration