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 14974-14976
(domain BodySideFn 1 AntiSymmetricPositionalAttribute) Merge.kif 14971-14971 域 BodySideFn, 1 and AntiSymmetricPositionalAttribute
(domainSubclass BodySideFn 2 BodyPart) Merge.kif 14972-14972 域子類 BodySideFn, 2 and BodyPart
(instance BodySideFn BinaryFunction) Merge.kif 14970-14970 例 BodySideFn and BinaryFunction
(rangeSubclass BodySideFn BodyPart) Merge.kif 14973-14973 範圍子類 BodySideFn and BodyPart

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

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