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
(
domainSubclass
suppliesBlood
2
BodyPart
)
Anatomy.kif 1945-1945
(
instance
suppliesBlood
BinaryPredicate
)
Anatomy.kif 1941-1941
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
appearance as argument number 0
(
suppliesBlood
AnteriorInterosseousArtery
FlexorDigitorumProfundusMuscle
)
Muscles.kif 1444-1444
(
suppliesBlood
AnteriorInterosseousArtery
FlexorPollicisLongusMuscle
)
Muscles.kif 1453-1453
(
suppliesBlood
AnteriorInterosseousArtery
PronatorQuadratusMuscle
)
Muscles.kif 1433-1433
(
suppliesBlood
AnteriorTibialArtery
ExtensorDigitorumLongusMuscle
)
Muscles.kif 1991-1991
(
suppliesBlood
AnteriorTibialArtery
ExtensorHallucisLongusMuscle
)
Muscles.kif 1982-1982
(
suppliesBlood
AnteriorTibialArtery
FibularisTertiusMuscle
)
Muscles.kif 2000-2000
(
suppliesBlood
AnteriorTibialArtery
TibialisAnteriorMuscle
)
Muscles.kif 1971-1971
(
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
ScaleneAnteriorMuscle
)
Muscles.kif 716-716
(
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
ScaleneMediusMuscle
)
Muscles.kif 727-727
(
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
ScaleneMuscle
)
Muscles.kif 706-706
(
suppliesBlood
AscendingCervicalArterySuperficialCervicalArtery
ScalenePosteriorMuscle
)
Muscles.kif 737-737
(
suppliesBlood
AscendingPharyngealArteryTonsilarBranchOfFacialArtery
PharyngealSuperiorMuscle
)
Muscles.kif 525-525
(
suppliesBlood
AscendingPharyngealArteryVertebralArtery
LongusColliMuscle
)
Muscles.kif 673-673
(
suppliesBlood
BrachialArtery
BicepsBrachiiMuscle
)
Muscles.kif 1344-1344
(
suppliesBlood
BrachialArtery
CoracobrachialisMuscle
)
Muscles.kif 1334-1334
(
suppliesBlood
BranchesOfSubmentalArteryBranchesOfSuprascapularArtery
PlatysmaMuscle
)
Muscles.kif 576-576
(
suppliesBlood
BuccalArtery
BuccinatorMuscle
)
Muscles.kif 297-297
(
suppliesBlood
CricothyroidBranchOfSuperiorThyroidArtery
CricothyroidMuscle
)
Muscles.kif 533-533
(
suppliesBlood
DeepArteryOfArm
TricepsBrachiiMuscle
)
Muscles.kif 1361-1361
(
suppliesBlood
DeepArteryOfArmInterosseousRecurrentArtery
AnconeusMuscle
)
Muscles.kif 1373-1373
(
suppliesBlood
DeepPalmarArch
AbductorPollicisMuscle
)
Muscles.kif 1594-1594
(
suppliesBlood
DeepTemporalArteries
TemporalisMuscle
)
Muscles.kif 349-349
(
suppliesBlood
DorsalMetacarpalArteryPalmarMetacarpalArtery
DorsalInterosseiMuscle
)
Muscles.kif 1651-1651
(
suppliesBlood
DorsalScapularArtery
LevatorScapulaeMuscle
)
Muscles.kif 745-745
(
suppliesBlood
DorsalScapularArtery
RhomboidMajorMuscle
)
Muscles.kif 1212-1212
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