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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Right

Sigma KEE - Right
Right

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


(contraryAttribute Right Left) Merge.kif 17189-17189 Right e' &o oposto de Left
(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 17190-17193
(instance Right AntiSymmetricPositionalAttribute) Merge.kif 17188-17188 Right e' uma instancia de AntiSymmetricPositionalAttribute
(instance Right PositionalAttribute) Merge.kif 17187-17187 Right e' uma instancia de Atributo Posicional

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


(termFormat ChineseLanguage Right "右") domainEnglishFormat.kif 50008-50008
(termFormat ChineseTraditionalLanguage Right "右") domainEnglishFormat.kif 50007-50007
(termFormat EnglishLanguage Right "right") domainEnglishFormat.kif 50006-50006
(termFormat tg Right "kanan") terms-tg.txt 537-537

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))
Merge.kif 17195-17197 Objeto e' Right em relacao a Objeto Objeto e' Left em relacao a Objeto
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))
Merge.kif 17002-17006

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 17002-17006

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


(subclass RightArm
    (BodySideFn Right Arm))
Medicine.kif 2861-2861 RightArm e' uma sub-classe de BodySideFn Right and Arm
(subclass RightEar
    (BodySideFn Right Ear))
Medicine.kif 2879-2879 RightEar e' uma sub-classe de BodySideFn Right and Ear
(subclass RightElbow
    (BodySideFn Right Elbow))
Medicine.kif 2867-2867 RightElbow e' uma sub-classe de BodySideFn Right and Elbow
(subclass RightElbow
    (BodySideFn Right Shoulder))
Medicine.kif 2873-2873 RightElbow e' uma sub-classe de BodySideFn Right and Shoulder
(subclass RightEye
    (BodySideFn Right Eye))
Medicine.kif 2885-2885 RightEye e' uma sub-classe de BodySideFn Right and Eye
(subclass RightFoot
    (BodySideFn Right Foot))
Medicine.kif 2927-2927 RightFoot e' uma sub-classe de BodySideFn Right and Foot
(subclass RightHand
    (BodySideFn Right Hand))
Medicine.kif 2891-2891 RightHand e' uma sub-classe de BodySideFn Right and Hand
(subclass RightHip
    (BodySideFn Right Hip))
Medicine.kif 2921-2921 RightHip e' uma sub-classe de BodySideFn Right and Hip
(subclass RightKidney
    (BodySideFn Right Kidney))
Medicine.kif 2903-2903 RightKidney e' uma sub-classe de BodySideFn Right and Kidney
(subclass RightKnee
    (BodySideFn Right Knee))
Medicine.kif 2915-2915 RightKnee e' uma sub-classe de BodySideFn Right and Knee
(subclass RightLeg
    (BodySideFn Right Leg))
Medicine.kif 2909-2909 RightLeg e' uma sub-classe de BodySideFn Right and Leg
(subclass RightLung
    (BodySideFn Right Lung))
Medicine.kif 2897-2897 RightLung e' uma sub-classe de BodySideFn Right and Lung
(subclass RightThigh
    (BodyAreaFn
        (BodySideFn Right ThighMuscle)))
Medicine.kif 2933-2933 RightThigh e' uma sub-classe de BodyAreaFn BodySideFn Right and ThighMuscle


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