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 15020-15022
(
domain
BodySideFn
1
AntiSymmetricPositionalAttribute
)
Merge.kif 15017-15017
Die Zahl 1 Argument von
BodySideFn
ist ein
fall
von
AntiSymmetricPositionalAttribute
%n{nicht}
(
domainSubclass
BodySideFn
2
BodyPart
)
Merge.kif 15018-15018
Die Zahl 2 Argument von
BodySideFn
ist eine
teilkategorie
von
BodyPart
%n{nicht}
(
instance
BodySideFn
BinaryFunction
)
Merge.kif 15016-15016
BodySideFn
ist ein
fall
von
BinaryFunction
%n{nicht}
(
rangeSubclass
BodySideFn
BodyPart
)
Merge.kif 15019-15019
Die werte die
BodySideFn
zurueckgibt sind
teilkategorien
von
BodyPart
appearance as argument number 2
(
format
EnglishLanguage
BodySideFn
"the %1 %2")
Merge.kif 15023-15023
(
termFormat
EnglishLanguage
BodySideFn
"Body side fn")
domainEnglishFormat.kif 64555-64555
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 15025-15036
Wenn
Object
ist ein
fall
von
Animal
%n{nicht} und
** Object
ist ein
fall
von
BodySideFn
AntiSymmetricPositionalAttribute
and
** BodyPart
%n{nicht} und
** AntiSymmetricPositionalAttribute
wird
** AntiSymmetricPositionalAttribute
O
entgegengesetzet
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** ** Object
O um
** ** Object
O ist ein
fall
von
BodySideFn
** AntiSymmetricPositionalAttribute
O and
** BodyPart
%n{nicht} und
** ** Object
ist
** AntiSymmetricPositionalAttribute
hinsichlich
** ** Object
O %n{nicht}
(=>
(
instance
?X
(
BodySideFn
?S ?P))
(
instance
?X ?P))
Merge.kif 15038-15040
Wenn
Entity
ist ein
fall
von
BodySideFn
AntiSymmetricPositionalAttribute
and
** BodyPart
%n{nicht},
dann
** Entity
ist ein
fall
von
** BodyPart
%n{nicht}
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 15025-15036
Wenn
Object
ist ein
fall
von
Animal
%n{nicht} und
** Object
ist ein
fall
von
BodySideFn
AntiSymmetricPositionalAttribute
and
** BodyPart
%n{nicht} und
** AntiSymmetricPositionalAttribute
wird
** AntiSymmetricPositionalAttribute
O
entgegengesetzet
%n{nicht} und
Healthy
ist ein
attribut
von
** Object
%n{nicht},
dann es gibt
** ** Object
O um
** ** Object
O ist ein
fall
von
BodySideFn
** AntiSymmetricPositionalAttribute
O and
** BodyPart
%n{nicht} und
** ** Object
ist
** AntiSymmetricPositionalAttribute
hinsichlich
** ** Object
O %n{nicht}
statement
(
subclass
LeftArm
(
BodySideFn
Left
Arm
))
Medicine.kif 2858-2858
LeftArm
ist eine
teilkategorie
von
BodySideFn
Left
and
Arm
(
subclass
LeftEar
(
BodySideFn
Left
Ear
))
Medicine.kif 2876-2876
LeftEar
ist eine
teilkategorie
von
BodySideFn
Left
and
Ear
(
subclass
LeftElbow
(
BodySideFn
Left
Elbow
))
Medicine.kif 2864-2864
LeftElbow
ist eine
teilkategorie
von
BodySideFn
Left
and
Elbow
(
subclass
LeftEye
(
BodySideFn
Left
Eye
))
Medicine.kif 2882-2882
LeftEye
ist eine
teilkategorie
von
BodySideFn
Left
and
Eye
(
subclass
LeftFoot
(
BodySideFn
Left
Foot
))
Medicine.kif 2924-2924
LeftFoot
ist eine
teilkategorie
von
BodySideFn
Left
and
Foot
(
subclass
LeftHand
(
BodySideFn
Left
Hand
))
Medicine.kif 2888-2888
LeftHand
ist eine
teilkategorie
von
BodySideFn
Left
and
Hand
(
subclass
LeftHip
(
BodySideFn
Left
Hip
))
Medicine.kif 2918-2918
LeftHip
ist eine
teilkategorie
von
BodySideFn
Left
and
Hip
(
subclass
LeftKidney
(
BodySideFn
Left
Kidney
))
Medicine.kif 2900-2900
LeftKidney
ist eine
teilkategorie
von
BodySideFn
Left
and
Kidney
(
subclass
LeftKnee
(
BodySideFn
Left
Knee
))
Medicine.kif 2912-2912
LeftKnee
ist eine
teilkategorie
von
BodySideFn
Left
and
Knee
(
subclass
LeftLeg
(
BodySideFn
Left
Leg
))
Medicine.kif 2906-2906
LeftLeg
ist eine
teilkategorie
von
BodySideFn
Left
and
Leg
(
subclass
LeftLung
(
BodySideFn
Left
Lung
))
Medicine.kif 2894-2894
LeftLung
ist eine
teilkategorie
von
BodySideFn
Left
and
Lung
(
subclass
LeftShoulder
(
BodySideFn
Left
Shoulder
))
Medicine.kif 2870-2870
LeftShoulder
ist eine
teilkategorie
von
BodySideFn
Left
and
Shoulder
(
subclass
LeftThigh
(
BodyAreaFn
(
BodySideFn
Left
ThighMuscle
)))
Medicine.kif 2930-2930
LeftThigh
ist eine
teilkategorie
von
BodyAreaFn
BodySideFn
Left
and
ThighMuscle
(
subclass
RightArm
(
BodySideFn
Right
Arm
))
Medicine.kif 2861-2861
RightArm
ist eine
teilkategorie
von
BodySideFn
Right
and
Arm
(
subclass
RightEar
(
BodySideFn
Right
Ear
))
Medicine.kif 2879-2879
RightEar
ist eine
teilkategorie
von
BodySideFn
Right
and
Ear
(
subclass
RightElbow
(
BodySideFn
Right
Elbow
))
Medicine.kif 2867-2867
RightElbow
ist eine
teilkategorie
von
BodySideFn
Right
and
Elbow
(
subclass
RightElbow
(
BodySideFn
Right
Shoulder
))
Medicine.kif 2873-2873
RightElbow
ist eine
teilkategorie
von
BodySideFn
Right
and
Shoulder
(
subclass
RightEye
(
BodySideFn
Right
Eye
))
Medicine.kif 2885-2885
RightEye
ist eine
teilkategorie
von
BodySideFn
Right
and
Eye
(
subclass
RightFoot
(
BodySideFn
Right
Foot
))
Medicine.kif 2927-2927
RightFoot
ist eine
teilkategorie
von
BodySideFn
Right
and
Foot
(
subclass
RightHand
(
BodySideFn
Right
Hand
))
Medicine.kif 2891-2891
RightHand
ist eine
teilkategorie
von
BodySideFn
Right
and
Hand
(
subclass
RightHip
(
BodySideFn
Right
Hip
))
Medicine.kif 2921-2921
RightHip
ist eine
teilkategorie
von
BodySideFn
Right
and
Hip
(
subclass
RightKidney
(
BodySideFn
Right
Kidney
))
Medicine.kif 2903-2903
RightKidney
ist eine
teilkategorie
von
BodySideFn
Right
and
Kidney
(
subclass
RightKnee
(
BodySideFn
Right
Knee
))
Medicine.kif 2915-2915
RightKnee
ist eine
teilkategorie
von
BodySideFn
Right
and
Knee
(
subclass
RightLeg
(
BodySideFn
Right
Leg
))
Medicine.kif 2909-2909
RightLeg
ist eine
teilkategorie
von
BodySideFn
Right
and
Leg
(
subclass
RightLung
(
BodySideFn
Right
Lung
))
Medicine.kif 2897-2897
RightLung
ist eine
teilkategorie
von
BodySideFn
Right
and
Lung
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