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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 15127-15129
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) Merge.kif 15124-15124
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 15125-15125
(instance BodySideFn BinaryFunction) Merge.kif 15123-15123
(rangeSubclass BodySideFn BodyPart) Merge.kif 15126-15126

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


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

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 15132-15143
(=>
    (instance ?X
        (BodySideFn ?S ?P))
    (instance ?X ?P))		 Merge.kif 15145-15147

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 15132-15143

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


(subclass LeftArm
    (BodySideFn Left Arm))		 Medicine.kif 2859-2859
(subclass LeftEar
    (BodySideFn Left Ear))		 Medicine.kif 2877-2877
(subclass LeftElbow
    (BodySideFn Left Elbow))		 Medicine.kif 2865-2865
(subclass LeftEye
    (BodySideFn Left Eye))		 Medicine.kif 2883-2883
(subclass LeftFoot
    (BodySideFn Left Foot))		 Medicine.kif 2925-2925
(subclass LeftHand
    (BodySideFn Left Hand))		 Medicine.kif 2889-2889
(subclass LeftHip
    (BodySideFn Left Hip))		 Medicine.kif 2919-2919
(subclass LeftKidney
    (BodySideFn Left Kidney))		 Medicine.kif 2901-2901
(subclass LeftKnee
    (BodySideFn Left Knee))		 Medicine.kif 2913-2913
(subclass LeftLeg
    (BodySideFn Left Leg))		 Medicine.kif 2907-2907
(subclass LeftLung
    (BodySideFn Left Lung))		 Medicine.kif 2895-2895
(subclass LeftShoulder
    (BodySideFn Left Shoulder))		 Medicine.kif 2871-2871
(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))		 Medicine.kif 2931-2931
(subclass RightArm
    (BodySideFn Right Arm))		 Medicine.kif 2862-2862
(subclass RightEar
    (BodySideFn Right Ear))		 Medicine.kif 2880-2880
(subclass RightElbow
    (BodySideFn Right Elbow))		 Medicine.kif 2868-2868
(subclass RightElbow
    (BodySideFn Right Shoulder))		 Medicine.kif 2874-2874
(subclass RightEye
    (BodySideFn Right Eye))		 Medicine.kif 2886-2886
(subclass RightFoot
    (BodySideFn Right Foot))		 Medicine.kif 2928-2928
(subclass RightHand
    (BodySideFn Right Hand))		 Medicine.kif 2892-2892
(subclass RightHip
    (BodySideFn Right Hip))		 Medicine.kif 2922-2922
(subclass RightKidney
    (BodySideFn Right Kidney))		 Medicine.kif 2904-2904
(subclass RightKnee
    (BodySideFn Right Knee))		 Medicine.kif 2916-2916
(subclass RightLeg
    (BodySideFn Right Leg))		 Medicine.kif 2910-2910
(subclass RightLung
    (BodySideFn Right Lung))		 Medicine.kif 2898-2898

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 is open source software produced by Articulate Software and its partners