|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1155-1155 | connectedBodyPartTypes CommonInterosseousArtery, UlnarArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1905-1905 | connectedBodyPartTypes CommunicatingBranchToTheAnteriorTibialArtery, FibularArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 948-948 | connectedBodyPartTypes CostocervicalTrunkArtery, LeftSubclavianArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1339-1339 | connectedBodyPartTypes CysticArtery, RightHepaticArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 954-954 | connectedBodyPartTypes DeepCervicalArtery, CostocervicalTrunkArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1743-1743 | connectedBodyPartTypes DeepCircumflexIliacArtery, ExternalIliacArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1768-1768 | connectedBodyPartTypes DeepExternalPudendalArtery, FemoralArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1773-1773 | connectedBodyPartTypes DeepFemoralArtery, FemoralArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1137-1137 | connectedBodyPartTypes DeepPalmarArchArtery, RadialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1214-1214 | connectedBodyPartTypes DeepVolarArtery, UlnarArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1001-1001 | connectedBodyPartTypes DeltoidArtery, ThoracoacromialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1840-1840 | connectedBodyPartTypes DescendingGenicularArtery, FemoralArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1209-1209 | connectedBodyPartTypes DorsalCarpalArchArtery, UlnarArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1204-1204 | connectedBodyPartTypes DorsalCarpalArtery, UlnarArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1112-1112 | connectedBodyPartTypes DorsalCarpalBranchOfRadialArtery, RadialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 295-295 | connectedBodyPartTypes DorsalNasalArtery, DorsumOfTheNoseArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 290-290 | connectedBodyPartTypes DorsalNasalArtery, ToRootOfNoseArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 285-285 | connectedBodyPartTypes DorsalNasalArtery, TwigToTheUpperPartOfLacrimalSacArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1374-1374 | connectedBodyPartTypes DorsalPancreaticArtery, SplenicArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1890-1890 | connectedBodyPartTypes DorsalisPedisArtery, AnteriorTibialArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1475-1475 | connectedBodyPartTypes EDescendingVasaRectaArtery, fferentArteriole and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1470-1470 | connectedBodyPartTypes EfferentArteriole, InterlobularArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1252-1252 | connectedBodyPartTypes EsophagealArtery, ThoracicAorta and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 424-424 | connectedBodyPartTypes ExternalCarotidArtery, AscendingPharyngealArtery and humain |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 436-436 | connectedBodyPartTypes ExternalCarotidArtery, FacialArtery and humain |
| 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