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
MilitaryArtifact
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 and
Muscle
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1687-1687
域子類
muscleOrigin
, 2 and
BodyPart
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1685-1685
例
muscleOrigin
and
BinaryPredicate
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
Muscle
and
BodyPart
例
Object
and
Human
attribute
Object
and
Healthy
Object
Object
例
Object
and
Muscle
例
Object
and
BodyPart
部分
Object
and
Object
部分
Object
and
Object
連接
Object
and
Object
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1708-1729
muscleOrigin
Muscle
and
BodyPart
例
Object
and
Human
持有期間
TimeInterval
and
attribute
Object
and
StandardAnatomicalPosition
attribute
Object
and
Healthy
例
TimeInterval
and
MuscularContraction
期間
何時
TimeInterval
and
TimeInterval
例
Object
and
Muscle
部分
Object
and
Object
儀器
TimeInterval
and
Object
physicalEnd
Object
and
Object
空間的符合
Object
and
Object
持有期間
開始
TimeInterval
and
位於
Object
and
entity
持有期間
結束
TimeInterval
and
位於
Object
and
entity
No TPTP formula. May not be expressible in strict first order.
Anatomy.kif 1691-1693
muscleOrigin
BodyPart
and
BodyPart
connectedBodyPart
BodyPart
and
BodyPart
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