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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17140-17140 相反的屬性 and
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 17141-17144
No TPTP formula. May not be expressible in strict first order. Merge.kif 17139-17139 and AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17138-17138 and PositionalAttribute

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 17146-17148 方位 Object, Object and 方位 Object, Object and
No TPTP formula. May not be expressible in strict first order. Merge.kif 16953-16957

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

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2861-2861 子類 RightArm and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2879-2879 子類 RightEar and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2867-2867 子類 RightElbow and BodySideFn and 手肘
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2873-2873 子類 RightElbow and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2885-2885 子類 RightEye and BodySideFn and 眼睛
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2927-2927 子類 RightFoot and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2891-2891 子類 RightHand and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2921-2921 子類 RightHip and BodySideFn and Hip
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2903-2903 子類 RightKidney and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2915-2915 子類 RightKnee and BodySideFn and 膝蓋
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2909-2909 子類 RightLeg and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2897-2897 子類 RightLung and BodySideFn and
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2933-2933 子類 RightThigh and BodyAreaFn BodySideFn 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