No TPTP formula. May not be expressible in strict first order. |
Muscles.kif 1811-1811 |
The origin of articularis genus muscle is FEMUR |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1042-1042 |
Left femur is a subclass of FEMUR |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1047-1047 |
Right femur is a subclass of FEMUR |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1041-1041 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1038-1038 |
|