RibBone(rib bone) |
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 | Rib bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 271-271 | Rib bone is a subclass of thorax bone |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11236-11236 | A rib bone is typically a part of a chest |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 896-896 | The insertion point of IliocostalisMuscle is rib bone |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1260-1260 | The origin of serratus anterior muscle is rib bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 287-287 | Floating rib bone is a subclass of rib bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 275-275 | Left rib bone is a subclass of rib bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | Right rib bone is a subclass of rib bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 283-283 | Costae verae is a subclass of rib bone |
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 |
|