Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - BodySideFn
BodySideFn

appearance as argument number 1
-------------------------


(instance BodySideFn BinaryFunction) Merge.kif 15279-15279 Body side fn is an instance of binary function
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) Merge.kif 15280-15280 The number 1 argument of Body side fn is an instance of anti_symmetric positional attribute
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 15281-15281 The number 2 argument of Body side fn is a subclass of body part
(rangeSubclass BodySideFn BodyPart) Merge.kif 15282-15282 The values returned by Body side fn are subclasses of body part
(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 15283-15285 The values returned by Body side fn are subclasses of body part

appearance as argument number 2
-------------------------


(format EnglishLanguage BodySideFn "the %1 %2") Merge.kif 15286-15286
(termFormat EnglishLanguage BodySideFn "Body side fn") domainEnglishFormat.kif 64556-64556

antecedent
-------------------------


(=>
    (instance ?X
        (BodySideFn ?S ?P))
    (instance ?X ?P))		 Merge.kif 15288-15290 If X is an instance of the Y Z, then X is an instance of Z
(=>
    (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))))		 Mid-level-ontology.kif 32926-32937 If X is an instance of animal, Y is an instance of the Z W, Z is the opposite of V, and healthy is an attribute of X, then there exists U such that U is an instance of the V W and Y is Z to U
(=>
    (and
        (instance ?B Winking)
        (patient ?B ?E)
        (or
            (instance ?E
                (BodySideFn Left Eye))
            (instance ?E
                (BodySideFn Right Eye))))
    (exists (?T)
        (and
            (holdsDuring ?T
                (attribute ?E Closed))
            (during
                (WhenFn ?B) ?T)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?B))
                (attribute ?E Open))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?B))
                (attribute ?E Open)))))		 emotion.kif 2017-2039 If X is an instance of winking, Y is a patient of X, and Y is an instance of the left of eye or Y is an instance of the right of eye, then there exists Z such that closed is an attribute of Y holds during Z, the time of existence of X takes place during Z, open is an attribute of Y holds during immediately before the time of existence of X, and open is an attribute of Y holds during immediately after the time of existence of X

consequent
-------------------------


(=>
    (and
        (instance ?E BothEyes)
        (member ?R ?E)
        (member ?L ?E))
    (and
        (instance ?R
            (BodySideFn Right Eye))
        (instance ?L
            (BodySideFn Left Eye))))		 Mid-level-ontology.kif 21919-21928 If X is an instance of both eyes, Y is a member of X, and Z is a member of X, then Y is an instance of the right of eye and Z is an instance of the left of eye
(=>
    (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))))		 Mid-level-ontology.kif 32926-32937 If X is an instance of animal, Y is an instance of the Z W, Z is the opposite of V, and healthy is an attribute of X, then there exists U such that U is an instance of the V W and Y is Z to U
(=>
    (and
        (instance ?P BothEyePupils)
        (member ?L ?P)
        (member ?R ?P))
    (and
        (instance ?L
            (BodySideFn Left EyePupil))
        (instance ?R
            (BodySideFn Right EyePupil))))		 emotion.kif 1003-1012 If X is an instance of both eye pupils, Y is a member of X, and Z is a member of X, then Y is an instance of the left of eye pupil and Z is an instance of the right of eye pupil

statement
-------------------------


(subclass LeftArm
    (BodySideFn Left Arm))		 Medicine.kif 2864-2864 Left arm is a subclass of the left of arm
(subclass RightArm
    (BodySideFn Right Arm))		 Medicine.kif 2867-2867 Right arm is a subclass of the right of arm
(subclass LeftElbow
    (BodySideFn Left Elbow))		 Medicine.kif 2870-2870 Left elbow is a subclass of the left of elbow
(subclass RightElbow
    (BodySideFn Right Elbow))		 Medicine.kif 2873-2873 Right elbow is a subclass of the right of elbow
(subclass LeftShoulder
    (BodySideFn Left Shoulder))		 Medicine.kif 2876-2876 Left shoulder is a subclass of the left of shoulder
(subclass RightElbow
    (BodySideFn Right Shoulder))		 Medicine.kif 2879-2879 Right elbow is a subclass of the right of shoulder
(subclass LeftEar
    (BodySideFn Left Ear))		 Medicine.kif 2882-2882 Left ear is a subclass of the left of ear
(subclass RightEar
    (BodySideFn Right Ear))		 Medicine.kif 2885-2885 Right ear is a subclass of the right of ear
(subclass LeftEye
    (BodySideFn Left Eye))		 Medicine.kif 2888-2888 Left eye is a subclass of the left of eye
(subclass RightEye
    (BodySideFn Right Eye))		 Medicine.kif 2891-2891 Right eye is a subclass of the right of eye
(subclass LeftHand
    (BodySideFn Left Hand))		 Medicine.kif 2894-2894 Left hand is a subclass of the left of hand
(subclass RightHand
    (BodySideFn Right Hand))		 Medicine.kif 2897-2897 Right hand is a subclass of the right of hand
(subclass LeftLung
    (BodySideFn Left Lung))		 Medicine.kif 2900-2900 Left lung is a subclass of the left of lung
(subclass RightLung
    (BodySideFn Right Lung))		 Medicine.kif 2903-2903 Right lung is a subclass of the right of lung
(subclass LeftKidney
    (BodySideFn Left Kidney))		 Medicine.kif 2906-2906 Left kidney is a subclass of the left of kidney
(subclass RightKidney
    (BodySideFn Right Kidney))		 Medicine.kif 2909-2909 Right kidney is a subclass of the right of kidney
(subclass LeftLeg
    (BodySideFn Left Leg))		 Medicine.kif 2912-2912 Left leg is a subclass of the left of leg
(subclass RightLeg
    (BodySideFn Right Leg))		 Medicine.kif 2915-2915 Right leg is a subclass of the right of leg
(subclass LeftKnee
    (BodySideFn Left Knee))		 Medicine.kif 2918-2918 Left knee is a subclass of the left of knee
(subclass RightKnee
    (BodySideFn Right Knee))		 Medicine.kif 2921-2921 Right knee is a subclass of the right of knee
(subclass LeftHip
    (BodySideFn Left Hip))		 Medicine.kif 2924-2924 Left hip is a subclass of the left of Hip
(subclass RightHip
    (BodySideFn Right Hip))		 Medicine.kif 2927-2927 Right hip is a subclass of the right of Hip
(subclass LeftFoot
    (BodySideFn Left Foot))		 Medicine.kif 2930-2930 Left foot is a subclass of the left of foot
(subclass RightFoot
    (BodySideFn Right Foot))		 Medicine.kif 2933-2933 Right foot is a subclass of the right of foot
(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))		 Medicine.kif 2936-2936 Left thigh is a subclass of body area the left of quadriceps

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners