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
muscleInsertion
Sigma KEE - muscleInsertion
muscleInsertion
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1731-1733
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1736-1736
The number 1 argument of
muscle insertion
is a
subclass
of
muscle
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1737-1737
The number 2 argument of
muscle insertion
is a
subclass
of
body part
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1735-1735
muscle insertion
is an
instance
of
binary predicate
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1738-1738
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1739-1739
antecedent
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1745-1756
If the
insertion
point 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 1758-1780
If the
insertion
point 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 not
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 1741-1743
If the
insertion
point 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 1611-1611
The
insertion
point of
abductor digiti minimi muscle
is
BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2147-2147
The
insertion
point of
abductor digiti minimi muscle
is
PhalangesOfFifthToe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2130-2130
The
insertion
point of
abductor hallucis muscle
is
MedialSideOfBaseOfProximalPhalanxOfFirstDigit
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1584-1584
The
insertion
point of
abductor pollicis brevis muscle
is
RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1538-1538
The
insertion
point of
abductor pollicis longus muscle
is
FirstMetacarpal
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1593-1593
The
insertion
point of
abductor pollicis brevis muscle
is
RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1941-1941
The
insertion
point of
adductor brevis muscle
is
LesserTrochanterAndLineaAsperaOfFemur
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2183-2183
The
insertion
point of
adductor hallucis muscle
is
PhalanxOfBigToe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1950-1950
The
insertion
point of
adductor longus muscle
is
MiddleThirdOfLineaAspera
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1959-1959
The
insertion
point of
adductor magnus muscle
is
FemurAdductorTubercleOfFemur
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1908-1908
The
insertion
point of
adductor muscles of the &hip
is
FemurTibia
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1372-1372
The
insertion
point of
anconeus muscle
is
LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1812-1812
The
insertion
point of
articularis genus muscle
is
SuprapatellarBursa
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 542-542
The
insertion
point of
arytenoid (transverse and oblique) muscle
is
ArytenoidCartilageOnOppositeSide
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 166-166
The
insertion
point of
auricularis anterior muscle
is
FrontOfHelixOfEar
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 182-182
The
insertion
point of
auricularis posterior muscle
is
DorsalPartOfAuricle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 174-174
The
insertion
point of
auricularis superior muscle
is
DorsocranialSurfaceOfAuricle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1343-1343
The
insertion
point of
coracobrachialis muscle
is
RadialTuberosity
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1875-1875
The
insertion
point of
biceps femoris muscle
is
HeadOfFibula
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1351-1351
The
insertion
point of
brachialis muscle
is
CoronoidProcessOfUlnaTuberosityOfUlna
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1492-1492
The
insertion
point of
brachioradialis muscle
is
RadialStyloidProcessDistalRadius
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 296-296
The
insertion
point of
buccinator muscle
is
FibresOfOrbicularisOris
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 396-396
The
insertion
point of
chondroglossus muscle
is
IntrinsicMuscularFibersOfTongue
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1090-1090
The
insertion
point of
coccygeus muscle
is
coccyx
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1333-1333
The
insertion
point of
coracobrachialis muscle
is
MedialSurfaceOfHumerus
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