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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Wedding

 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 Le nombre 1 argument de BodySideFn est une instance de AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 14972-14972 Le nombre 2 argument de BodySideFn est une sous-classe de partie du corps
No TPTP formula. May not be expressible in strict first order. Merge.kif 14970-14970 BodySideFn est une instance de fonction binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 14973-14973 Les valeurs retourn�es par BodySideFn sont des sous-classes de partie du corps

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 est une sous-classe de BodySideFn Left and Arm
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2876-2876 LeftEar est une sous-classe de BodySideFn Left and Ear
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2864-2864 LeftElbow est une sous-classe de BodySideFn Left and Elbow
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2882-2882 LeftEye est une sous-classe de BodySideFn Left and Eye
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2924-2924 LeftFoot est une sous-classe de BodySideFn Left and Foot
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2888-2888 LeftHand est une sous-classe de BodySideFn Left and Hand
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2918-2918 LeftHip est une sous-classe de BodySideFn Left and Hip
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2900-2900 LeftKidney est une sous-classe de BodySideFn Left and Kidney
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2912-2912 LeftKnee est une sous-classe de BodySideFn Left and Knee
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2906-2906 LeftLeg est une sous-classe de BodySideFn Left and Leg
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2894-2894 LeftLung est une sous-classe de BodySideFn Left and Lung
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2870-2870 LeftShoulder est une sous-classe de BodySideFn Left and Shoulder
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2930-2930 LeftThigh est une sous-classe de BodyAreaFn BodySideFn Left and ThighMuscle
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2861-2861 RightArm est une sous-classe de BodySideFn Right and Arm
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2879-2879 RightEar est une sous-classe de BodySideFn Right and Ear
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2867-2867 RightElbow est une sous-classe de BodySideFn Right and Elbow
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2873-2873 RightElbow est une sous-classe de BodySideFn Right and Shoulder
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2885-2885 RightEye est une sous-classe de BodySideFn Right and Eye
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2927-2927 RightFoot est une sous-classe de BodySideFn Right and Foot
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2891-2891 RightHand est une sous-classe de BodySideFn Right and Hand
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2921-2921 RightHip est une sous-classe de BodySideFn Right and Hip
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2903-2903 RightKidney est une sous-classe de BodySideFn Right and Kidney
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2915-2915 RightKnee est une sous-classe de BodySideFn Right and Knee
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2909-2909 RightLeg est une sous-classe de BodySideFn Right and Leg
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2897-2897 RightLung est une sous-classe de BodySideFn Right and Lung

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