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
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1942-1943
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1944-1944
域子類
suppliesBlood
, 1 and
動脈
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1945-1945
域子類
suppliesBlood
, 2 and
BodyPart
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1941-1941
例
suppliesBlood
and
BinaryPredicate
antecedent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1947-1958
suppliesBlood
動脈
and
BodyPart
例
Physical
and
動脈
例
Entity
and
BodyPart
有目的
Physical
and
entity
entity
例
entity
and
液體運動
objectTransferred
entity
and
entity
例
entity
and
Blood
目的地
entity
and
Entity
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1444-1444
suppliesBlood
AnteriorInterosseousArtery
and
FlexorDigitorumProfundusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1453-1453
suppliesBlood
AnteriorInterosseousArtery
and
FlexorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1433-1433
suppliesBlood
AnteriorInterosseousArtery
and
PronatorQuadratusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1991-1991
suppliesBlood
AnteriorTibialArtery
and
ExtensorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1982-1982
suppliesBlood
AnteriorTibialArtery
and
ExtensorHallucisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2000-2000
suppliesBlood
AnteriorTibialArtery
and
FibularisTertiusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1971-1971
suppliesBlood
AnteriorTibialArtery
and
TibialisAnteriorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 716-716
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
ScaleneAnteriorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 727-727
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
ScaleneMediusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 706-706
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
ScaleneMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 737-737
suppliesBlood
AscendingCervicalArterySuperficialCervicalArtery
and
ScalenePosteriorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 525-525
suppliesBlood
AscendingPharyngealArteryTonsilarBranchOfFacialArtery
and
PharyngealSuperiorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 673-673
suppliesBlood
AscendingPharyngealArteryVertebralArtery
and
LongusColliMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1344-1344
suppliesBlood
BrachialArtery
and
BicepsBrachiiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1334-1334
suppliesBlood
BrachialArtery
and
CoracobrachialisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 576-576
suppliesBlood
BranchesOfSubmentalArteryBranchesOfSuprascapularArtery
and
PlatysmaMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 297-297
suppliesBlood
BuccalArtery
and
BuccinatorMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 533-533
suppliesBlood
CricothyroidBranchOfSuperiorThyroidArtery
and
CricothyroidMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1361-1361
suppliesBlood
DeepArteryOfArm
and
TricepsBrachiiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1373-1373
suppliesBlood
DeepArteryOfArmInterosseousRecurrentArtery
and
AnconeusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1594-1594
suppliesBlood
DeepPalmarArch
and
AbductorPollicisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 349-349
suppliesBlood
DeepTemporalArteries
and
TemporalisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1651-1651
suppliesBlood
DorsalMetacarpalArteryPalmarMetacarpalArtery
and
DorsalInterosseiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 745-745
suppliesBlood
DorsalScapularArtery
and
LevatorScapulaeMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1212-1212
suppliesBlood
DorsalScapularArtery
and
RhomboidMajorMuscle
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