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
connectedBodyPart
Sigma KEE - connectedBodyPart
connectedBodyPart
appearance as argument number 1
(
documentation
connectedBodyPart
EnglishLanguage
"A
Relation
between
Class
es of
part
s of a
Healthy
Animal
that are
connected
.")
Mid-level-ontology.kif 11957-11958
(
domainSubclass
connectedBodyPart
1
BodyPart
)
Mid-level-ontology.kif 11961-11961
(
domainSubclass
connectedBodyPart
2
BodyPart
)
Mid-level-ontology.kif 11962-11962
(
instance
connectedBodyPart
BinaryPredicate
)
Mid-level-ontology.kif 11956-11956
(
instance
connectedBodyPart
TransitiveRelation
)
Mid-level-ontology.kif 11955-11955
appearance as argument number 2
(
format
EnglishLanguage
connectedBodyPart
"a %1 is
connected
to a %2")
Mid-level-ontology.kif 11959-11959
(
termFormat
EnglishLanguage
connectedBodyPart
"connected")
Mid-level-ontology.kif 11960-11960
antecedent
(=>
(
and
(
connectedBodyPart
?A ?B)
(
attribute
?H
Healthy
))
(
exists
(?AI ?BI)
(
and
(
instance
?AI ?A)
(
instance
?BI ?B)
(
part
?AI ?H)
(
part
?BI ?H)
(
connected
?AI ?BI))))
Mid-level-ontology.kif 11966-11976
consequent
(=>
(
and
(
instance
?R
CervicalVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
CervicalVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 561-574
(=>
(
and
(
instance
?R
FalseRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
not
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R)))))
Anatomy.kif 505-517
(=>
(
and
(
instance
?R
LumbarVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
LumbarVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 601-614
(=>
(
and
(
instance
?R
ThoracicVertebraBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
ThoracicVertebraBone
)
(
not
(
equal
?S ?R))
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 669-682
(=>
(
and
(
instance
?R
TrueRibBone
)
(
part
?R ?H)
(
instance
?H
Human
)
(
not
(
attribute
?H
DiseaseOrSyndrome
)))
(
exists
(?S)
(
and
(
instance
?S
Sternum
)
(
part
?S ?H)
(
connectedBodyPart
?S ?R))))
Anatomy.kif 492-503
(=>
(
muscleInsertion
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1741-1743
(=>
(
muscleOrigin
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1691-1693
appearance as argument number 0
(
connectedBodyPart
Esophagus
Stomach
)
Mid-level-ontology.kif 12063-12063
(
connectedBodyPart
Intestine
Rectum
)
Mid-level-ontology.kif 12065-12065
(
connectedBodyPart
Mouth
Esophagus
)
Mid-level-ontology.kif 12062-12062
(
connectedBodyPart
Mouth
Trachea
)
Mid-level-ontology.kif 12089-12089
(
connectedBodyPart
Nose
Trachea
)
Mid-level-ontology.kif 12090-12090
(
connectedBodyPart
Rectum
Anus
)
Mid-level-ontology.kif 12066-12066
(
connectedBodyPart
Stomach
Intestine
)
Mid-level-ontology.kif 12064-12064
(
connectedBodyPart
Trachea
Lung
)
Mid-level-ontology.kif 12091-12091
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