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 e' uma sub-classe de RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 275-275 |
LeftRibBone e' uma sub-classe de RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 279-279 |
RightRibBone e' uma sub-classe de RibBone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 283-283 |
TrueRibBone e' uma sub-classe de 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 |
|