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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BodySideFn

 Sigma KEE - BodySideFn
BodySideFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 14974-14976
No TPTP formula. May not be expressible in strict first order. Merge.kif 14971-14971 BodySideFn 的 1 数量 是 AntiSymmetricPositionalAttribute 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14972-14972 BodySideFn 的 2 数量 是 身体部位 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 14970-14970 BodySideFn 是 二元函数 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 14973-14973 BodySideFn 的所得值 是 身体部位 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14977-14977
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64553-64553

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14979-14990
No TPTP formula. May not be expressible in strict first order. Merge.kif 14992-14994

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14979-14990

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 2858-2858 LeftArm 是 BodySideFn 左 and 臂 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2876-2876 LeftEar 是 BodySideFn 左 and 耳 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2864-2864 LeftElbow 是 BodySideFn 左 and 手肘 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2882-2882 LeftEye 是 BodySideFn 左 and 眼睛 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2924-2924 LeftFoot 是 BodySideFn 左 and 足 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2888-2888 LeftHand 是 BodySideFn 左 and 手 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2918-2918 LeftHip 是 BodySideFn 左 and Hip 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2900-2900 LeftKidney 是 BodySideFn 左 and 肾 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2912-2912 LeftKnee 是 BodySideFn 左 and 膝盖 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2906-2906 LeftLeg 是 BodySideFn 左 and 腿 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2894-2894 LeftLung 是 BodySideFn 左 and 肺 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2870-2870 LeftShoulder 是 BodySideFn 左 and 肩 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2930-2930 LeftThigh 是 BodyAreaFn BodySideFn 左 and ThighMuscle 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2861-2861 RightArm 是 BodySideFn 右 and 臂 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2879-2879 RightEar 是 BodySideFn 右 and 耳 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2867-2867 RightElbow 是 BodySideFn 右 and 手肘 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2873-2873 RightElbow 是 BodySideFn 右 and 肩 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2885-2885 RightEye 是 BodySideFn 右 and 眼睛 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2927-2927 RightFoot 是 BodySideFn 右 and 足 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2891-2891 RightHand 是 BodySideFn 右 and 手 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2921-2921 RightHip 是 BodySideFn 右 and Hip 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2903-2903 RightKidney 是 BodySideFn 右 and 肾 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2915-2915 RightKnee 是 BodySideFn 右 and 膝盖 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2909-2909 RightLeg 是 BodySideFn 右 and 腿 的 subclass
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2897-2897 RightLung 是 BodySideFn 右 and 肺 的 subclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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