No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12724-12724 |
踝 是 身体关节 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12735-12735 |
手肘 是 身体关节 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12802-12802 |
髋关节 是 身体关节 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12769-12769 |
膝盖 是 身体关节 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12792-12792 |
指关节 是 身体关节 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12746-12746 |
腕 是 身体关节 的 subclass |
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 |
|