|
|
   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 | initialPart FingerBone and Hand |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | FingerBone e' uma sub-classe de ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1285-1285 | FingerBone e' uma sub-classe de Phalanx |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 957-957 | LeftDistalPhalanxIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 965-965 | LeftDistalPhalanxIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 973-973 | LeftDistalPhalanxIIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 981-981 | LeftDistalPhalanxIVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 989-989 | LeftDistalPhalanxVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 924-924 | LeftIntermediatePhalanxIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 932-932 | LeftIntermediatePhalanxIIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 940-940 | LeftIntermediatePhalanxIVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 948-948 | LeftIntermediatePhalanxVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 882-882 | LeftProximalPhalanxIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 890-890 | LeftProximalPhalanxIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 898-898 | LeftProximalPhalanxIIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 906-906 | LeftProximalPhalanxIVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 914-914 | LeftProximalPhalanxVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 961-961 | RightDistalPhalanxIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 969-969 | RightDistalPhalanxIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 977-977 | RightDistalPhalanxIIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 985-985 | RightDistalPhalanxIVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 993-993 | RightDistalPhalanxVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 928-928 | RightIntermediatePhalanxIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 936-936 | RightIntermediatePhalanxIIIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 944-944 | RightIntermediatePhalanxIVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 952-952 | RightIntermediatePhalanxVBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 886-886 | RightProximalPhalanxIBone e' uma sub-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 894-894 | RightProximalPhalanxIIBone e' uma sub-classe de 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 | O conceito Phalanx e' completamente decomposto em ToeBone + FingerBone |
|
|
|