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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodySideFn

 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 15020-15022
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) Merge.kif 15017-15017 BodySideFn 的 1 数量 是 AntiSymmetricPositionalAttribute 的 instance
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 15018-15018 BodySideFn 的 2 数量 是 身体部位 的 subclass
(instance BodySideFn BinaryFunction) Merge.kif 15016-15016 BodySideFn 是 二元函数 的 instance
(rangeSubclass BodySideFn BodyPart) Merge.kif 15019-15019 BodySideFn 的所得值 是 身体部位 的 subclass

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


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

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 15025-15036
(=>
    (instance ?X
        (BodySideFn ?S ?P))
    (instance ?X ?P))		 Merge.kif 15038-15040

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 15025-15036

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


(subclass LeftArm
    (BodySideFn Left Arm))		 Medicine.kif 2858-2858 LeftArm 是 BodySideFn 左 and 臂 的 subclass
(subclass LeftEar
    (BodySideFn Left Ear))		 Medicine.kif 2876-2876 LeftEar 是 BodySideFn 左 and 耳 的 subclass
(subclass LeftElbow
    (BodySideFn Left Elbow))		 Medicine.kif 2864-2864 LeftElbow 是 BodySideFn 左 and 手肘 的 subclass
(subclass LeftEye
    (BodySideFn Left Eye))		 Medicine.kif 2882-2882 LeftEye 是 BodySideFn 左 and 眼睛 的 subclass
(subclass LeftFoot
    (BodySideFn Left Foot))		 Medicine.kif 2924-2924 LeftFoot 是 BodySideFn 左 and 足 的 subclass
(subclass LeftHand
    (BodySideFn Left Hand))		 Medicine.kif 2888-2888 LeftHand 是 BodySideFn 左 and 手 的 subclass
(subclass LeftHip
    (BodySideFn Left Hip))		 Medicine.kif 2918-2918 LeftHip 是 BodySideFn 左 and Hip 的 subclass
(subclass LeftKidney
    (BodySideFn Left Kidney))		 Medicine.kif 2900-2900 LeftKidney 是 BodySideFn 左 and 肾 的 subclass
(subclass LeftKnee
    (BodySideFn Left Knee))		 Medicine.kif 2912-2912 LeftKnee 是 BodySideFn 左 and 膝盖 的 subclass
(subclass LeftLeg
    (BodySideFn Left Leg))		 Medicine.kif 2906-2906 LeftLeg 是 BodySideFn 左 and 腿 的 subclass
(subclass LeftLung
    (BodySideFn Left Lung))		 Medicine.kif 2894-2894 LeftLung 是 BodySideFn 左 and 肺 的 subclass
(subclass LeftShoulder
    (BodySideFn Left Shoulder))		 Medicine.kif 2870-2870 LeftShoulder 是 BodySideFn 左 and 肩 的 subclass
(subclass LeftThigh
    (BodyAreaFn
        (BodySideFn Left ThighMuscle)))		 Medicine.kif 2930-2930 LeftThigh 是 BodyAreaFn BodySideFn 左 and ThighMuscle 的 subclass
(subclass RightArm
    (BodySideFn Right Arm))		 Medicine.kif 2861-2861 RightArm 是 BodySideFn 右 and 臂 的 subclass
(subclass RightEar
    (BodySideFn Right Ear))		 Medicine.kif 2879-2879 RightEar 是 BodySideFn 右 and 耳 的 subclass
(subclass RightElbow
    (BodySideFn Right Elbow))		 Medicine.kif 2867-2867 RightElbow 是 BodySideFn 右 and 手肘 的 subclass
(subclass RightElbow
    (BodySideFn Right Shoulder))		 Medicine.kif 2873-2873 RightElbow 是 BodySideFn 右 and 肩 的 subclass
(subclass RightEye
    (BodySideFn Right Eye))		 Medicine.kif 2885-2885 RightEye 是 BodySideFn 右 and 眼睛 的 subclass
(subclass RightFoot
    (BodySideFn Right Foot))		 Medicine.kif 2927-2927 RightFoot 是 BodySideFn 右 and 足 的 subclass
(subclass RightHand
    (BodySideFn Right Hand))		 Medicine.kif 2891-2891 RightHand 是 BodySideFn 右 and 手 的 subclass
(subclass RightHip
    (BodySideFn Right Hip))		 Medicine.kif 2921-2921 RightHip 是 BodySideFn 右 and Hip 的 subclass
(subclass RightKidney
    (BodySideFn Right Kidney))		 Medicine.kif 2903-2903 RightKidney 是 BodySideFn 右 and 肾 的 subclass
(subclass RightKnee
    (BodySideFn Right Knee))		 Medicine.kif 2915-2915 RightKnee 是 BodySideFn 右 and 膝盖 的 subclass
(subclass RightLeg
    (BodySideFn Right Leg))		 Medicine.kif 2909-2909 RightLeg 是 BodySideFn 右 and 腿 的 subclass
(subclass RightLung
    (BodySideFn Right Lung))		 Medicine.kif 2897-2897 RightLung 是 BodySideFn 右 and 肺 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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