Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
Artery
BloodVessel
)
Mid-level-ontology.kif 11130-11130
(
subclass
PulmonaryArtery
Artery
)
Mid-level-ontology.kif 11164-11164
(
subclass
AscendingAorta
Artery
)
arteries.kif 5-5
(
subclass
RightCoronaryArtery
Artery
)
arteries.kif 16-16
(
subclass
PosteriorInterventricularArtery
Artery
)
arteries.kif 28-28
(
subclass
SANodalArtery
Artery
)
arteries.kif 34-34
(
subclass
RightMarginalArtery
Artery
)
arteries.kif 40-40
(
subclass
LeftCoronaryArtery
Artery
)
arteries.kif 48-48
(
subclass
AnteriorInterventricularArtery
Artery
)
arteries.kif 63-63
(
subclass
AnteriorInterventricularSeptalArtery
Artery
)
arteries.kif 69-69
(
subclass
AnteriorInterventricularDiagonalArtery
Artery
)
arteries.kif 75-75
(
subclass
CircumflexArtery
Artery
)
arteries.kif 81-81
(
subclass
LeftMarginalArtery
Artery
)
arteries.kif 93-93
(
subclass
PosterolateralArtery
Artery
)
arteries.kif 101-101
(
subclass
RamusIntermedius
Artery
)
arteries.kif 107-107
(
subclass
AorticArch
Artery
)
arteries.kif 114-114
(
subclass
BrachiocephalicArtery
Artery
)
arteries.kif 124-124
(
subclass
CarotidArtery
Artery
)
arteries.kif 138-138
(
subclass
RightSubclavianArtery
Artery
)
arteries.kif 149-149
(
subclass
InternalCarotidArtery
Artery
)
arteries.kif 167-167
(
subclass
OphthalmicArtery
Artery
)
arteries.kif 174-174
(
subclass
OrbitalGroupArtery
Artery
)
arteries.kif 180-180
(
subclass
OcularGroupArtery
Artery
)
arteries.kif 297-297
(
subclass
CerebralArtery
Artery
)
arteries.kif 339-339
(
subclass
AnterolateralCentralArtery
Artery
)
arteries.kif 357-357
(
subclass
InternalStriateArtery
Artery
)
arteries.kif 362-362
(
subclass
ExternalStriateArtery
Artery
)
arteries.kif 367-367
(
subclass
PosteriorCommunicatingArtery
Artery
)
arteries.kif 373-373
(
subclass
ExternalCarotidArtery
Artery
)
arteries.kif 379-379
(
subclass
SuperiorThyroidArtery
Artery
)
arteries.kif 390-390
(
subclass
HyoidArtery
Artery
)
arteries.kif 396-396
(
subclass
SternocleidomastoidArtery
Artery
)
arteries.kif 402-402
(
subclass
SuperiorLaryngealArtery
Artery
)
arteries.kif 408-408
(
subclass
CricothyroidArtery
Artery
)
arteries.kif 414-414
(
subclass
AscendingPharyngealArtery
Artery
)
arteries.kif 420-420
(
subclass
LingualArtery
Artery
)
arteries.kif 426-426
(
subclass
FacialArtery
Artery
)
arteries.kif 432-432
(
subclass
CervicalArtery
Artery
)
arteries.kif 438-438
(
subclass
OccipitalArtery
Artery
)
arteries.kif 502-502
(
subclass
PosteriorAuricularArtery
Artery
)
arteries.kif 509-509
(
subclass
MaxillaryArtery
Artery
)
arteries.kif 518-518
(
subclass
ExternalCarotidTerminalFirstPortionArtery
Artery
)
arteries.kif 525-525
(
subclass
ExternalCarotidTerminalSecondPortionArtery
Artery
)
arteries.kif 613-613
(
subclass
ExternalCarotidTerminalThirdPortionArtery
Artery
)
arteries.kif 639-639
(
subclass
SuperficialTemporalArtery
Artery
)
arteries.kif 705-705
(
subclass
TransverseFacialArtery
Artery
)
arteries.kif 713-713
(
subclass
MiddleTemporalArtery
Artery
)
arteries.kif 718-718
(
subclass
AnteriorAuricularBranchArtery
Artery
)
arteries.kif 723-723
(
subclass
SuperficialTemporalFrontalBranchArtery
Artery
)
arteries.kif 728-728
(
subclass
SuperficialTemporalParietalBranchArtery
Artery
)
arteries.kif 735-735
(
subclass
LeftSubclavianArtery
Artery
)
arteries.kif 743-743
(
subclass
VertebralArtery
Artery
)
arteries.kif 762-762
(
subclass
MeningealBranchOfVertebralArtery
Artery
)
arteries.kif 768-768
(
subclass
PosteriorSpinalArtery
Artery
)
arteries.kif 773-773
(
subclass
PosteriorSpinalAscendingBranchArtery
Artery
)
arteries.kif 778-778
(
subclass
PosteriorSpinalDescendingBranchArtery
Artery
)
arteries.kif 783-783
(
subclass
AnteriorSpinalArtery
Artery
)
arteries.kif 787-787
(
subclass
CerebellarArtery
Artery
)
arteries.kif 791-791
(
subclass
BasilarArtery
Artery
)
arteries.kif 811-811
(
subclass
LabyrinthineArtery
Artery
)
arteries.kif 821-821
(
subclass
PontineBranchArtery
Artery
)
arteries.kif 826-826
(
subclass
InternalThoracicArtery
Artery
)
arteries.kif 832-832
(
subclass
MediastinalBranchArtery
Artery
)
arteries.kif 839-839
(
subclass
ThymicBranchesArtery
Artery
)
arteries.kif 844-844
(
subclass
PericardiophrenicArtery
Artery
)
arteries.kif 849-849
(
subclass
SternalBranchArtery
Artery
)
arteries.kif 854-854
(
subclass
PerforatingBranchArtery
Artery
)
arteries.kif 859-859
(
subclass
SixAnteriorIntercostalBranchArtery
Artery
)
arteries.kif 864-864
(
subclass
UpperBranchIntercostalArtery
Artery
)
arteries.kif 869-869
(
subclass
LowerBranchesOfTheSpaceAnastomosesArtery
Artery
)
arteries.kif 874-874
(
subclass
MusculophrenicArtery
Artery
)
arteries.kif 879-879
(
subclass
IntercostalBranchArtery
Artery
)
arteries.kif 884-884
(
subclass
BranchToLowerPartOfThePericardiumArtery
Artery
)
arteries.kif 889-889
(
subclass
BranchToDiaphragmArtery
Artery
)
arteries.kif 894-894
(
subclass
BranchToAbdominalMusclesArtery
Artery
)
arteries.kif 899-899
(
subclass
SuperiorEpigastricArtery
Artery
)
arteries.kif 904-904
(
subclass
ThyrocervicalTrunkArtery
Artery
)
arteries.kif 910-910
(
subclass
InferiorThyroidArtery
Artery
)
arteries.kif 917-917
(
subclass
SuprascapularArtery
Artery
)
arteries.kif 922-922
(
subclass
TransverseCervicalArtery
Artery
)
arteries.kif 927-927
(
subclass
TransverseCervicalSuperficialBranchArtery
Artery
)
arteries.kif 932-932
(
subclass
TransverseCervicalDeepBranchDorsalScapularArtery
Artery
)
arteries.kif 937-937
(
subclass
CostocervicalTrunkArtery
Artery
)
arteries.kif 943-943
(
subclass
DeepCervicalArtery
Artery
)
arteries.kif 950-950
(
subclass
SupremeIntercostalArtery
Artery
)
arteries.kif 955-955
(
subclass
FirstAndSecondPosteriorIntercostalArtery
Artery
)
arteries.kif 960-960
(
subclass
AxillaryArtery
Artery
)
arteries.kif 965-965
(
subclass
SuperiorThoracicArtery
Artery
)
arteries.kif 972-972
(
subclass
ThoracoacromialArtery
Artery
)
arteries.kif 977-977
(
subclass
AcromialArtery
Artery
)
arteries.kif 982-982
(
subclass
PectoralArtery
Artery
)
arteries.kif 987-987
(
subclass
ClavicularArtery
Artery
)
arteries.kif 992-992
(
subclass
DeltoidArtery
Artery
)
arteries.kif 997-997
(
subclass
LateralThoracicArtery
Artery
)
arteries.kif 1002-1002
(
subclass
SubscapularArtery
Artery
)
arteries.kif 1007-1007
(
subclass
AnteriorHumeralCircumflexArtery
Artery
)
arteries.kif 1012-1012
(
subclass
PosteriorHumeralCircumflexArtery
Artery
)
arteries.kif 1017-1017
(
subclass
BrachialArtery
Artery
)
arteries.kif 1024-1024
(
subclass
ProfundaBrachiiArtery
Artery
)
arteries.kif 1031-1031
(
subclass
RadialCollateralArtery
Artery
)
arteries.kif 1036-1036
(
subclass
MedialCollateralArtery
Artery
)
arteries.kif 1041-1041
(
subclass
BranchesToTheDeltoidMuscleArtery
Artery
)
arteries.kif 1046-1046
(
subclass
SuperiorUlnarCollateralArtery
Artery
)
arteries.kif 1052-1052
(
subclass
PosteriorUlnarRecurrentArtery
Artery
)
arteries.kif 1057-1057
(
subclass
InferiorUlnarCollateralArtery
Artery
)
arteries.kif 1063-1063
(
subclass
InferiorUlnarCollateralAscendingBranchArtery
Artery
)
arteries.kif 1068-1068
(
subclass
InferiorUlnarCollateralDescendingBranchArtery
Artery
)
arteries.kif 1073-1073
(
subclass
RadialArtery
Artery
)
arteries.kif 1078-1078
(
subclass
RadialBranchesInTheForearm
Artery
)
arteries.kif 1083-1083
(
subclass
RadialRecurrentArtery
Artery
)
arteries.kif 1088-1088
(
subclass
PalmarCarpalBranchOfRadialArtery
Artery
)
arteries.kif 1093-1093
(
subclass
SuperficialPalmarBranchOfTheRadialArtery
Artery
)
arteries.kif 1098-1098
(
subclass
RadialBranchAtTheWristArtery
Artery
)
arteries.kif 1103-1103
(
subclass
DorsalCarpalBranchOfRadialArtery
Artery
)
arteries.kif 1108-1108
(
subclass
FirstDorsalMetacarpalArtery
Artery
)
arteries.kif 1113-1113
(
subclass
RadialBranchArteryInTheHand
Artery
)
arteries.kif 1118-1118
(
subclass
PrincepsPollicisArtery
Artery
)
arteries.kif 1123-1123
(
subclass
RadialisIndicisArtery
Artery
)
arteries.kif 1128-1128
(
subclass
DeepPalmarArchArtery
Artery
)
arteries.kif 1133-1133
(
subclass
UlnarArtery
Artery
)
arteries.kif 1139-1139
(
subclass
AnteriorUlnarRecurrentArtery
Artery
)
arteries.kif 1144-1144
(
subclass
CommonInterosseousArtery
Artery
)
arteries.kif 1151-1151
(
subclass
PosteriorInterosseousArtery
Artery
)
arteries.kif 1156-1156
(
subclass
InterosseousRecurrentArtery
Artery
)
arteries.kif 1161-1161
(
subclass
AnteriorInterosseousArtery
Artery
)
arteries.kif 1165-1165
(
subclass
MuscularBranchArtery
Artery
)
arteries.kif 1170-1170
(
subclass
NutrientArteriesOfRadiusAndUlna
Artery
)
arteries.kif 1175-1175
(
subclass
BranchToVolarCarpalNetworkArtery
Artery
)
arteries.kif 1180-1180
(
subclass
MuscularUlnarArtery
Artery
)
arteries.kif 1185-1185
(
subclass
VolarCarpalArtery
Artery
)
arteries.kif 1190-1190
(
subclass
PalmarCarpalArchArtery
Artery
)
arteries.kif 1195-1195
(
subclass
DorsalCarpalArtery
Artery
)
arteries.kif 1200-1200
(
subclass
DorsalCarpalArchArtery
Artery
)
arteries.kif 1205-1205
(
subclass
DeepVolarArtery
Artery
)
arteries.kif 1210-1210
(
subclass
SuperficialVolarArchArtery
Artery
)
arteries.kif 1215-1215
(
subclass
Aorta
Artery
)
arteries.kif 1221-1221
(
subclass
ThoracicAorta
Artery
)
arteries.kif 1226-1226
(
subclass
BronchialArtery
Artery
)
arteries.kif 1243-1243
(
subclass
EsophagealArtery
Artery
)
arteries.kif 1248-1248
(
subclass
Lower3rdTo11thPosteriorIntercostalArtery
Artery
)
arteries.kif 1255-1255
(
subclass
SubcostalArtery
Artery
)
arteries.kif 1260-1260
(
subclass
SuperiorPhrenicArtery
Artery
)
arteries.kif 1265-1265
(
subclass
AbdominalAorta
Artery
)
arteries.kif 1272-1272
(
subclass
InferiorPhrenicArtery
Artery
)
arteries.kif 1285-1285
(
subclass
CeliacArtery
Artery
)
arteries.kif 1291-1291
(
subclass
GastricArtery
Artery
)
arteries.kif 1295-1295
(
subclass
HepaticBranchArtery
Artery
)
arteries.kif 1306-1306
(
subclass
OesophagealBranchArtery
Artery
)
arteries.kif 1311-1311
(
subclass
CommonHepaticArtery
Artery
)
arteries.kif 1316-1316
(
subclass
ProperHepaticArtery
Artery
)
arteries.kif 1321-1321
(
subclass
RightHepaticArtery
Artery
)
arteries.kif 1330-1330
(
subclass
CysticArtery
Artery
)
arteries.kif 1335-1335
(
subclass
LeftHepaticArtery
Artery
)
arteries.kif 1340-1340
(
subclass
GastroduodenalArtery
Artery
)
arteries.kif 1350-1350
(
subclass
RightGastroOmentalArtery
Artery
)
arteries.kif 1355-1355
(
subclass
SuperiorPancreaticoduodenalArtery
Artery
)
arteries.kif 1360-1360
(
subclass
SplenicArtery
Artery
)
arteries.kif 1365-1365
(
subclass
DorsalPancreaticArtery
Artery
)
arteries.kif 1370-1370
(
subclass
ShortGastricArtery
Artery
)
arteries.kif 1375-1375
(
subclass
LeftGastroOmentalArtery
Artery
)
arteries.kif 1380-1380
(
subclass
BuhlersAnastomoticArtery
Artery
)
arteries.kif 1385-1385
(
subclass
SuperiorMesentericArtery
Artery
)
arteries.kif 1392-1392
(
subclass
InferiorPancreaticoduodenalArtery
Artery
)
arteries.kif 1399-1399
(
subclass
MiddleColicArtery
Artery
)
arteries.kif 1404-1404
(
subclass
RightColicArtery
Artery
)
arteries.kif 1409-1409
(
subclass
IntestinalArtery
Artery
)
arteries.kif 1414-1414
(
subclass
IleocolicArtery
Artery
)
arteries.kif 1419-1419
(
subclass
MiddleSuprarenalArtery
Artery
)
arteries.kif 1426-1426
(
subclass
RenalArtery
Artery
)
arteries.kif 1434-1434
(
subclass
InterlobarArtery
Artery
)
arteries.kif 1445-1445
(
subclass
ArcuateArtery
Artery
)
arteries.kif 1450-1450
(
subclass
InterlobularArtery
Artery
)
arteries.kif 1455-1455
(
subclass
AfferentArteriole
Artery
)
arteries.kif 1460-1460
(
subclass
EfferentArteriole
Artery
)
arteries.kif 1466-1466
(
subclass
DescendingVasaRectaArtery
Artery
)
arteries.kif 1471-1471
(
subclass
PeritubularCapillary
Artery
)
arteries.kif 1476-1476
(
subclass
GonadalArtery
Artery
)
arteries.kif 1483-1483
(
subclass
LumbarArtery
Artery
)
arteries.kif 1501-1501
(
subclass
InferiorMesentericArtery
Artery
)
arteries.kif 1508-1508
(
subclass
LeftColicArtery
Artery
)
arteries.kif 1512-1512
(
subclass
LeftColicAscendingArteryBranch
Artery
)
arteries.kif 1517-1517
(
subclass
LeftColicDescendingArteryBranch
Artery
)
arteries.kif 1522-1522
(
subclass
SigmoidArtery
Artery
)
arteries.kif 1527-1527
(
subclass
SuperiorRectalArtery
Artery
)
arteries.kif 1531-1531
(
subclass
MedianSacralArtery
Artery
)
arteries.kif 1537-1537
(
subclass
CommonIliacArtery
Artery
)
arteries.kif 1544-1544
(
subclass
InternalIliacArtery
Artery
)
arteries.kif 1552-1552
(
subclass
AnteriorIliacArteryDivision
Artery
)
arteries.kif 1558-1558
(
subclass
PosteriorDivisionIliacArtery
Artery
)
arteries.kif 1677-1677
(
subclass
ExternalIliacArtery
Artery
)
arteries.kif 1728-1728
(
subclass
InferiorEpigastricArtery
Artery
)
arteries.kif 1734-1734
(
subclass
DeepCircumflexIliacArtery
Artery
)
arteries.kif 1739-1739
(
subclass
FemoralArtery
Artery
)
arteries.kif 1744-1744
(
subclass
SuperficialEpigastricArtery
Artery
)
arteries.kif 1749-1749
(
subclass
SuperficialCircumflexIliacArtery
Artery
)
arteries.kif 1754-1754
(
subclass
SuperficialExternalPudendalArtery
Artery
)
arteries.kif 1759-1759
(
subclass
DeepExternalPudendalArtery
Artery
)
arteries.kif 1764-1764
(
subclass
DeepFemoralArtery
Artery
)
arteries.kif 1769-1769
(
subclass
LateralFemoralCircumflexArtery
Artery
)
arteries.kif 1774-1774
(
subclass
LateralFemoralCircumflexAscendingBranchArtery
Artery
)
arteries.kif 1779-1779
(
subclass
LateralFemoralCircumflexDescendingBranchArtery
Artery
)
arteries.kif 1784-1784
(
subclass
LateralFemoralCircumflexTransverseBranchArtery
Artery
)
arteries.kif 1789-1789
(
subclass
MedialFemoralCircumflexArtery
Artery
)
arteries.kif 1794-1794
(
subclass
MedialFemoralCircumflexAscendingBranchArtery
Artery
)
arteries.kif 1799-1799
(
subclass
MedialFemoralCircumflexDescendingBranchArtery
Artery
)
arteries.kif 1803-1803
(
subclass
MedialFemoralCircumflexDescendingSuperficialBranchArtery
Artery
)
arteries.kif 1807-1807
(
subclass
MedialFemoralCircumflexDescendingDeepBranchArtery
Artery
)
arteries.kif 1811-1811
(
subclass
MedialFemoralCircumflexDescendingAcetabularBranchArtery
Artery
)
arteries.kif 1815-1815
(
subclass
PerforatingArtery
Artery
)
arteries.kif 1819-1819
(
subclass
FirstPerforatingArtery
Artery
)
arteries.kif 1824-1824
(
subclass
SecondPerforatingArtery
Artery
)
arteries.kif 1828-1828
(
subclass
ThirdOrFourthPerforatingArtery
Artery
)
arteries.kif 1832-1832
(
subclass
DescendingGenicularArtery
Artery
)
arteries.kif 1836-1836
(
subclass
SaphenousBranchArtery
Artery
)
arteries.kif 1841-1841
(
subclass
MusculoArticularBranchArtery
Artery
)
arteries.kif 1846-1846
(
subclass
PoplitealArtery
Artery
)
arteries.kif 1852-1852
(
subclass
AnteriorTibialArtery
Artery
)
arteries.kif 1859-1859
(
subclass
PostTibialRecurrentArtery
Artery
)
arteries.kif 1864-1864
(
subclass
AnteriorTibialRecurrentArtery
Artery
)
arteries.kif 1869-1869
(
subclass
AnteriorMedialMalleolarArtery
Artery
)
arteries.kif 1876-1876
(
subclass
AnteriorLateralMalleolarArtery
Artery
)
arteries.kif 1881-1881
(
subclass
DorsalisPedisArtery
Artery
)
arteries.kif 1886-1886
(
subclass
PosteriorTibialArtery
Artery
)
arteries.kif 1891-1891
(
subclass
FibularArtery
Artery
)
arteries.kif 1896-1896
(
subclass
CommunicatingBranchToTheAnteriorTibialArtery
Artery
)
arteries.kif 1901-1901
(
subclass
PerforatingBranchToThePosteriorTibialArtery
Artery
)
arteries.kif 1906-1906
(
subclass
MedialPlantarArtery
Artery
)
arteries.kif 1911-1911
(
subclass
LateralPlantarArtery
Artery
)
arteries.kif 1916-1916
(
subclass
SuralArtery
Artery
)
arteries.kif 1921-1921
(
subclass
MedialSuperiorGenicularArtery
Artery
)
arteries.kif 1926-1926
(
subclass
BranchToVastusMedialisArtery
Artery
)
arteries.kif 1931-1931
(
subclass
BranchArteryToSurfaceOfTheFemurAndTheKneeJoint
Artery
)
arteries.kif 1936-1936
(
subclass
LateralSuperiorGenicularArtery
Artery
)
arteries.kif 1941-1941
(
subclass
LateralSuperiorGenicularSuperficialBranchArtery
Artery
)
arteries.kif 1946-1946
(
subclass
LateralSuperiorGenicularDeepBranchArtery
Artery
)
arteries.kif 1951-1951
(
subclass
MiddleGenicularArtery
Artery
)
arteries.kif 1956-1956
(
subclass
MedialInferiorGenicularArtery
Artery
)
arteries.kif 1961-1961
(
subclass
BranchToPopliteusArtery
Artery
)
arteries.kif 1966-1966
(
subclass
LateralInferiorGenicularArtery
Artery
)
arteries.kif 1971-1971
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