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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 and AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 14972-14972 域子類 BodySideFn, 2 and BodyPart
No TPTP formula. May not be expressible in strict first order. Merge.kif 14970-14970 例 BodySideFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 14973-14973 範圍子類 BodySideFn and BodyPart

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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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