|
|
   LeftRibBone
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 277-277 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | 子類 LeftRibBone and RibBone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 449-449 | 子類 LeftFalseRib10Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 464-464 | 子類 LeftFalseRib11Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 481-481 | 子類 LeftFalseRib12Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 419-419 | 子類 LeftFalseRib8Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 434-434 | 子類 LeftFalseRib9Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 298-298 | 子類 LeftTrueRib1Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 313-313 | 子類 LeftTrueRib2Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 328-328 | 子類 LeftTrueRib3Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 343-343 | 子類 LeftTrueRib4Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 358-358 | 子類 LeftTrueRib5Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 373-373 | 子類 LeftTrueRib6Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 388-388 | 子類 LeftTrueRib7Bone and LeftRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 276-276 |
|
|
|