No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21404-21404 |
Bleeding e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21497-21497 |
Blushing e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10386-10386 |
Breath e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10276-10276 |
Respirar e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10319-10319 |
Digesting e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10342-10342 |
Crescimento e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10205-10205 |
Processo de Orgao or Tecido e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20015-20015 |
ReflexiveProcess e' uma sub-classe de AutonomicProcess |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20008-20008 |
Trembling e' uma sub-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 |
|