No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 877-877 |
FingerBone 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 691-691 |
Humerus 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 829-829 |
PalmBone 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 722-722 |
Radius 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 704-704 |
Ulna 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 741-741 |
WristBone 是 ArmBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 686-686 |
|