No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 896-896 |
muscleInsertion IliocostalisMuscle and RibBone |
No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1260-1260 |
muscleOrigin SerratusAnteriorMuscle and RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 287-287 |
子類 FloatingRibBone and RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 275-275 |
子類 LeftRibBone and RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 279-279 |
子類 RightRibBone and RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 283-283 |
子類 TrueRibBone and RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 272-272 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11262-11262 |
|