Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
suppliesBlood
Sigma KEE - suppliesBlood
suppliesBlood
appearance as argument number 1
(
documentation
suppliesBlood
EnglishLanguage
"A relation between a class of
Artery
and a class of
BodyPart
that that indicates blood is supplied through the artery to the part in a normal and healthy version of an organism.")
Anatomy.kif 1942-1943
(
domainSubclass
suppliesBlood
1
Artery
)
Anatomy.kif 1944-1944
The number 1 argument of
suppliesBlood
is a
subclass
of
artery
(
domainSubclass
suppliesBlood
2
BodyPart
)
Anatomy.kif 1945-1945
The number 2 argument of
suppliesBlood
is a
subclass
of
body part
(
instance
suppliesBlood
BinaryPredicate
)
Anatomy.kif 1941-1941
suppliesBlood
is an
instance
of
binary predicate
antecedent
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
If
suppliesBlood
a kind of artery
and
a kind of body part
and
a physical
is an
instance
of
a kind of artery
and
an entity
is an
instance
of
a kind of body part
,
then
the physical
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
liquid motion
and the object transferred in
the other entity
is
the third entity
and
the third entity
is an
instance
of
blood
and
the other entity
end
s up at
the entity
appearance as argument number 0
(
suppliesBlood
AnteriorInterosseousArtery
FlexorDigitorumProfundusMuscle
)
Muscles.kif 1444-1444
suppliesBlood
anterior interosseous artery
and
flexor digitorum profundus muscle
(
suppliesBlood
AnteriorInterosseousArtery
FlexorPollicisLongusMuscle
)
Muscles.kif 1453-1453
suppliesBlood
anterior interosseous artery
and
flexor pollicis longus muscle
(
suppliesBlood
AnteriorInterosseousArtery
PronatorQuadratusMuscle
)
Muscles.kif 1433-1433
suppliesBlood
anterior interosseous artery
and
pronator quadratus muscle
(
suppliesBlood
AnteriorTibialArtery
ExtensorDigitorumLongusMuscle
)
Muscles.kif 1991-1991
suppliesBlood
anterior tibial artery
and
extensor digitorum longus muscle
(
suppliesBlood
AnteriorTibialArtery
ExtensorHallucisLongusMuscle
)
Muscles.kif 1982-1982
suppliesBlood
anterior tibial artery
and
extensor hallucis longus muscle
(
suppliesBlood
AnteriorTibialArtery
FibularisTertiusMuscle
)
Muscles.kif 2000-2000
suppliesBlood
anterior tibial artery
and
fibularis tertius muscle
(
suppliesBlood
AnteriorTibialArtery
TibialisAnteriorMuscle
)
Muscles.kif 1971-1971
suppliesBlood
anterior tibial artery
and
tibialis anterior muscle
(
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
ScaleneAnteriorMuscle
)
Muscles.kif 716-716
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
scalene anterior muscle
(
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
ScaleneMediusMuscle
)
Muscles.kif 727-727
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
scalene medius muscle
(
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
ScaleneMuscle
)
Muscles.kif 706-706
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
scalene muscle
(
suppliesBlood
AscendingCervicalArterySuperficialCervicalArtery
ScalenePosteriorMuscle
)
Muscles.kif 737-737
suppliesBlood
AscendingCervicalArterySuperficialCervicalArtery
and
scalene posterior muscle
(
suppliesBlood
AscendingPharyngealArteryTonsilarBranchOfFacialArtery
PharyngealSuperiorMuscle
)
Muscles.kif 525-525
suppliesBlood
AscendingPharyngealArteryTonsilarBranchOfFacialArtery
and
pharyngeal superior muscle
(
suppliesBlood
AscendingPharyngealArteryVertebralArtery
LongusColliMuscle
)
Muscles.kif 673-673
suppliesBlood
AscendingPharyngealArteryVertebralArtery
and
longus colli muscle
(
suppliesBlood
BrachialArtery
BicepsBrachiiMuscle
)
Muscles.kif 1344-1344
suppliesBlood
brachial artery
and
coracobrachialis muscle
(
suppliesBlood
BrachialArtery
CoracobrachialisMuscle
)
Muscles.kif 1334-1334
suppliesBlood
brachial artery
and
coracobrachialis muscle
(
suppliesBlood
BranchesOfSubmentalArteryBranchesOfSuprascapularArtery
PlatysmaMuscle
)
Muscles.kif 576-576
suppliesBlood
BranchesOfSubmentalArteryBranchesOfSuprascapularArtery
and
platysma muscle
(
suppliesBlood
BuccalArtery
BuccinatorMuscle
)
Muscles.kif 297-297
suppliesBlood
buccal artery
and
buccinator muscle
(
suppliesBlood
CricothyroidBranchOfSuperiorThyroidArtery
CricothyroidMuscle
)
Muscles.kif 533-533
suppliesBlood
CricothyroidBranchOfSuperiorThyroidArtery
and
cricothyroid muscle
(
suppliesBlood
DeepArteryOfArm
TricepsBrachiiMuscle
)
Muscles.kif 1361-1361
suppliesBlood
DeepArteryOfArm
and
triceps brachii muscle
(
suppliesBlood
DeepArteryOfArmInterosseousRecurrentArtery
AnconeusMuscle
)
Muscles.kif 1373-1373
suppliesBlood
DeepArteryOfArmInterosseousRecurrentArtery
and
anconeus muscle
(
suppliesBlood
DeepPalmarArch
AbductorPollicisMuscle
)
Muscles.kif 1594-1594
suppliesBlood
DeepPalmarArch
and
abductor pollicis brevis muscle
(
suppliesBlood
DeepTemporalArteries
TemporalisMuscle
)
Muscles.kif 349-349
suppliesBlood
DeepTemporalArteries
and
temporalis muscle
(
suppliesBlood
DorsalMetacarpalArteryPalmarMetacarpalArtery
DorsalInterosseiMuscle
)
Muscles.kif 1651-1651
suppliesBlood
DorsalMetacarpalArteryPalmarMetacarpalArtery
and
dorsal interossei muscle
(
suppliesBlood
DorsalScapularArtery
LevatorScapulaeMuscle
)
Muscles.kif 745-745
suppliesBlood
DorsalScapularArtery
and
levator scapulae muscle
(
suppliesBlood
DorsalScapularArtery
RhomboidMajorMuscle
)
Muscles.kif 1212-1212
suppliesBlood
DorsalScapularArtery
and
rhomboid major muscle
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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