Right - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Right

Right(right)

dextral, dextrorsal, dextrorse, far, right, right-hand, right-side-out, right-side-up, right_stage, stage_right, starboard

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17088-17088	Right is the opposite of left
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3826-3827
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17089-17092
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17087-17087	Right is an instance of anti-symmetric positional attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17086-17086	Right is an instance of positional attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50018-50018
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50017-50017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50016-50016
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 537-537

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17094-17096	An object is right to another object if and only if the other object is left to the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16901-16905	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16901-16905	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

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2861-2861	Right arm is a subclass of the right arm
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2879-2879	Right ear is a subclass of the right ear
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2867-2867	Right elbow is a subclass of the right elbow
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2873-2873	Right elbow is a subclass of the right shoulder
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2885-2885	Right eye is a subclass of the right eye
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2927-2927	Right foot is a subclass of the right foot
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2891-2891	Right hand is a subclass of the right hand
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2921-2921	Right hip is a subclass of the right Hip
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2903-2903	Right kidney is a subclass of the right kidney
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2915-2915	Right knee is a subclass of the right knee
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2909-2909	Right leg is a subclass of the right leg
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2897-2897	Right lung is a subclass of the right lung
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2933-2933	Right thigh is a subclass of BodyAreaFn the right quadriceps

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