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
muscleInsertion
の数値 1 引数は
筋肉
の
subclass
では %n
(
domainSubclass
muscleInsertion
2
BodyPart
)
Anatomy.kif 1737-1737
muscleInsertion
の数値 2 引数は
体の部分
の
subclass
では %n
(
instance
muscleInsertion
BinaryPredicate
)
Anatomy.kif 1735-1735
muscleInsertion
は
2進述語
の
instance
では %n
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
muscleInsertion
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
Healthy
は
オブジェクト
の
attribute
では %n
オブジェクト
オブジェクト
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と に
connect
s %n{ない}
(=>
(
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
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
muscleInsertion
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1741-1743
muscleInsertion
体の部分
and
体の部分
connectedBodyPart
体の部分
and
体の部分
appearance as argument number 0
(
muscleInsertion
AbductorDigitiMinimiMuscle
BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
)
Muscles.kif 1611-1611
muscleInsertion
AbductorDigitiMinimiMuscle
and
BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
(
muscleInsertion
AbductorDigitiMinimiMuscle
PhalangesOfFifthToe
)
Muscles.kif 2147-2147
muscleInsertion
AbductorDigitiMinimiMuscle
and
PhalangesOfFifthToe
(
muscleInsertion
AbductorHallucisMuscle
MedialSideOfBaseOfProximalPhalanxOfFirstDigit
)
Muscles.kif 2130-2130
muscleInsertion
AbductorHallucisMuscle
and
MedialSideOfBaseOfProximalPhalanxOfFirstDigit
(
muscleInsertion
AbductorPollicisBrevisMuscle
RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
)
Muscles.kif 1584-1584
muscleInsertion
AbductorPollicisBrevisMuscle
and
RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
(
muscleInsertion
AbductorPollicisLongusMuscle
FirstMetacarpal
)
Muscles.kif 1538-1538
muscleInsertion
AbductorPollicisLongusMuscle
and
FirstMetacarpal
(
muscleInsertion
AbductorPollicisMuscle
RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
)
Muscles.kif 1593-1593
muscleInsertion
AbductorPollicisMuscle
and
RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
(
muscleInsertion
AdductorBrevisMuscle
LesserTrochanterAndLineaAsperaOfFemur
)
Muscles.kif 1941-1941
muscleInsertion
AdductorBrevisMuscle
and
LesserTrochanterAndLineaAsperaOfFemur
(
muscleInsertion
AdductorHallucisMuscle
PhalanxOfBigToe
)
Muscles.kif 2183-2183
muscleInsertion
AdductorHallucisMuscle
and
PhalanxOfBigToe
(
muscleInsertion
AdductorLongusMuscle
MiddleThirdOfLineaAspera
)
Muscles.kif 1950-1950
muscleInsertion
AdductorLongusMuscle
and
MiddleThirdOfLineaAspera
(
muscleInsertion
AdductorMagnusMuscle
FemurAdductorTubercleOfFemur
)
Muscles.kif 1959-1959
muscleInsertion
AdductorMagnusMuscle
and
FemurAdductorTubercleOfFemur
(
muscleInsertion
AdductorMusclesOfTheHipMuscle
FemurTibia
)
Muscles.kif 1908-1908
muscleInsertion
AdductorMusclesOfTheHipMuscle
and
FemurTibia
(
muscleInsertion
AnconeusMuscle
LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
)
Muscles.kif 1372-1372
muscleInsertion
AnconeusMuscle
and
LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
(
muscleInsertion
ArticularisGenusMuscle
SuprapatellarBursa
)
Muscles.kif 1812-1812
muscleInsertion
ArticularisGenusMuscle
and
SuprapatellarBursa
(
muscleInsertion
ArytenoidTransverseAndObliqueMuscle
ArytenoidCartilageOnOppositeSide
)
Muscles.kif 542-542
muscleInsertion
ArytenoidTransverseAndObliqueMuscle
and
ArytenoidCartilageOnOppositeSide
(
muscleInsertion
AuricularisAnteriorMuscle
FrontOfHelixOfEar
)
Muscles.kif 166-166
muscleInsertion
AuricularisAnteriorMuscle
and
FrontOfHelixOfEar
(
muscleInsertion
AuricularisPosteriorMuscle
DorsalPartOfAuricle
)
Muscles.kif 182-182
muscleInsertion
AuricularisPosteriorMuscle
and
DorsalPartOfAuricle
(
muscleInsertion
AuricularisSuperiorMuscle
DorsocranialSurfaceOfAuricle
)
Muscles.kif 174-174
muscleInsertion
AuricularisSuperiorMuscle
and
DorsocranialSurfaceOfAuricle
(
muscleInsertion
BicepsBrachiiMuscle
RadialTuberosity
)
Muscles.kif 1343-1343
muscleInsertion
BicepsBrachiiMuscle
and
RadialTuberosity
(
muscleInsertion
BicepsFemorisMuscle
HeadOfFibula
)
Muscles.kif 1875-1875
muscleInsertion
BicepsFemorisMuscle
and
HeadOfFibula
(
muscleInsertion
BrachialisMuscle
CoronoidProcessOfUlnaTuberosityOfUlna
)
Muscles.kif 1351-1351
muscleInsertion
BrachialisMuscle
and
CoronoidProcessOfUlnaTuberosityOfUlna
(
muscleInsertion
BrachioradialisMuscle
RadialStyloidProcessDistalRadius
)
Muscles.kif 1492-1492
muscleInsertion
BrachioradialisMuscle
and
RadialStyloidProcessDistalRadius
(
muscleInsertion
BuccinatorMuscle
FibresOfOrbicularisOris
)
Muscles.kif 296-296
muscleInsertion
BuccinatorMuscle
and
FibresOfOrbicularisOris
(
muscleInsertion
ChondroglossusMuscle
IntrinsicMuscularFibersOfTongue
)
Muscles.kif 396-396
muscleInsertion
ChondroglossusMuscle
and
IntrinsicMuscularFibersOfTongue
(
muscleInsertion
CoccygeusMuscle
Coccyx
)
Muscles.kif 1090-1090
muscleInsertion
CoccygeusMuscle
and
Coccyx
(
muscleInsertion
CoracobrachialisMuscle
MedialSurfaceOfHumerus
)
Muscles.kif 1333-1333
muscleInsertion
CoracobrachialisMuscle
and
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