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 数量 是
动脉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1945-1945
suppliesBlood
的 2 数量 是
身体部位
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1941-1941
suppliesBlood
是
二元谓语
的
instance
antecedent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1947-1958
如果
suppliesBlood
有点 动脉
and
有点 身体部位
和
物理
是
有点 动脉
的
instance
和
实体
是
有点 身体部位
的
instance
,
然后
那个 物理
的 目的 是 有存在
另一个 实体
和
第三 实体
这样
那个 另外 实体
是
液体运动
的
instance
和
objectTransferred
那个 另外 实体
and
那个 第三 实体
和
那个 第三 实体
是
血液
的
instance
和
那个 另外 实体
在
那个 实体
结束
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