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 11958-11959
(
domainSubclass
connectedBodyPart
1
BodyPart
)
Mid-level-ontology.kif 11962-11962
The number 1 argument of
connected
is a
subclass
of
body part
(
domainSubclass
connectedBodyPart
2
BodyPart
)
Mid-level-ontology.kif 11963-11963
The number 2 argument of
connected
is a
subclass
of
body part
(
instance
connectedBodyPart
BinaryPredicate
)
Mid-level-ontology.kif 11957-11957
connected
is an
instance
of
binary predicate
(
instance
connectedBodyPart
TransitiveRelation
)
Mid-level-ontology.kif 11956-11956
connected
is an
instance
of
transitive relation
appearance as argument number 2
(
format
EnglishLanguage
connectedBodyPart
"a %1 is
connected
to a %2")
Mid-level-ontology.kif 11960-11960
(
termFormat
EnglishLanguage
connectedBodyPart
"connected")
Mid-level-ontology.kif 11961-11961
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 11967-11977
If a
a kind of body part
is
connected
to a
another kind of body part
and
healthy
is an
attribute
of
an object
,
then there exist
a kind of body part
I and
another kind of body part
I such that
the kind of body part
I is an
instance
of
the kind of body part
and
the other kind of body part
I is an
instance
of
the other kind of body part
and
the kind of body part
I is a
part
of
the object
and
the other kind of body part
I is a
part
of
the object
and
the kind of body part
I is
connected
to
the other kind of body part
I
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
If
a kind of body part
is an
instance
of
cervical vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
cervical vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
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
If
a kind of body part
is an
instance
of
costae spuriae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there doesn't exist
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
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
If
a kind of body part
is an
instance
of
lumbar vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
lumbar vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
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
If
a kind of body part
is an
instance
of
thoracic vertebra bone
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
thoracic vertebra bone
and
the other kind of body part
is not
equal
to
the kind of body part
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
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
If
a kind of body part
is an
instance
of
costae verae
and
a kind of body part
is a
part
of
an object
and
the object
is an
instance
of
human
and
disease or syndrome
is not an
attribute
of
the object
,
then there exists
another kind of body part
such that
another kind of body part
is an
instance
of
sternum
and
the other kind of body part
is a
part
of
the object
and a
the other kind of body part
is
connected
to a
the kind of body part
(=>
(
muscleInsertion
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1741-1743
If the
insertion
point of
a kind of body part
is
another kind of body part
,
then a
a kind of body part
is
connected
to a
another kind of body part
(=>
(
muscleOrigin
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1691-1693
If the
origin
of
a kind of body part
is
another kind of body part
,
then a
a kind of body part
is
connected
to a
another kind of body part
appearance as argument number 0
(
connectedBodyPart
Esophagus
Stomach
)
Mid-level-ontology.kif 12064-12064
A
esophagus
is
connected
to a
stomach
(
connectedBodyPart
Intestine
Rectum
)
Mid-level-ontology.kif 12066-12066
A
intestine
is
connected
to a
rectum
(
connectedBodyPart
Mouth
Esophagus
)
Mid-level-ontology.kif 12063-12063
A
mouth
is
connected
to a
esophagus
(
connectedBodyPart
Mouth
Trachea
)
Mid-level-ontology.kif 12090-12090
A
mouth
is
connected
to a
trachea
(
connectedBodyPart
Nose
Trachea
)
Mid-level-ontology.kif 12091-12091
A
nose
is
connected
to a
trachea
(
connectedBodyPart
Rectum
Anus
)
Mid-level-ontology.kif 12067-12067
A
rectum
is
connected
to a
anus
(
connectedBodyPart
Stomach
Intestine
)
Mid-level-ontology.kif 12065-12065
A
stomach
is
connected
to a
intestine
(
connectedBodyPart
Trachea
Lung
)
Mid-level-ontology.kif 12092-12092
A
trachea
is
connected
to a
lung
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