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
BodySideFn
Sigma KEE - BodySideFn
BodySideFn
appearance as argument number 1
(
documentation
BodySideFn
EnglishLanguage
"A
Function
that takes a
BodyPart
that normally exists in pairs and returns the part that is on the given side of the body, for example (BodyPartFn Right Lung) or (BodyPartFn Left Arm).")
Merge.kif 14996-14998
(
domain
BodySideFn
1
AntiSymmetricPositionalAttribute
)
Merge.kif 14993-14993
域
BodySideFn
, 1 and
AntiSymmetricPositionalAttribute
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 14994-14994
域子類
BodySideFn
, 2 and
BodyPart
(
instance
BodySideFn
BinaryFunction
)
Merge.kif 14992-14992
例
BodySideFn
and
BinaryFunction
(
rangeSubclass
BodySideFn
BodyPart
)
Merge.kif 14995-14995
範圍子類
BodySideFn
and
BodyPart
appearance as argument number 2
(
format
EnglishLanguage
BodySideFn
"the %1 %2")
Merge.kif 14999-14999
(
termFormat
EnglishLanguage
BodySideFn
"Body side fn")
domainEnglishFormat.kif 64553-64553
antecedent
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 15001-15012
例
Object
and
Animal
例
Object
and
BodySideFn
AntiSymmetricPositionalAttribute
and
BodyPart
相反的屬性
AntiSymmetricPositionalAttribute
and
AntiSymmetricPositionalAttribute
O
attribute
Object
and
Healthy
Object
O
例
Object
O and
BodySideFn
AntiSymmetricPositionalAttribute
O and
BodyPart
方位
Object
,
Object
O and
AntiSymmetricPositionalAttribute
(=>
(
instance
?X
(
BodySideFn
?S ?P))
(
instance
?X ?P))
Merge.kif 15014-15016
例
Entity
and
BodySideFn
AntiSymmetricPositionalAttribute
and
BodyPart
例
Entity
and
BodyPart
consequent
(=>
(
and
(
instance
?A
Animal
)
(
instance
?P
(
BodySideFn
?S ?BPC))
(
contraryAttribute
?S ?SO)
(
attribute
?A
Healthy
))
(
exists
(?PO)
(
and
(
instance
?PO
(
BodySideFn
?SO ?BPC))
(
orientation
?P ?PO ?S))))
Merge.kif 15001-15012
例
Object
and
Animal
例
Object
and
BodySideFn
AntiSymmetricPositionalAttribute
and
BodyPart
相反的屬性
AntiSymmetricPositionalAttribute
and
AntiSymmetricPositionalAttribute
O
attribute
Object
and
Healthy
Object
O
例
Object
O and
BodySideFn
AntiSymmetricPositionalAttribute
O and
BodyPart
方位
Object
,
Object
O and
AntiSymmetricPositionalAttribute
statement
(
subclass
LeftArm
(
BodySideFn
Left
Arm
))
Medicine.kif 2858-2858
子類
LeftArm
and
BodySideFn
左
and
臂
(
subclass
LeftEar
(
BodySideFn
Left
Ear
))
Medicine.kif 2876-2876
子類
LeftEar
and
BodySideFn
左
and
耳
(
subclass
LeftElbow
(
BodySideFn
Left
Elbow
))
Medicine.kif 2864-2864
子類
LeftElbow
and
BodySideFn
左
and
手肘
(
subclass
LeftEye
(
BodySideFn
Left
Eye
))
Medicine.kif 2882-2882
子類
LeftEye
and
BodySideFn
左
and
眼睛
(
subclass
LeftFoot
(
BodySideFn
Left
Foot
))
Medicine.kif 2924-2924
子類
LeftFoot
and
BodySideFn
左
and
足
(
subclass
LeftHand
(
BodySideFn
Left
Hand
))
Medicine.kif 2888-2888
子類
LeftHand
and
BodySideFn
左
and
手
(
subclass
LeftHip
(
BodySideFn
Left
Hip
))
Medicine.kif 2918-2918
子類
LeftHip
and
BodySideFn
左
and
Hip
(
subclass
LeftKidney
(
BodySideFn
Left
Kidney
))
Medicine.kif 2900-2900
子類
LeftKidney
and
BodySideFn
左
and
腎
(
subclass
LeftKnee
(
BodySideFn
Left
Knee
))
Medicine.kif 2912-2912
子類
LeftKnee
and
BodySideFn
左
and
膝蓋
(
subclass
LeftLeg
(
BodySideFn
Left
Leg
))
Medicine.kif 2906-2906
子類
LeftLeg
and
BodySideFn
左
and
腿
(
subclass
LeftLung
(
BodySideFn
Left
Lung
))
Medicine.kif 2894-2894
子類
LeftLung
and
BodySideFn
左
and
肺
(
subclass
LeftShoulder
(
BodySideFn
Left
Shoulder
))
Medicine.kif 2870-2870
子類
LeftShoulder
and
BodySideFn
左
and
肩
(
subclass
LeftThigh
(
BodyAreaFn
(
BodySideFn
Left
ThighMuscle
)))
Medicine.kif 2930-2930
子類
LeftThigh
and
BodyAreaFn
BodySideFn
左
and
ThighMuscle
(
subclass
RightArm
(
BodySideFn
Right
Arm
))
Medicine.kif 2861-2861
子類
RightArm
and
BodySideFn
右
and
臂
(
subclass
RightEar
(
BodySideFn
Right
Ear
))
Medicine.kif 2879-2879
子類
RightEar
and
BodySideFn
右
and
耳
(
subclass
RightElbow
(
BodySideFn
Right
Elbow
))
Medicine.kif 2867-2867
子類
RightElbow
and
BodySideFn
右
and
手肘
(
subclass
RightElbow
(
BodySideFn
Right
Shoulder
))
Medicine.kif 2873-2873
子類
RightElbow
and
BodySideFn
右
and
肩
(
subclass
RightEye
(
BodySideFn
Right
Eye
))
Medicine.kif 2885-2885
子類
RightEye
and
BodySideFn
右
and
眼睛
(
subclass
RightFoot
(
BodySideFn
Right
Foot
))
Medicine.kif 2927-2927
子類
RightFoot
and
BodySideFn
右
and
足
(
subclass
RightHand
(
BodySideFn
Right
Hand
))
Medicine.kif 2891-2891
子類
RightHand
and
BodySideFn
右
and
手
(
subclass
RightHip
(
BodySideFn
Right
Hip
))
Medicine.kif 2921-2921
子類
RightHip
and
BodySideFn
右
and
Hip
(
subclass
RightKidney
(
BodySideFn
Right
Kidney
))
Medicine.kif 2903-2903
子類
RightKidney
and
BodySideFn
右
and
腎
(
subclass
RightKnee
(
BodySideFn
Right
Knee
))
Medicine.kif 2915-2915
子類
RightKnee
and
BodySideFn
右
and
膝蓋
(
subclass
RightLeg
(
BodySideFn
Right
Leg
))
Medicine.kif 2909-2909
子類
RightLeg
and
BodySideFn
右
and
腿
(
subclass
RightLung
(
BodySideFn
Right
Lung
))
Medicine.kif 2897-2897
子類
RightLung
and
BodySideFn
右
and
肺
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