RibBone
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11232-11234 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 273-273 | |
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 271-271 | RibBone 是 ThoraxBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11236-11236 | RibBone typically 是 Chest 的 part |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 896-896 | muscleInsertion IliocostalisMuscle and RibBone |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1260-1260 | muscleOrigin SerratusAnteriorMuscle and RibBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | FloatingRibBone 是 RibBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | LeftRibBone 是 RibBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | RightRibBone 是 RibBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | TrueRibBone 是 RibBone 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 272-272 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11235-11235 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11243-11245 |