|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1024-1024 | BrachialArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 124-124 | BrachiocephalicArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1936-1936 | BranchArteryToSurfaceOfTheFemurAndTheKneeJoint 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 899-899 | BranchToAbdominalMusclesArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 894-894 | BranchToDiaphragmArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 889-889 | BranchToLowerPartOfThePericardiumArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1966-1966 | BranchToPopliteusArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1931-1931 | BranchToVastusMedialisArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1180-1180 | BranchToVolarCarpalNetworkArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1046-1046 | BranchesToTheDeltoidMuscleArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1243-1243 | BronchialArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1385-1385 | BuhlersAnastomoticArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 138-138 | CarotidArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1291-1291 | CeliacArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 791-791 | CerebellarArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 339-339 | CerebralArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 438-438 | CervicalArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 81-81 | CircumflexArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 992-992 | ClavicularArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1316-1316 | CommonHepaticArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1544-1544 | CommonIliacArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1151-1151 | CommonInterosseousArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1901-1901 | CommunicatingBranchToTheAnteriorTibialArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 943-943 | CostocervicalTrunkArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 414-414 | CricothyroidArtery 是 动脉 的 subclass |
| 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