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
The number 1 argument of
suppliesBlood
is a
subclass
of
artery
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1945-1945
The number 2 argument of
suppliesBlood
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1941-1941
suppliesBlood
is an
instance
of
binary predicate
antecedent
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1444-1444
suppliesBlood
anterior interosseous artery
and
flexor digitorum profundus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1453-1453
suppliesBlood
anterior interosseous artery
and
flexor pollicis longus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1433-1433
suppliesBlood
anterior interosseous artery
and
pronator quadratus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1991-1991
suppliesBlood
anterior tibial artery
and
extensor digitorum longus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1982-1982
suppliesBlood
anterior tibial artery
and
extensor hallucis longus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2000-2000
suppliesBlood
anterior tibial artery
and
fibularis tertius muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1971-1971
suppliesBlood
anterior tibial artery
and
tibialis anterior muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 716-716
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
scalene anterior muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 727-727
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
scalene medius muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 706-706
suppliesBlood
AscendingCervicalArteryFromInferiorThyroidArtery
and
scalene muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 737-737
suppliesBlood
AscendingCervicalArterySuperficialCervicalArtery
and
scalene posterior muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 525-525
suppliesBlood
AscendingPharyngealArteryTonsilarBranchOfFacialArtery
and
pharyngeal superior muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 673-673
suppliesBlood
AscendingPharyngealArteryVertebralArtery
and
longus colli muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1344-1344
suppliesBlood
brachial artery
and
coracobrachialis muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1334-1334
suppliesBlood
brachial artery
and
coracobrachialis muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 576-576
suppliesBlood
BranchesOfSubmentalArteryBranchesOfSuprascapularArtery
and
platysma muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 297-297
suppliesBlood
buccal artery
and
buccinator muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 533-533
suppliesBlood
CricothyroidBranchOfSuperiorThyroidArtery
and
cricothyroid muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1361-1361
suppliesBlood
DeepArteryOfArm
and
triceps brachii muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1373-1373
suppliesBlood
DeepArteryOfArmInterosseousRecurrentArtery
and
anconeus muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1594-1594
suppliesBlood
DeepPalmarArch
and
abductor pollicis brevis muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 349-349
suppliesBlood
DeepTemporalArteries
and
temporalis muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1651-1651
suppliesBlood
DorsalMetacarpalArteryPalmarMetacarpalArtery
and
dorsal interossei muscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 745-745
suppliesBlood
DorsalScapularArtery
and
levator scapulae muscle
No TPTP formula. May not be expressible in strict first order.
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