| 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 是 HeadBone 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 95-95 | EthmoidBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 61-61 | FrontalBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 65-65 | LeftParietalBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 85-85 | OccipitalBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 69-69 | RightParietalBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 91-91 | SphenoidBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 73-73 | TemporalBone 是 CranialBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 58-58 |
|
|
|