CranialBone | ![]() |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 59-59 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 57-57 | 子類 CranialBone and HeadBone |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 95-95 | 子類 EthmoidBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 61-61 | 子類 FrontalBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 65-65 | 子類 LeftParietalBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 85-85 | 子類 OccipitalBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 69-69 | 子類 RightParietalBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 91-91 | 子類 SphenoidBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 73-73 | 子類 TemporalBone and CranialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 58-58 |
![]() |
![]() |