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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3824-3825
No TPTP formula. May not be expressible in strict first order. Merge.kif 17111-17114
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10094-10094
No TPTP formula. May not be expressible in strict first order. Merge.kif 17110-17110 例 左 and AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 17109-17109 例 左 and PositionalAttribute

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17118-17118 相反的屬性 右 and 左
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33761-33761
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33760-33760
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33759-33759
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 536-536

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


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. Merge.kif 17124-17126 方位 Object, Object and 右 方位 Object, Object and 左
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. ComputerInput.kif 204-213

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2858-2858 子類 LeftArm and BodySideFn 左 and 臂
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2876-2876 子類 LeftEar and BodySideFn 左 and 耳
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2864-2864 子類 LeftElbow and BodySideFn 左 and 手肘
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2882-2882 子類 LeftEye and BodySideFn 左 and 眼睛
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2924-2924 子類 LeftFoot and BodySideFn 左 and 足
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2888-2888 子類 LeftHand and BodySideFn 左 and 手
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2918-2918 子類 LeftHip and BodySideFn 左 and Hip
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2900-2900 子類 LeftKidney and BodySideFn 左 and 腎
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2912-2912 子類 LeftKnee and BodySideFn 左 and 膝蓋
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2906-2906 子類 LeftLeg and BodySideFn 左 and 腿
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2894-2894 子類 LeftLung and BodySideFn 左 and 肺
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2870-2870 子類 LeftShoulder and BodySideFn 左 and 肩
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2930-2930 子類 LeftThigh and BodyAreaFn BodySideFn 左 and ThighMuscle


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