No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12751-12751 |
Ankle est une sous-classe de BodyJoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12762-12762 |
Elbow est une sous-classe de BodyJoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12829-12829 |
HipJoint est une sous-classe de BodyJoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12796-12796 |
Knee est une sous-classe de BodyJoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12819-12819 |
Knuckle est une sous-classe de BodyJoint |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12773-12773 |
Wrist est une sous-classe de BodyJoint |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11477-11477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11476-11476 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11475-11475 |
|