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
muscleOrigin
Sigma KEE - muscleOrigin
muscleOrigin
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1679-1683
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1686-1686
The number 1 argument of
muscle origin
is a
subclass
of
muscle
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1687-1687
The number 2 argument of
muscle origin
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1685-1685
muscle origin
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1688-1688
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1689-1689
antecedent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1695-1706
If the
origin
of
a kind of muscle
is
a kind of body part
and
an object
is an
instance
of
human
and
healthy
is an
attribute
of
the object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
a kind of muscle
and
the third object
is an
instance
of
a kind of body part
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the other object
connect
s
the third object
and
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1708-1729
If the
origin
of
a kind of muscle
is
a kind of body part
and
an object
is an
instance
of
human
and
standard anatomical position
is an
attribute
of
the object
holds
during
a time interval
and
healthy
is an
attribute
of
the object
and
another time interval
is an
instance
of
muscular contraction
and the
time
of existence of
the other time interval
takes place
during
the time interval
and
another object
is an
instance
of
a kind of muscle
and
the other object
is a
part
of
the object
and
the other object
is an
instrument
for
the other time interval
and one end of
the other object
is
a third object
and
the third object
meet
s
a fourth object
and
the third object
is
located
at
an entity
holds
during
the
beginning
of
the other time interval
,
then
the third object
is
located
at
the entity
holds
during
the
end
of
the other time interval
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1691-1693
If the
origin
of
a kind of body part
is
another kind of body part
,
then a
a kind of body part
is
connected
to a
another kind of body part
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1610-1610
The
origin
of
abductor digiti minimi muscle
is
Pisiform
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2146-2146
The
origin
of
abductor digiti minimi muscle
is
PlantarAponeurosis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2129-2129
The
origin
of
abductor hallucis muscle
is
MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1583-1583
The
origin
of
abductor pollicis brevis muscle
is
FlexorRetinaculumOfHandScaphoidAndTrapezium
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1537-1537
The
origin
of
abductor pollicis longus muscle
is
ulna
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1592-1592
The
origin
of
abductor pollicis brevis muscle
is
AnteriorBoidyOfThirdMetacarpal
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1940-1940
The
origin
of
adductor brevis muscle
is
AnteriorSurfaceOfInferiorPubicRamus11
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2182-2182
The
origin
of
adductor hallucis muscle
is
ProximalEndOfmetatarsal
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1949-1949
The
origin
of
adductor longus muscle
is
PubicBodyJustBelowPubicCrest
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1907-1907
The
origin
of
adductor muscles of the &hip
is
Pubis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 243-243
The
origin
of
alar part dilator naris muscle
is
AlveolarYokeOfIncisorTooth
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 244-244
The
origin
of
alar part dilator naris muscle
is
SkinNearMarginOfNostril
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1371-1371
The
origin
of
anconeus muscle
is
LateralEpicondyleOfHumerus
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1811-1811
The
origin
of
articularis genus muscle
is
FEMUR
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 541-541
The
origin
of
arytenoid (transverse and oblique) muscle
is
ArytenoidCartilageOnOneSide
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 165-165
The
origin
of
auricularis anterior muscle
is
TemporalFascia
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 181-181
The
origin
of
auricularis posterior muscle
is
MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 173-173
The
origin
of
auricularis superior muscle
is
EpicranialAponeurosis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1342-1342
The
origin
of
coracobrachialis muscle
is
CoracoidProcessOfScapula
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1874-1874
The
origin
of
biceps femoris muscle
is
IschialTuberosity
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1350-1350
The
origin
of
brachialis muscle
is
AnteriorSurfaceOfHumerusMainlyDistalHalf
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1491-1491
The
origin
of
brachioradialis muscle
is
LateralSupracondylarRidgeOfHumerus
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 295-295
The
origin
of
buccinator muscle
is
AlveolarProcessesOfMaxillaAndMandiblePterygomandibularRaphe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1150-1150
The
origin
of
bulbospongiosus muscle
is
PerinealRaphe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 395-395
The
origin
of
chondroglossus muscle
is
LesserCornuAndBodyOfHyoidBone
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