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 11985-11986
(
domainSubclass
connectedBodyPart
1
BodyPart
)
Mid-level-ontology.kif 11989-11989
域子類
connectedBodyPart
, 1 and
BodyPart
(
domainSubclass
connectedBodyPart
2
BodyPart
)
Mid-level-ontology.kif 11990-11990
域子類
connectedBodyPart
, 2 and
BodyPart
(
instance
connectedBodyPart
BinaryPredicate
)
Mid-level-ontology.kif 11984-11984
例
connectedBodyPart
and
BinaryPredicate
(
instance
connectedBodyPart
TransitiveRelation
)
Mid-level-ontology.kif 11983-11983
例
connectedBodyPart
and
TransitiveRelation
appearance as argument number 2
(
format
EnglishLanguage
connectedBodyPart
"a %1 is
connected
to a %2")
Mid-level-ontology.kif 11987-11987
(
termFormat
EnglishLanguage
connectedBodyPart
"connected")
Mid-level-ontology.kif 11988-11988
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 11994-12004
connectedBodyPart
BodyPart
and
BodyPart
attribute
Object
and
Healthy
BodyPart
I
BodyPart
I
例
BodyPart
I and
BodyPart
例
BodyPart
I and
BodyPart
部分
BodyPart
I and
Object
部分
BodyPart
I and
Object
連接的
BodyPart
I and
BodyPart
I
consequent
(=>
(
muscleInsertion
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1741-1743
muscleInsertion
BodyPart
and
BodyPart
connectedBodyPart
BodyPart
and
BodyPart
(=>
(
muscleOrigin
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1691-1693
muscleOrigin
BodyPart
and
BodyPart
connectedBodyPart
BodyPart
and
BodyPart
appearance as argument number 0
(
connectedBodyPart
Esophagus
Stomach
)
Mid-level-ontology.kif 12091-12091
connectedBodyPart
Esophagus
and
胃
(
connectedBodyPart
Intestine
Rectum
)
Mid-level-ontology.kif 12093-12093
connectedBodyPart
腸
and
Rectum
(
connectedBodyPart
Mouth
Esophagus
)
Mid-level-ontology.kif 12090-12090
connectedBodyPart
口
and
Esophagus
(
connectedBodyPart
Mouth
Trachea
)
Mid-level-ontology.kif 12117-12117
connectedBodyPart
口
and
Trachea
(
connectedBodyPart
Nose
Trachea
)
Mid-level-ontology.kif 12118-12118
connectedBodyPart
鼻子
and
Trachea
(
connectedBodyPart
Rectum
Anus
)
Mid-level-ontology.kif 12094-12094
connectedBodyPart
Rectum
and
Anus
(
connectedBodyPart
Stomach
Intestine
)
Mid-level-ontology.kif 12092-12092
connectedBodyPart
胃
and
腸
(
connectedBodyPart
Trachea
Lung
)
Mid-level-ontology.kif 12119-12119
connectedBodyPart
Trachea
and
肺
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