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