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
ExternalCarotidTerminalFirstPortionArtery
Artery
)
arteries.kif 525-525
External carotid terminal first portion artery
is a
subclass
of
artery
(
subclass
DeepAuricularArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 529-529
Deep auricular artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
AnteriorTympanicArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 535-535
Anterior tympanic artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
MiddleMeningealArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 541-541
Middle meningeal artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
MiddleMeningealAnteriorAndPosteriorArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 547-547
Middle meningeal anterior and posterior artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
InferiorAlveolarArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 580-580
Inferior alveolar artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
IncisorBranchArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 586-586
Incisor branch artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
MentalBranchArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 591-591
Mental branch artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
LingualBranchArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 596-596
Lingual branch artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
MylohyoidBranchArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 601-601
Mylohyoid branch artery
is a
subclass
of
external carotid terminal first portion artery
(
subclass
AccessoryMeningealArtery
ExternalCarotidTerminalFirstPortionArtery
)
arteries.kif 607-607
Accessory meningeal artery
is a
subclass
of
external carotid terminal first portion artery
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