No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 103-103 | ZygomaticBone e' uma sub-classe de FacialBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 104-104 | LeftZygomaticBone e' uma sub-classe de ZygomaticBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 108-108 | RightZygomaticBone e' uma sub-classe de ZygomaticBone |
![]() |