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
connectedBodyPart
的 1 数量 是
身体部位
的
subclass
(
domainSubclass
connectedBodyPart
2
BodyPart
)
Mid-level-ontology.kif 11963-11963
connectedBodyPart
的 2 数量 是
身体部位
的
subclass
(
instance
connectedBodyPart
BinaryPredicate
)
Mid-level-ontology.kif 11957-11957
connectedBodyPart
是
二元谓语
的
instance
(
instance
connectedBodyPart
TransitiveRelation
)
Mid-level-ontology.kif 11956-11956
connectedBodyPart
是
传递关系
的
instance
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
如果
connectedBodyPart
有点 身体部位
and
另一个 有点 身体部位
和
Healthy
是
客体
的
attribute
,
然后 有存在
有点 身体部位
I 和
另一个 有点 身体部位
I 这样
那个 有点 身体部位
I 是
那个 有点 身体部位
的
instance
和
那个 另外 有点 身体部位
I 是
那个 另外 有点 身体部位
的
instance
和
那个 有点 身体部位
I 是
那个 客体
的
part
和
那个 另外 有点 身体部位
I 是
那个 客体
的
part
和
那个 有点 身体部位
I 和
那个 另外 有点 身体部位
I 是
connected
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
如果
有点 身体部位
是
CervicalVertebraBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
CervicalVertebraBone
的
instance
和
那个 另外 有点 身体部位
不
equal
那个 有点 身体部位
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
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
如果
有点 身体部位
是
FalseRibBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 不存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
Sternum
的
instance
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
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
如果
有点 身体部位
是
LumbarVertebraBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
LumbarVertebraBone
的
instance
和
那个 另外 有点 身体部位
不
equal
那个 有点 身体部位
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
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
如果
有点 身体部位
是
ThoracicVertebraBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
ThoracicVertebraBone
的
instance
和
那个 另外 有点 身体部位
不
equal
那个 有点 身体部位
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
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
如果
有点 身体部位
是
TrueRibBone
的
instance
和
有点 身体部位
是
客体
的
part
和
那个 客体
是
人类
的
instance
和
疾病或综合症
不 是
那个 客体
的
attribute
,
然后 有存在
另一个 有点 身体部位
这样
另一个 有点 身体部位
是
Sternum
的
instance
和
那个 另外 有点 身体部位
是
那个 客体
的
part
和
connectedBodyPart
那个 另外 有点 身体部位
and
那个 有点 身体部位
(=>
(
muscleInsertion
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1741-1743
如果
muscleInsertion
有点 身体部位
and
另一个 有点 身体部位
,
然后
connectedBodyPart
有点 身体部位
and
另一个 有点 身体部位
(=>
(
muscleOrigin
?MC ?BPC)
(
connectedBodyPart
?MC ?BPC))
Anatomy.kif 1691-1693
如果
muscleOrigin
有点 身体部位
and
另一个 有点 身体部位
,
然后
connectedBodyPart
有点 身体部位
and
另一个 有点 身体部位
appearance as argument number 0
(
connectedBodyPart
Esophagus
Stomach
)
Mid-level-ontology.kif 12064-12064
connectedBodyPart
Esophagus
and
胃
(
connectedBodyPart
Intestine
Rectum
)
Mid-level-ontology.kif 12066-12066
connectedBodyPart
肠
and
Rectum
(
connectedBodyPart
Mouth
Esophagus
)
Mid-level-ontology.kif 12063-12063
connectedBodyPart
口
and
Esophagus
(
connectedBodyPart
Mouth
Trachea
)
Mid-level-ontology.kif 12090-12090
connectedBodyPart
口
and
Trachea
(
connectedBodyPart
Nose
Trachea
)
Mid-level-ontology.kif 12091-12091
connectedBodyPart
鼻子
and
Trachea
(
connectedBodyPart
Rectum
Anus
)
Mid-level-ontology.kif 12067-12067
connectedBodyPart
Rectum
and
Anus
(
connectedBodyPart
Stomach
Intestine
)
Mid-level-ontology.kif 12065-12065
connectedBodyPart
胃
and
肠
(
connectedBodyPart
Trachea
Lung
)
Mid-level-ontology.kif 12092-12092
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