No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21376-21376 |
Bleeding est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21469-21469 |
Blushing est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10358-10358 |
Breath est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10262-10262 |
Respirer est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10305-10305 |
Digesting est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10328-10328 |
Grandir est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10191-10191 |
Organ or tissueprocess est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19987-19987 |
ReflexiveProcess est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19980-19980 |
Trembling est une sous-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9300-9300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9299-9299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 9298-9298 |
|