LeftFalseRib10Bone
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2526-2538 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2525-2525 | VitaminB5 est une sous-classe de VitaminBComplex |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2540-2540 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2539-2539 |