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
(
documentation
muscleInsertion
EnglishLanguage
"The insertion of a muscle is an attachment site that connects the MMuscle to a
Bone
. This point is typically distal to the body and moves during
MuscularContraction
(relative to
StandardAnatomicalPosition
).[from Wikipedia]")
Anatomy.kif 1731-1733
(
domainSubclass
muscleInsertion
1
Muscle
)
Anatomy.kif 1736-1736
(
domainSubclass
muscleInsertion
2
BodyPart
)
Anatomy.kif 1737-1737
(
instance
muscleInsertion
BinaryPredicate
)
Anatomy.kif 1735-1735
appearance as argument number 2
(
format
EnglishLanguage
muscleInsertion
"the insertion point of %1 is %2")
Anatomy.kif 1738-1738
(
termFormat
EnglishLanguage
muscleInsertion
"muscle insertion")
Anatomy.kif 1739-1739
antecedent
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
attribute
?H
Healthy
))
(
exists
(?M ?BP)
(
and
(
instance
?M ?MC)
(
instance
?BP ?BPC)
(
part
?M ?H)
(
part
?BP ?H)
(
connects
?M ?BP))))
Anatomy.kif 1745-1756
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
(=>
(
muscleInsertion
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1741-1743
appearance as argument number 0
(
muscleInsertion
AbductorDigitiMinimiMuscle
BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
)
Muscles.kif 1611-1611
(
muscleInsertion
AbductorDigitiMinimiMuscle
PhalangesOfFifthToe
)
Muscles.kif 2147-2147
(
muscleInsertion
AbductorHallucisMuscle
MedialSideOfBaseOfProximalPhalanxOfFirstDigit
)
Muscles.kif 2130-2130
(
muscleInsertion
AbductorPollicisBrevisMuscle
RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
)
Muscles.kif 1584-1584
(
muscleInsertion
AbductorPollicisLongusMuscle
FirstMetacarpal
)
Muscles.kif 1538-1538
(
muscleInsertion
AbductorPollicisMuscle
RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
)
Muscles.kif 1593-1593
(
muscleInsertion
AdductorBrevisMuscle
LesserTrochanterAndLineaAsperaOfFemur
)
Muscles.kif 1941-1941
(
muscleInsertion
AdductorHallucisMuscle
PhalanxOfBigToe
)
Muscles.kif 2183-2183
(
muscleInsertion
AdductorLongusMuscle
MiddleThirdOfLineaAspera
)
Muscles.kif 1950-1950
(
muscleInsertion
AdductorMagnusMuscle
FemurAdductorTubercleOfFemur
)
Muscles.kif 1959-1959
(
muscleInsertion
AdductorMusclesOfTheHipMuscle
FemurTibia
)
Muscles.kif 1908-1908
(
muscleInsertion
AnconeusMuscle
LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
)
Muscles.kif 1372-1372
(
muscleInsertion
ArticularisGenusMuscle
SuprapatellarBursa
)
Muscles.kif 1812-1812
(
muscleInsertion
ArytenoidTransverseAndObliqueMuscle
ArytenoidCartilageOnOppositeSide
)
Muscles.kif 542-542
(
muscleInsertion
AuricularisAnteriorMuscle
FrontOfHelixOfEar
)
Muscles.kif 166-166
(
muscleInsertion
AuricularisPosteriorMuscle
DorsalPartOfAuricle
)
Muscles.kif 182-182
(
muscleInsertion
AuricularisSuperiorMuscle
DorsocranialSurfaceOfAuricle
)
Muscles.kif 174-174
(
muscleInsertion
BicepsBrachiiMuscle
RadialTuberosity
)
Muscles.kif 1343-1343
(
muscleInsertion
BicepsFemorisMuscle
HeadOfFibula
)
Muscles.kif 1875-1875
(
muscleInsertion
BrachialisMuscle
CoronoidProcessOfUlnaTuberosityOfUlna
)
Muscles.kif 1351-1351
(
muscleInsertion
BrachioradialisMuscle
RadialStyloidProcessDistalRadius
)
Muscles.kif 1492-1492
(
muscleInsertion
BuccinatorMuscle
FibresOfOrbicularisOris
)
Muscles.kif 296-296
(
muscleInsertion
ChondroglossusMuscle
IntrinsicMuscularFibersOfTongue
)
Muscles.kif 396-396
(
muscleInsertion
CoccygeusMuscle
Coccyx
)
Muscles.kif 1090-1090
(
muscleInsertion
CoracobrachialisMuscle
MedialSurfaceOfHumerus
)
Muscles.kif 1333-1333
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