| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | FingerBone est une sous-classe de ArmBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1285-1285 | FingerBone est une sous-classe de Phalanx |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 882-882 | LeftProximalPhalanxIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 886-886 | RightProximalPhalanxIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 890-890 | LeftProximalPhalanxIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 894-894 | RightProximalPhalanxIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 898-898 | LeftProximalPhalanxIIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 902-902 | RightProximalPhalanxIIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 906-906 | LeftProximalPhalanxIVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 910-910 | RightProximalPhalanxIVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 914-914 | LeftProximalPhalanxVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 918-918 | RightProximalPhalanxVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 924-924 | LeftIntermediatePhalanxIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 928-928 | RightIntermediatePhalanxIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 932-932 | LeftIntermediatePhalanxIIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 936-936 | RightIntermediatePhalanxIIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 940-940 | LeftIntermediatePhalanxIVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 944-944 | RightIntermediatePhalanxIVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 948-948 | LeftIntermediatePhalanxVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 952-952 | RightIntermediatePhalanxVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 957-957 | LeftDistalPhalanxIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 961-961 | RightDistalPhalanxIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 965-965 | LeftDistalPhalanxIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 969-969 | RightDistalPhalanxIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 973-973 | LeftDistalPhalanxIIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 977-977 | RightDistalPhalanxIIIBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 981-981 | LeftDistalPhalanxIVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 985-985 | RightDistalPhalanxIVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 989-989 | LeftDistalPhalanxVBone est une sous-classe de FingerBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 993-993 | RightDistalPhalanxVBone est une sous-classe de FingerBone |
|
|