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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Left
Left(左)

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


(documentation Left ChineseLanguage "这是一个由左/右模式所衍生的 PositionalAttribute。注：这是 指直接在左边，也就是说如果一个物体在另外一个物体的左边的话，那么这两个物体的投影就会交叠。") chinese_format.kif 3824-3825
(documentation Left EnglishLanguage "This PositionalAttribute is derived from the left/ right schema. Note that this means directly to the left, so that, if one object is to the left of another, then the projections of the two objects overlap.") Merge.kif 17111-17114
(externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg") pictureList.kif 10094-10094
(instance Left AntiSymmetricPositionalAttribute) Merge.kif 17110-17110 左 是 AntiSymmetricPositionalAttribute 的 instance
(instance Left PositionalAttribute) Merge.kif 17109-17109 左 是 位置属性 的 instance

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


(contraryAttribute Right Left) Merge.kif 17118-17118 右 是 左 的相反
(termFormat ChineseLanguage Left "左") domainEnglishFormat.kif 33761-33761
(termFormat ChineseTraditionalLanguage Left "左") domainEnglishFormat.kif 33760-33760
(termFormat EnglishLanguage Left "left") domainEnglishFormat.kif 33759-33759
(termFormat tg Left "kaliwa") terms-tg.txt 536-536

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


(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))		 Merge.kif 16931-16935

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Right)
    (orientation ?OBJ2 ?OBJ1 Left))		 Merge.kif 17124-17126 客体 在 另一个 客体 的 右 若且唯若 那个 另外 客体 在 那个 客体 的 左
(=>
    (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
        (instance ?RIGHT PhysicalRightCIButton)
        (component ?RIGHT ?DEV)
        (instance ?DEV ComputerInputDevice))
    (exists (?LEFT)
        (and
            (instance ?LEFT PhysicalLeftCIButton)
            (component ?LEFT ?DEV)
            (orientation ?RIGHT ?LEFT Left))))		 ComputerInput.kif 204-213

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


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