|
|
   FingerBone
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 879-879 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | %每個 FingerBone 是 手 的 initially part |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | 子類 FingerBone and ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1285-1285 | 子類 FingerBone and Phalanx |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 957-957 | 子類 LeftDistalPhalanxIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 965-965 | 子類 LeftDistalPhalanxIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 973-973 | 子類 LeftDistalPhalanxIIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 981-981 | 子類 LeftDistalPhalanxIVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 989-989 | 子類 LeftDistalPhalanxVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 924-924 | 子類 LeftIntermediatePhalanxIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 932-932 | 子類 LeftIntermediatePhalanxIIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 940-940 | 子類 LeftIntermediatePhalanxIVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 948-948 | 子類 LeftIntermediatePhalanxVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 882-882 | 子類 LeftProximalPhalanxIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 890-890 | 子類 LeftProximalPhalanxIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 898-898 | 子類 LeftProximalPhalanxIIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 906-906 | 子類 LeftProximalPhalanxIVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 914-914 | 子類 LeftProximalPhalanxVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 961-961 | 子類 RightDistalPhalanxIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 969-969 | 子類 RightDistalPhalanxIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 977-977 | 子類 RightDistalPhalanxIIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 985-985 | 子類 RightDistalPhalanxIVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 993-993 | 子類 RightDistalPhalanxVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 928-928 | 子類 RightIntermediatePhalanxIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 936-936 | 子類 RightIntermediatePhalanxIIIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 944-944 | 子類 RightIntermediatePhalanxIVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 952-952 | 子類 RightIntermediatePhalanxVBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 886-886 | 子類 RightProximalPhalanxIBone and FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 894-894 | 子類 RightProximalPhalanxIIBone and FingerBone |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | 劃分 Phalanx, ToeBone and FingerBone |
|
|
|