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 14974-14976
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) Merge.kif 14971-14971 Le nombre 1 argument de BodySideFn est une instance de AntiSymmetricPositionalAttribute
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14972-14972 Le nombre 2 argument de BodySideFn est une sous-classe de partie du corps
(instance BodySideFn BinaryFunction) Merge.kif 14970-14970 BodySideFn est une instance de fonction binaire
(rangeSubclass BodySideFn BodyPart) Merge.kif 14973-14973 Les valeurs retourn�es par BodySideFn sont des sous-classes de partie du corps

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


(format EnglishLanguage BodySideFn "the %1 %2") Merge.kif 14977-14977
(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 14979-14990
(=>
    (instance ?X
        (BodySideFn ?S ?P))
    (instance ?X ?P))		 Merge.kif 14992-14994

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 14979-14990

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


(subclass LeftArm
    (BodySideFn Left Arm))		 Medicine.kif 2858-2858 LeftArm est une sous-classe de BodySideFn Left and Arm
(subclass LeftEar
    (BodySideFn Left Ear))		 Medicine.kif 2876-2876 LeftEar est une sous-classe de BodySideFn Left and Ear
(subclass LeftElbow
    (BodySideFn Left Elbow))		 Medicine.kif 2864-2864 LeftElbow est une sous-classe de BodySideFn Left and Elbow
(subclass LeftEye
    (BodySideFn Left Eye))		 Medicine.kif 2882-2882 LeftEye est une sous-classe de BodySideFn Left and Eye
(subclass LeftFoot
    (BodySideFn Left Foot))		 Medicine.kif 2924-2924 LeftFoot est une sous-classe de BodySideFn Left and Foot
(subclass LeftHand
    (BodySideFn Left Hand))		 Medicine.kif 2888-2888 LeftHand est une sous-classe de BodySideFn Left and Hand
(subclass LeftHip
    (BodySideFn Left Hip))		 Medicine.kif 2918-2918 LeftHip est une sous-classe de BodySideFn Left and Hip
(subclass LeftKidney
    (BodySideFn Left Kidney))		 Medicine.kif 2900-2900 LeftKidney est une sous-classe de BodySideFn Left and Kidney
(subclass LeftKnee
    (BodySideFn Left Knee))		 Medicine.kif 2912-2912 LeftKnee est une sous-classe de BodySideFn Left and Knee
(subclass LeftLeg
    (BodySideFn Left Leg))		 Medicine.kif 2906-2906 LeftLeg est une sous-classe de BodySideFn Left and Leg
(subclass LeftLung
    (BodySideFn Left Lung))		 Medicine.kif 2894-2894 LeftLung est une sous-classe de BodySideFn Left and Lung
(subclass LeftShoulder
    (BodySideFn Left Shoulder))		 Medicine.kif 2870-2870 LeftShoulder est une sous-classe de BodySideFn Left and Shoulder
(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))		 Medicine.kif 2930-2930 LeftThigh est une sous-classe de BodyAreaFn BodySideFn Left and ThighMuscle
(subclass RightArm
    (BodySideFn Right Arm))		 Medicine.kif 2861-2861 RightArm est une sous-classe de BodySideFn Right and Arm
(subclass RightEar
    (BodySideFn Right Ear))		 Medicine.kif 2879-2879 RightEar est une sous-classe de BodySideFn Right and Ear
(subclass RightElbow
    (BodySideFn Right Elbow))		 Medicine.kif 2867-2867 RightElbow est une sous-classe de BodySideFn Right and Elbow
(subclass RightElbow
    (BodySideFn Right Shoulder))		 Medicine.kif 2873-2873 RightElbow est une sous-classe de BodySideFn Right and Shoulder
(subclass RightEye
    (BodySideFn Right Eye))		 Medicine.kif 2885-2885 RightEye est une sous-classe de BodySideFn Right and Eye
(subclass RightFoot
    (BodySideFn Right Foot))		 Medicine.kif 2927-2927 RightFoot est une sous-classe de BodySideFn Right and Foot
(subclass RightHand
    (BodySideFn Right Hand))		 Medicine.kif 2891-2891 RightHand est une sous-classe de BodySideFn Right and Hand
(subclass RightHip
    (BodySideFn Right Hip))		 Medicine.kif 2921-2921 RightHip est une sous-classe de BodySideFn Right and Hip
(subclass RightKidney
    (BodySideFn Right Kidney))		 Medicine.kif 2903-2903 RightKidney est une sous-classe de BodySideFn Right and Kidney
(subclass RightKnee
    (BodySideFn Right Knee))		 Medicine.kif 2915-2915 RightKnee est une sous-classe de BodySideFn Right and Knee
(subclass RightLeg
    (BodySideFn Right Leg))		 Medicine.kif 2909-2909 RightLeg est une sous-classe de BodySideFn Right and Leg
(subclass RightLung
    (BodySideFn Right Lung))		 Medicine.kif 2897-2897 RightLung est une sous-classe de BodySideFn Right and Lung

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