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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leg

 Sigma KEE - Leg
Leg

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12700-12700
No TPTP formula. May not be expressible in strict first order. pictureList.kif 123-123
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12699-12699 Leg est une sous-classe de Limb

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10828-10828 initialPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10843-10843 initialPart HamstringMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1035-1035 initialPart LegBone and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10872-10872 initialPart LowerLeg and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10835-10835 initialPart ShinMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10820-10820 initialPart ThighMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10867-10867 initialPart UpperLeg and Leg
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33773-33773
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33772-33772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33771-33771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10827-10827 typicalPart CalfMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10842-10842 typicalPart HamstringMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10873-10873 typicalPart LowerLeg and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10834-10834 typicalPart ShinMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10819-10819 typicalPart ThighMuscle and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10868-10868 typicalPart UpperLeg and Leg

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12702-12707

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4404-4420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12709-12722
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5163-5171
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12755-12760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12729-12734
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12800-12805

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


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 2909-2909 RightLeg est une sous-classe de BodySideFn Right and Leg
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5161-5161 Trousers est une sous-classe de CoveringFn Leg


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