No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1221-1221 |
intialPart BoneMarrow and 骨骼 |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 685-685 |
ArmBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 18-18 |
骨骼 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1026-1026 |
Coccyx 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1099-1099 |
FootBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 52-52 |
HeadBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11510-11510 |
喇叭 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11521-11521 |
象牙 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1032-1032 |
LegBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1000-1000 |
PelvicBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1283-1283 |
Phalanx 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11231-11231 |
RibBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 1017-1017 |
Sacrum 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 213-213 |
ShoulderGirdleBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 246-246 |
ThoraxBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Anatomy.kif 202-202 |
ThroatBone 是 骨骼 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 11470-11470 |
齿 是 骨骼 的 subclass |
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 |