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 BodySideFn 的 1 数量 是 AntiSymmetricPositionalAttribute 的 instance
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 15125-15125 BodySideFn 的 2 数量 是 身体部位 的 subclass
(instance BodySideFn BinaryFunction) Merge.kif 15123-15123 BodySideFn 是 二元函数 的 instance
(rangeSubclass BodySideFn BodyPart) Merge.kif 15126-15126 BodySideFn 的所得值 是 身体部位 的 subclass

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 LeftArm 是 BodySideFn 左 and 臂 的 subclass
(subclass LeftEar
    (BodySideFn Left Ear))		 Medicine.kif 2877-2877 LeftEar 是 BodySideFn 左 and 耳 的 subclass
(subclass LeftElbow
    (BodySideFn Left Elbow))		 Medicine.kif 2865-2865 LeftElbow 是 BodySideFn 左 and 手肘 的 subclass
(subclass LeftEye
    (BodySideFn Left Eye))		 Medicine.kif 2883-2883 LeftEye 是 BodySideFn 左 and 眼睛 的 subclass
(subclass LeftFoot
    (BodySideFn Left Foot))		 Medicine.kif 2925-2925 LeftFoot 是 BodySideFn 左 and 足 的 subclass
(subclass LeftHand
    (BodySideFn Left Hand))		 Medicine.kif 2889-2889 LeftHand 是 BodySideFn 左 and 手 的 subclass
(subclass LeftHip
    (BodySideFn Left Hip))		 Medicine.kif 2919-2919 LeftHip 是 BodySideFn 左 and Hip 的 subclass
(subclass LeftKidney
    (BodySideFn Left Kidney))		 Medicine.kif 2901-2901 LeftKidney 是 BodySideFn 左 and 肾 的 subclass
(subclass LeftKnee
    (BodySideFn Left Knee))		 Medicine.kif 2913-2913 LeftKnee 是 BodySideFn 左 and 膝盖 的 subclass
(subclass LeftLeg
    (BodySideFn Left Leg))		 Medicine.kif 2907-2907 LeftLeg 是 BodySideFn 左 and 腿 的 subclass
(subclass LeftLung
    (BodySideFn Left Lung))		 Medicine.kif 2895-2895 LeftLung 是 BodySideFn 左 and 肺 的 subclass
(subclass LeftShoulder
    (BodySideFn Left Shoulder))		 Medicine.kif 2871-2871 LeftShoulder 是 BodySideFn 左 and 肩 的 subclass
(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))		 Medicine.kif 2931-2931 LeftThigh 是 BodyAreaFn BodySideFn 左 and ThighMuscle 的 subclass
(subclass RightArm
    (BodySideFn Right Arm))		 Medicine.kif 2862-2862 RightArm 是 BodySideFn 右 and 臂 的 subclass
(subclass RightEar
    (BodySideFn Right Ear))		 Medicine.kif 2880-2880 RightEar 是 BodySideFn 右 and 耳 的 subclass
(subclass RightElbow
    (BodySideFn Right Elbow))		 Medicine.kif 2868-2868 RightElbow 是 BodySideFn 右 and 手肘 的 subclass
(subclass RightElbow
    (BodySideFn Right Shoulder))		 Medicine.kif 2874-2874 RightElbow 是 BodySideFn 右 and 肩 的 subclass
(subclass RightEye
    (BodySideFn Right Eye))		 Medicine.kif 2886-2886 RightEye 是 BodySideFn 右 and 眼睛 的 subclass
(subclass RightFoot
    (BodySideFn Right Foot))		 Medicine.kif 2928-2928 RightFoot 是 BodySideFn 右 and 足 的 subclass
(subclass RightHand
    (BodySideFn Right Hand))		 Medicine.kif 2892-2892 RightHand 是 BodySideFn 右 and 手 的 subclass
(subclass RightHip
    (BodySideFn Right Hip))		 Medicine.kif 2922-2922 RightHip 是 BodySideFn 右 and Hip 的 subclass
(subclass RightKidney
    (BodySideFn Right Kidney))		 Medicine.kif 2904-2904 RightKidney 是 BodySideFn 右 and 肾 的 subclass
(subclass RightKnee
    (BodySideFn Right Knee))		 Medicine.kif 2916-2916 RightKnee 是 BodySideFn 右 and 膝盖 的 subclass
(subclass RightLeg
    (BodySideFn Right Leg))		 Medicine.kif 2910-2910 RightLeg 是 BodySideFn 右 and 腿 的 subclass
(subclass RightLung
    (BodySideFn Right Lung))		 Medicine.kif 2898-2898 RightLung 是 BodySideFn 右 and 肺 的 subclass

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