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
muscleOrigin
的 1 数量 是
肌肉
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1687-1687
muscleOrigin
的 2 数量 是
身体部位
的
subclass
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1685-1685
muscleOrigin
是
二元谓语
的
instance
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
如果
muscleOrigin
有点 肌肉
and
有点 身体部位
和
客体
是
人类
的
instance
和
Healthy
是
那个 客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是
有点 肌肉
的
instance
和
那个 第三 客体
是
有点 身体部位
的
instance
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
connects
那个 第三 客体
和
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1708-1729
如果
muscleOrigin
有点 肌肉
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 1691-1693
如果
muscleOrigin
有点 身体部位
and
另一个 有点 身体部位
,
然后
connectedBodyPart
有点 身体部位
and
另一个 有点 身体部位
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1610-1610
muscleOrigin
AbductorDigitiMinimiMuscle
and
Pisiform
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2146-2146
muscleOrigin
AbductorDigitiMinimiMuscle
and
PlantarAponeurosis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2129-2129
muscleOrigin
AbductorHallucisMuscle
and
MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1583-1583
muscleOrigin
AbductorPollicisBrevisMuscle
and
FlexorRetinaculumOfHandScaphoidAndTrapezium
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1537-1537
muscleOrigin
AbductorPollicisLongusMuscle
and
Ulna
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1592-1592
muscleOrigin
AbductorPollicisMuscle
and
AnteriorBoidyOfThirdMetacarpal
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1940-1940
muscleOrigin
AdductorBrevisMuscle
and
AnteriorSurfaceOfInferiorPubicRamus11
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2182-2182
muscleOrigin
AdductorHallucisMuscle
and
ProximalEndOfmetatarsal
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1949-1949
muscleOrigin
AdductorLongusMuscle
and
PubicBodyJustBelowPubicCrest
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1907-1907
muscleOrigin
AdductorMusclesOfTheHipMuscle
and
Pubis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 243-243
muscleOrigin
AlarPartDilatorNarisMuscle
and
AlveolarYokeOfIncisorTooth
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 244-244
muscleOrigin
AlarPartDilatorNarisMuscle
and
SkinNearMarginOfNostril
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1371-1371
muscleOrigin
AnconeusMuscle
and
LateralEpicondyleOfHumerus
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1811-1811
muscleOrigin
ArticularisGenusMuscle
and
Femur
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 541-541
muscleOrigin
ArytenoidTransverseAndObliqueMuscle
and
ArytenoidCartilageOnOneSide
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 165-165
muscleOrigin
AuricularisAnteriorMuscle
and
TemporalFascia
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 181-181
muscleOrigin
AuricularisPosteriorMuscle
and
MastoidProcessOfTemporalBoneTendonOfSternocleidomastoid
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 173-173
muscleOrigin
AuricularisSuperiorMuscle
and
EpicranialAponeurosis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1342-1342
muscleOrigin
BicepsBrachiiMuscle
and
CoracoidProcessOfScapula
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1874-1874
muscleOrigin
BicepsFemorisMuscle
and
IschialTuberosity
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1350-1350
muscleOrigin
BrachialisMuscle
and
AnteriorSurfaceOfHumerusMainlyDistalHalf
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1491-1491
muscleOrigin
BrachioradialisMuscle
and
LateralSupracondylarRidgeOfHumerus
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 295-295
muscleOrigin
BuccinatorMuscle
and
AlveolarProcessesOfMaxillaAndMandiblePterygomandibularRaphe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1150-1150
muscleOrigin
BulbospongiosusMuscle
and
PerinealRaphe
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 395-395
muscleOrigin
ChondroglossusMuscle
and
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