No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1221-1221 |
intialPart BoneMarrow and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 685-685 |
子類 ArmBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 18-18 |
子類 Bone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1026-1026 |
子類 Coccyx and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1099-1099 |
子類 FootBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 52-52 |
子類 HeadBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11509-11509 |
子類 喇叭 and Bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11520-11520 |
子類 象牙 and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1032-1032 |
子類 LegBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1000-1000 |
子類 PelvicBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1283-1283 |
子類 Phalanx and Bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11230-11230 |
子類 RibBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1017-1017 |
子類 Sacrum and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 213-213 |
子類 ShoulderGirdleBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 246-246 |
子類 ThoraxBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 202-202 |
子類 ThroatBone and Bone |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11469-11469 |
子類 齒 and 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 |