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 15020-15022
No TPTP formula. May not be expressible in strict first order. Merge.kif 15017-15017 O argumento numero 1 de BodySideFn e' uma instancia de AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 15018-15018 O argumento numero 2 de BodySideFn e' uma sub-classe de Parte do Corpo
No TPTP formula. May not be expressible in strict first order. Merge.kif 15016-15016 BodySideFn e' uma instancia de Funcao Binaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 15019-15019 Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo

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


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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15025-15036
No TPTP formula. May not be expressible in strict first order. Merge.kif 15038-15040

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 15025-15036

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


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

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