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
AnteriorIliacArteryDivision
Artery
)
arteries.kif 1558-1558
AnteriorIliacArteryDivision
est une
sous
-classe de
Artery
(
subclass
ObturatorArtery
AnteriorIliacArteryDivision
)
arteries.kif 1562-1562
ObturatorArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
SuperiorVesicalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1567-1567
SuperiorVesicalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
VaginalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1572-1572
VaginalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
InferiorVesicalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1577-1577
InferiorVesicalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
MiddleRectalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1582-1582
MiddleRectalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
InternalPudendalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1587-1587
InternalPudendalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
InferiorRectalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1592-1592
InferiorRectalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
PerinealArtery
AnteriorIliacArteryDivision
)
arteries.kif 1597-1597
PerinealArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
PosteriorScrotalBranchArtery
AnteriorIliacArteryDivision
)
arteries.kif 1602-1602
PosteriorScrotalBranchArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
PosteriorLabialBranchArtery
AnteriorIliacArteryDivision
)
arteries.kif 1607-1607
PosteriorLabialBranchArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
UrethralArtery
AnteriorIliacArteryDivision
)
arteries.kif 1612-1612
UrethralArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
ArteryOfBulbOfPenis
AnteriorIliacArteryDivision
)
arteries.kif 1617-1617
ArteryOfBulbOfPenis
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
ArteryOfBulbOfVestibule
AnteriorIliacArteryDivision
)
arteries.kif 1622-1622
ArteryOfBulbOfVestibule
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
DorsalArteryOfPenis
AnteriorIliacArteryDivision
)
arteries.kif 1627-1627
DorsalArteryOfPenis
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
DorsalArteryOfClitoris
AnteriorIliacArteryDivision
)
arteries.kif 1632-1632
DorsalArteryOfClitoris
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
DeepArteryOfPenis
AnteriorIliacArteryDivision
)
arteries.kif 1637-1637
DeepArteryOfPenis
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
DeepArteryOfClitoris
AnteriorIliacArteryDivision
)
arteries.kif 1642-1642
DeepArteryOfClitoris
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
InferiorGlutealArtery
AnteriorIliacArteryDivision
)
arteries.kif 1649-1649
InferiorGlutealArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
AccompanyingArteryOfIschiadicNerve
AnteriorIliacArteryDivision
)
arteries.kif 1654-1654
AccompanyingArteryOfIschiadicNerve
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
UterineArtery
AnteriorIliacArteryDivision
)
arteries.kif 1659-1659
UterineArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
DeferentialArtery
AnteriorIliacArteryDivision
)
arteries.kif 1664-1664
DeferentialArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
(
subclass
ObliteratedUmbilicalArtery
AnteriorIliacArteryDivision
)
arteries.kif 1671-1671
ObliteratedUmbilicalArtery
est une
sous
-classe de
AnteriorIliacArteryDivision
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