No TPTP formula. May not be expressible in strict first order. | Economy.kif 5258-5265 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14935-14935 | Anatomical structure is a subclass of organic object |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14958-14958 | Abnormal anatomical structure is a subclass of anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14971-14971 | Body part is a subclass of anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15018-15018 | Animal anatomical structure is a subclass of anatomical structure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15029-15029 | Plant anatomical structure is a subclass of anatomical structure |
![]() |