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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LowerLeg

Sigma KEE - LowerLeg
LowerLeg

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


(initialPart LowerLeg Leg) Mid-level-ontology.kif 10845-10845 initialPart LowerLeg and Leg
(subclass LowerLeg BodySegment) Mid-level-ontology.kif 10844-10844 LowerLeg est une sous-classe de BodySegment
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 10846-10846 typicalPart LowerLeg and Leg

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


(termFormat EnglishLanguage LowerLeg "lower leg") Mid-level-ontology.kif 10847-10847


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