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
muscleInsertion
的 1 数量 是
肌肉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1737-1737
muscleInsertion
的 2 数量 是
身体部位
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1735-1735
muscleInsertion
是
二元谓语
的
instance
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
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
有点 肌肉
的
instance
和
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
connects
那个 第三 客体
和
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1758-1780
如果
muscleInsertion
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
StandardAnatomicalPosition
是
那个 客体
的
attribute
在
时距
holdsDuring
和
Healthy
是
那个 客体
的
attribute
和
另一个 时距
是
MuscularContraction
的
instance
和
那个 另外 时距
出现 的
time
在
那个 时距
时段内发生 和
另一个 客体
是
有点 肌肉
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 另外 客体
是导致
那个 另外 时距
的
instrument
和
physicalEnd
第三 客体
and
那个 另外 客体
和
那个 第三 客体
接上
第四 客体
和
那个 第三 客体
是
located
在
实体
在
那个 另外 时距
的开始
holdsDuring
,
然后
那个 第三 客体
不 是
located
在
那个 实体
在
那个 另外 时距
的结束
holdsDuring
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1741-1743
如果
muscleInsertion
有点 身体部位
and
另一个 有点 身体部位
,
然后
connectedBodyPart
有点 身体部位
and
另一个 有点 身体部位
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1611-1611
muscleInsertion
AbductorDigitiMinimiMuscle
and
BaseOfProximalPhalanxOf5ThDigitOnUlnarOrMedialSide
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2147-2147
muscleInsertion
AbductorDigitiMinimiMuscle
and
PhalangesOfFifthToe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2130-2130
muscleInsertion
AbductorHallucisMuscle
and
MedialSideOfBaseOfProximalPhalanxOfFirstDigit
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1584-1584
muscleInsertion
AbductorPollicisBrevisMuscle
and
RadialBaseOfProximalPhalanxOfThumbAndThumbExtensors
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1538-1538
muscleInsertion
AbductorPollicisLongusMuscle
and
FirstMetacarpal
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1593-1593
muscleInsertion
AbductorPollicisMuscle
and
RadialBaseOfProximalPhalanxOfThumbAndUlnarSesamoid
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1941-1941
muscleInsertion
AdductorBrevisMuscle
and
LesserTrochanterAndLineaAsperaOfFemur
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2183-2183
muscleInsertion
AdductorHallucisMuscle
and
PhalanxOfBigToe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1950-1950
muscleInsertion
AdductorLongusMuscle
and
MiddleThirdOfLineaAspera
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1959-1959
muscleInsertion
AdductorMagnusMuscle
and
FemurAdductorTubercleOfFemur
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1908-1908
muscleInsertion
AdductorMusclesOfTheHipMuscle
and
FemurTibia
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1372-1372
muscleInsertion
AnconeusMuscle
and
LateralSurfaceOfOlecranonSuperiorPartOfPosteriorUlna
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1812-1812
muscleInsertion
ArticularisGenusMuscle
and
SuprapatellarBursa
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 542-542
muscleInsertion
ArytenoidTransverseAndObliqueMuscle
and
ArytenoidCartilageOnOppositeSide
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 166-166
muscleInsertion
AuricularisAnteriorMuscle
and
FrontOfHelixOfEar
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 182-182
muscleInsertion
AuricularisPosteriorMuscle
and
DorsalPartOfAuricle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 174-174
muscleInsertion
AuricularisSuperiorMuscle
and
DorsocranialSurfaceOfAuricle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1343-1343
muscleInsertion
BicepsBrachiiMuscle
and
RadialTuberosity
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1875-1875
muscleInsertion
BicepsFemorisMuscle
and
HeadOfFibula
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1351-1351
muscleInsertion
BrachialisMuscle
and
CoronoidProcessOfUlnaTuberosityOfUlna
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1492-1492
muscleInsertion
BrachioradialisMuscle
and
RadialStyloidProcessDistalRadius
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 296-296
muscleInsertion
BuccinatorMuscle
and
FibresOfOrbicularisOris
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 396-396
muscleInsertion
ChondroglossusMuscle
and
IntrinsicMuscularFibersOfTongue
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1090-1090
muscleInsertion
CoccygeusMuscle
and
Coccyx
No TPTP formula. May not be expressible in strict first order.
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