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
antagonistMuscles
Sigma KEE - antagonistMuscles
antagonistMuscles
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10663-10664
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10661-10661
域子類
antagonistMuscles
, 1 and
Muscle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10662-10662
域子類
antagonistMuscles
, 2 and
Muscle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10659-10659
例
antagonistMuscles
and
BinaryPredicate
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10660-10660
例
antagonistMuscles
and
IrreflexiveRelation
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10666-10666
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10665-10665
antecedent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10685-10696
antagonistMuscles
Muscle
and
Muscle
例
Process
and
Extension
儀器
Process
and
Muscle
C
移動
Motion
and
Muscle
C
例
Muscle
C and
Muscle
例
Muscle
C and
Muscle
部分
Muscle
C and
Object
部分
Muscle
C and
Object
例
Object
and
Mammal
能力
Flexion
,
儀器
and
Muscle
C
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10672-10683
antagonistMuscles
Muscle
and
Muscle
例
Motion
and
Flexion
儀器
Motion
and
Muscle
C
移動
Motion
and
Muscle
C
例
Muscle
C and
Muscle
例
Muscle
C and
Muscle
部分
Muscle
C and
Object
部分
Muscle
C and
Object
例
Object
and
Mammal
能力
Extension
,
儀器
and
Muscle
C
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2198-2198
antagonistMuscles
AbductorDigitiMinimiMuscle
and
FlexorDigitiMinimiBrevisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2188-2188
antagonistMuscles
AbductorHallucisMuscle
and
AdductorHallucisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2135-2135
antagonistMuscles
AdductorHallucisMuscle
and
AbductorHallucisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1588-1588
antagonistMuscles
AdductorPollicisMuscle
and
AbductorPollicisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1542-1542
antagonistMuscles
AdductorPollicisMuscle
and
AbductorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10698-10698
antagonistMuscles
Bicep
and
Tricep
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 10700-10700
antagonistMuscles
CalfMuscle
and
ShinMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1193-1193
antagonistMuscles
DeltoidMuscle
and
LatissimusDorsiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2207-2207
antagonistMuscles
DorsalInterosseiMuscle
and
PlantarInterosseiMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 833-833
antagonistMuscles
ErectorSpinaeMuscle
and
RectusAbdominisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 891-891
antagonistMuscles
ErectorSpinaeMuscle
and
RectusAbdominusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1407-1407
antagonistMuscles
ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusExtensorCarpiUlnarisMuscle
and
PalmarisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1398-1398
antagonistMuscles
ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle
and
FlexorCarpiRadialisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1418-1418
antagonistMuscles
ExtensorCarpiUlnarisMuscle
and
FlexorCarpiUlnarisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1625-1625
antagonistMuscles
ExtensorDigitiMinimiMuscle
and
FingerFlexorDigitiMinimiBrevisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2143-2143
antagonistMuscles
ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle
and
FlexorDigitorumBrevisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2070-2070
antagonistMuscles
ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle
and
FlexorDigitorumLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1447-1447
antagonistMuscles
ExtensorDigitorumMuscle
and
FlexorDigitorumProfundusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1427-1427
antagonistMuscles
ExtensorDigitorumMuscle
and
FlexorDigitorumSuperficialisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2178-2178
antagonistMuscles
ExtensorHallucisLongusMuscle
and
FlexorHallucisBrevis
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 2061-2061
antagonistMuscles
ExtensorHallucisLongusMuscle
and
FlexorHallucisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1579-1579
antagonistMuscles
ExtensorPollicisLongusExtensorPollicisBrevisMuscle
and
FlexorPollicisBrevisMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1458-1458
antagonistMuscles
ExtensorPollicisLongusExtensorPollicisBrevisMuscle
and
FlexorPollicisLongusMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1026-1026
antagonistMuscles
ExternalIntercostalsMuscle
and
InternalIntercostalsMuscle
No TPTP formula. May not be expressible in strict first order.
Muscles.kif 1976-1976
antagonistMuscles
FibularisLongusGastrocnemiusSoleusPlantarisTibialisPosteriorMuscle
and
TibialisAnteriorMuscle
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