TreeView Knowledge Base Browser - Left

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Left

Sigma KEE - Left

Left(left)

dexter, larboard, left, left-hand, left_stage, near, nigh, port, sinister, sinistral, sinistrorsal, sinistrorse, stage_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 17308-17311
(externalImage Left "http://upload.wikimedia.org/wikipedia/en/3/30/XYZ_model.jpg")	pictureList.kif 10092-10092
(instance Left AntiSymmetricPositionalAttribute)	Merge.kif 17307-17307	Left is an instance of anti_symmetric positional attribute
(instance Left PositionalAttribute)	Merge.kif 17306-17306	Left is an instance of positional attribute

appearance as argument number 2

(contraryAttribute Right Left)	Merge.kif 17315-17315	Right is the opposite of left
(termFormat ChineseLanguage Left "左")	domainEnglishFormat.kif 33771-33771	Right is the opposite of left
(termFormat ChineseTraditionalLanguage Left "左")	domainEnglishFormat.kif 33770-33770	Right is the opposite of left
(termFormat EnglishLanguage Left "left")	domainEnglishFormat.kif 33769-33769	Right is the opposite of left
(termFormat tg Left "kaliwa")	terms-tg.txt 536-536	Right is the opposite of left

antecedent

(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))

Merge.kif 17128-17132

If an object is right to another object and a third object is left to the other object,
then the object is right to the third object

consequent

(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left))	Merge.kif 17321-17323	An object is right to another object if and only if the other object is left to the object
(=> (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	If a corpuscular object is an instance of middle CI button and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exist a third corpuscular object and a fourth corpuscular object such that the fourth corpuscular object is an instance of right CI button and the third corpuscular object is an instance of left CI button and the fourth corpuscular object is a component of the other corpuscular object and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is between the third corpuscular object and the fourth corpuscular object and the corpuscular object is left to the third corpuscular object and the corpuscular object is right to the fourth corpuscular object
(=> (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	If a corpuscular object is an instance of physical right CI button and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exists a third corpuscular object such that the third corpuscular object is an instance of physical left CI button and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is left to the third corpuscular object

statement

(subclass LeftArm (BodySideFn Left Arm))	Medicine.kif 2859-2859	Left arm is a subclass of the left arm
(subclass LeftEar (BodySideFn Left Ear))	Medicine.kif 2877-2877	Left ear is a subclass of the left ear
(subclass LeftElbow (BodySideFn Left Elbow))	Medicine.kif 2865-2865	Left elbow is a subclass of the left elbow
(subclass LeftEye (BodySideFn Left Eye))	Medicine.kif 2883-2883	Left eye is a subclass of the left eye
(subclass LeftFoot (BodySideFn Left Foot))	Medicine.kif 2925-2925	Left foot is a subclass of the left foot
(subclass LeftHand (BodySideFn Left Hand))	Medicine.kif 2889-2889	Left hand is a subclass of the left hand
(subclass LeftHip (BodySideFn Left Hip))	Medicine.kif 2919-2919	Left hip is a subclass of the left Hip
(subclass LeftKidney (BodySideFn Left Kidney))	Medicine.kif 2901-2901	Left kidney is a subclass of the left kidney
(subclass LeftKnee (BodySideFn Left Knee))	Medicine.kif 2913-2913	Left knee is a subclass of the left knee
(subclass LeftLeg (BodySideFn Left Leg))	Medicine.kif 2907-2907	Left leg is a subclass of the left leg
(subclass LeftLung (BodySideFn Left Lung))	Medicine.kif 2895-2895	Left lung is a subclass of the left lung
(subclass LeftShoulder (BodySideFn Left Shoulder))	Medicine.kif 2871-2871	Left shoulder is a subclass of the left shoulder
(subclass LeftThigh (BodyAreaFn (BodySideFn Left ThighMuscle)))	Medicine.kif 2931-2931	Left thigh is a subclass of body area the left quadriceps

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