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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Right

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 17118-17118 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 17119-17122
No TPTP formula. May not be expressible in strict first order. Merge.kif 17117-17117 Right is an instance of anti-symmetric positional attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17116-17116 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 50006-50006
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50005-50005
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50004-50004
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 17124-17126 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 16931-16935

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


No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 224-237
No TPTP formula. May not be expressible in strict first order. Merge.kif 16931-16935

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