No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1221-1221 |
intialPart BoneMarrow and Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 685-685 |
ArmBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 18-18 |
Osso e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1026-1026 |
Coccyx e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1099-1099 |
FootBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 52-52 |
HeadBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11510-11510 |
Horn e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11521-11521 |
Ivory e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1032-1032 |
LegBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1000-1000 |
PelvicBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1283-1283 |
Phalanx e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11231-11231 |
RibBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1017-1017 |
Sacrum e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 213-213 |
ShoulderGirdleBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 246-246 |
ThoraxBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 202-202 |
ThroatBone e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11470-11470 |
Tooth e' uma sub-classe de Osso |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1026-1026 |
|
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 19-19 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1264-1264 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 704-704 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 235-235 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 238-238 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2387-2387 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |