|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1181-1181 | connectedBodyPartTypes LeftIntermediateCuniformBone, LeftProximalFootPhalanxIIIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1346-1346 | connectedBodyPartTypes LeftIntermediateFootPhalanxIIBone, LeftProximalFootPhalanxIIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1356-1356 | connectedBodyPartTypes LeftIntermediateFootPhalanxIIIBone, LeftProximalFootPhalanxIIIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1366-1366 | connectedBodyPartTypes LeftIntermediateFootPhalanxIVBone, LeftProximalFootPhalanxIVBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1376-1376 | connectedBodyPartTypes LeftIntermediateFootPhalanxVBone, LeftProximalFootPhalanxVBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1198-1198 | connectedBodyPartTypes LeftLateralCuniformBone, LeftProximalFootPhalanxIIIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1199-1199 | connectedBodyPartTypes LeftLateralCuniformBone, LeftProximalFootPhalanxIVBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1162-1162 | connectedBodyPartTypes LeftMedialCuniformBone, LeftProximalFootPhalanxIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1163-1163 | connectedBodyPartTypes LeftMedialCuniformBone, LeftProximalFootPhalanxIIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1010-1010 | connectedBodyPartTypes LeftOssaCoxae, LeftFemur and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1021-1021 | connectedBodyPartTypes LeftOssaCoxae, Sacrum and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1075-1075 | connectedBodyPartTypes LeftPatella, LeftFemur and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1294-1294 | connectedBodyPartTypes LeftProximalFootPhalanxIBone, LeftMetatarsal1Bone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1304-1304 | connectedBodyPartTypes LeftProximalFootPhalanxIIBone, LeftMetatarsal1IBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1314-1314 | connectedBodyPartTypes LeftProximalFootPhalanxIIIBone, LeftMetatarsal1IIBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1324-1324 | connectedBodyPartTypes LeftProximalFootPhalanxIVBone, LeftMetatarsal1VBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1334-1334 | connectedBodyPartTypes LeftProximalFootPhalanxVBone, LeftMetatarsalVBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 235-235 | connectedBodyPartTypes LeftScapulaBone, LeftClavicleBone and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 234-234 | connectedBodyPartTypes LeftScapulaBone, LeftHumerus and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 759-759 | connectedBodyPartTypes LeftSubclavianArtery, AorticArch and 人类 |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 767-767 | connectedBodyPartTypes LeftSubclavianArtery, VertebralArtery and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1132-1132 | connectedBodyPartTypes LeftTalusBone, LeftFibula and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1133-1133 | connectedBodyPartTypes LeftTalusBone, LeftTibia and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1046-1046 | connectedBodyPartTypes LeftTibia, LeftFemur and 人类 |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1076-1076 | connectedBodyPartTypes LeftTibia, LeftFibula and 人类 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners