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
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14972-14972
(instance BodySideFn BinaryFunction) Merge.kif 14970-14970
(rangeSubclass BodySideFn BodyPart) Merge.kif 14973-14973

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

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