|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1335-1335 | CysticArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 950-950 | DeepCervicalArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1739-1739 | DeepCircumflexIliacArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1764-1764 | DeepExternalPudendalArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1769-1769 | DeepFemoralArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1133-1133 | DeepPalmarArchArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1210-1210 | DeepVolarArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 997-997 | DeltoidArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1836-1836 | DescendingGenicularArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1471-1471 | DescendingVasaRectaArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1205-1205 | DorsalCarpalArchArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1200-1200 | DorsalCarpalArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1108-1108 | DorsalCarpalBranchOfRadialArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1370-1370 | DorsalPancreaticArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1886-1886 | DorsalisPedisArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1466-1466 | EfferentArteriole 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1248-1248 | EsophagealArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 379-379 | ExternalCarotidArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 525-525 | ExternalCarotidTerminalFirstPortionArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 613-613 | ExternalCarotidTerminalSecondPortionArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 639-639 | ExternalCarotidTerminalThirdPortionArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1728-1728 | ExternalIliacArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 367-367 | ExternalStriateArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 432-432 | FacialArtery 是 动脉 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1744-1744 | FemoralArtery 是 动脉 的 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