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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Right
Right(右)

appearance as argument number 1
-------------------------


(contraryAttribute Right Left) Merge.kif 17244-17244 的相反
(documentation Right ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注: 这是指直接在右边,也就是说如果一个物体在另外一个物体的右边的话,那么这两个物体的投影就会交叠。") chinese_format.kif 3826-3827 的相反
(documentation Right EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the right, so that, if one object is to the right of another, then the projections of the two objects overlap.") Merge.kif 17245-17248 的相反
(instance Right AntiSymmetricPositionalAttribute) Merge.kif 17243-17243 AntiSymmetricPositionalAttributeinstance
(instance Right PositionalAttribute) Merge.kif 17242-17242 位置属性instance

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


(termFormat ChineseLanguage Right "右") domainEnglishFormat.kif 50039-50039
(termFormat ChineseTraditionalLanguage Right "右") domainEnglishFormat.kif 50038-50038
(termFormat EnglishLanguage Right "right") domainEnglishFormat.kif 50037-50037
(termFormat tg Right "kanan") terms-tg.txt 537-537

antecedent
-------------------------


(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17250-17252 客体另一个 客体 若且唯若 那个 另外 客体那个 客体
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))
Merge.kif 17057-17061

consequent
-------------------------


(=>
    (and
        (instance ?MID MiddleCIButton)
        (component ?MID ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT ?RIGHT)
        (and
            (instance ?RIGHT RightCIButton)
            (instance ?LEFT LeftCIButton)
            (component ?RIGHT ?DEV)
            (component ?LEFT ?DEV)
            (between ?LEFT ?MID ?RIGHT)
            (orientation ?MID ?LEFT Left)
            (orientation ?MID ?RIGHT Right))))
ComputerInput.kif 224-237
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))
Merge.kif 17057-17061

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


(subclass RightArm
    (BodySideFn Right Arm))
Medicine.kif 2846-2846 RightArmBodySideFn and subclass
(subclass RightEar
    (BodySideFn Right Ear))
Medicine.kif 2864-2864 RightEarBodySideFn and subclass
(subclass RightElbow
    (BodySideFn Right Elbow))
Medicine.kif 2852-2852 RightElbowBodySideFn and 手肘subclass
(subclass RightElbow
    (BodySideFn Right Shoulder))
Medicine.kif 2858-2858 RightElbowBodySideFn and subclass
(subclass RightEye
    (BodySideFn Right Eye))
Medicine.kif 2870-2870 RightEyeBodySideFn and 眼睛subclass
(subclass RightFoot
    (BodySideFn Right Foot))
Medicine.kif 2912-2912 RightFootBodySideFn and subclass
(subclass RightHand
    (BodySideFn Right Hand))
Medicine.kif 2876-2876 RightHandBodySideFn and subclass
(subclass RightHip
    (BodySideFn Right Hip))
Medicine.kif 2906-2906 RightHipBodySideFn and Hipsubclass
(subclass RightKidney
    (BodySideFn Right Kidney))
Medicine.kif 2888-2888 RightKidneyBodySideFn and subclass
(subclass RightKnee
    (BodySideFn Right Knee))
Medicine.kif 2900-2900 RightKneeBodySideFn and 膝盖subclass
(subclass RightLeg
    (BodySideFn Right Leg))
Medicine.kif 2894-2894 RightLegBodySideFn and subclass
(subclass RightLung
    (BodySideFn Right Lung))
Medicine.kif 2882-2882 RightLungBodySideFn and subclass
(subclass RightThigh
    (BodyAreaFn
        (BodySideFn Right ThighMuscle)))
Medicine.kif 2918-2918 RightThighBodyAreaFn BodySideFn and ThighMusclesubclass


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