No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1221-1221 |
intialPart bone marrow and bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 685-685 |
Arm bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 18-18 |
Bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1026-1026 |
Coccyx is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1099-1099 |
Foot bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 52-52 |
Head bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11510-11510 |
Horn is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11521-11521 |
Ivory is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1032-1032 |
Leg bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1000-1000 |
Pelvis is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1283-1283 |
Phalanx is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11231-11231 |
Rib bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1017-1017 |
Sacrum is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 213-213 |
Shoulder girdle bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 246-246 |
Thorax bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 202-202 |
Throat bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11470-11470 |
Tooth is a subclass of bone |
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 |