|
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 969-969 | connectedBodyPartTypes AxillaryArtery, LeftSubclavianArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 815-815 | connectedBodyPartTypes BasilarArtery, VertebralArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1028-1028 | connectedBodyPartTypes BrachialArtery, LeftSubclavianArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 135-135 | connectedBodyPartTypes BrachiocephalicArtery, AorticArch and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 147-147 | connectedBodyPartTypes BrachiocephalicArtery, RightCommonCarotidArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 153-153 | connectedBodyPartTypes BrachiocephalicArtery, RightSubclavianArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1940-1940 | connectedBodyPartTypes BranchArteryToSurfaceOfTheFemurAndTheKneeJoint, MedialSuperiorGenicularArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 903-903 | connectedBodyPartTypes BranchToAbdominalMusclesArtery, MusculophrenicArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 898-898 | connectedBodyPartTypes BranchToDiaphragmArtery, MusculophrenicArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 893-893 | connectedBodyPartTypes BranchToLowerPartOfThePericardiumArtery, MusculophrenicArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1970-1970 | connectedBodyPartTypes BranchToPopliteusArtery, MedialInferiorGenicularArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1935-1935 | connectedBodyPartTypes BranchToVastusMedialisArtery, MedialSuperiorGenicularArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1184-1184 | connectedBodyPartTypes BranchToVolarCarpalNetworkArtery, AnteriorInterosseousArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1050-1050 | connectedBodyPartTypes BranchesToTheDeltoidMuscleArtery, ProfundaBrachiiArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1247-1247 | connectedBodyPartTypes BronchialArtery, ThoracicAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1389-1389 | connectedBodyPartTypes BuhlersAnastomoticArtery, SplenicArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1300-1300 | connectedBodyPartTypes CeliacArtery, AbdominalAorta and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 97-97 | connectedBodyPartTypes CircumflexArtery, LeftMarginalArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 91-91 | connectedBodyPartTypes CircumflexArtery, PosteriorInterventricularArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 105-105 | connectedBodyPartTypes CircumflexArtery, PosterolateralArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 88-88 | connectedBodyPartTypes CircumflexArtery, SANodalArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 996-996 | connectedBodyPartTypes ClavicularArtery, ThoracoacromialArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1023-1023 | connectedBodyPartTypes Coccyx, Sacrum and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1320-1320 | connectedBodyPartTypes CommonHepaticArtery, CeliacArtery and Human |
| No TPTP formula. May not be expressible in strict first order. | arteries.kif 1549-1549 | connectedBodyPartTypes CommonIliacArtery, AbdominalAorta and Human |
| 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