Leg - Sigma Knowledge base Browser

appearance as argument number 1

s__subclass(s__Leg,s__Limb)	Mid-level-ontology.kif 14289-14289	Leg is a subclass of limb
s__documentation(s__Leg, s__EnglishLanguage, "The lower Limbs of Animals, used for locomotion_")	Mid-level-ontology.kif 14290-14290	Leg is a subclass of limb
s__externalImage(s__Leg,"http: //upload.wikimedia.org/wikipedia/commons/5/54/Legs.jpg")	pictureList.kif 123-123	Leg is a subclass of limb

appearance as argument number 2

s__typicalPart(s__ThighMuscle,s__Leg)	Mid-level-ontology.kif 12249-12249	A quadriceps is typically a part of a leg
s__initialPart(s__ThighMuscle,s__Leg)	Mid-level-ontology.kif 12250-12250	Every quadriceps is initially part of a leg
s__typicalPart(s__CalfMuscle,s__Leg)	Mid-level-ontology.kif 12257-12257	A gastrocnemius is typically a part of a leg
s__initialPart(s__CalfMuscle,s__Leg)	Mid-level-ontology.kif 12258-12258	Every gastrocnemius is initially part of a leg
s__typicalPart(s__ShinMuscle,s__Leg)	Mid-level-ontology.kif 12264-12264	A tibialis anterior is typically a part of a leg
s__initialPart(s__ShinMuscle,s__Leg)	Mid-level-ontology.kif 12265-12265	Every tibialis anterior is initially part of a leg
s__typicalPart(s__HamstringMuscle,s__Leg)	Mid-level-ontology.kif 12272-12272	A hamstring muscle is typically a part of a leg
s__initialPart(s__HamstringMuscle,s__Leg)	Mid-level-ontology.kif 12273-12273	Every hamstring muscle is initially part of a leg
s__initialPart(s__UpperLeg,s__Leg)	Mid-level-ontology.kif 12297-12297	Every upper leg is initially part of a leg
s__typicalPart(s__UpperLeg,s__Leg)	Mid-level-ontology.kif 12298-12298	A upper leg is typically a part of a leg
s__initialPart(s__LowerLeg,s__Leg)	Mid-level-ontology.kif 12302-12302	Every lower leg is initially part of a leg
s__typicalPart(s__LowerLeg,s__Leg)	Mid-level-ontology.kif 12303-12303	A lower leg is typically a part of a leg
s__initialPart(s__LegBone,s__Leg)	Anatomy.kif 1055-1055	Every leg bone is initially part of a leg
s__termFormat(s__EnglishLanguage, s__Leg, "leg")	domainEnglishFormat.kif 33775-33775	Every leg bone is initially part of a leg
s__termFormat(s__ChineseTraditionalLanguage, s__Leg, "腿")	domainEnglishFormat.kif 33776-33776	Every leg bone is initially part of a leg
s__termFormat(s__ChineseLanguage, s__Leg, "腿")	domainEnglishFormat.kif 33777-33777	Every leg bone is initially part of a leg

antecedent

! [V__LEG] :
((s__instance(V__LEG,s__Leg) =>
     (? [V__ANIMAL] :
       ((s__instance(V__ANIMAL,s__Animal) &
           s__part(V__LEG,V__ANIMAL)))))
)

Mid-level-ontology.kif 14292-14297

If X is an instance of leg, then there exists Y such that Y is an instance of animal and X is a part of Y

consequent

! [V__A : $i,V__W : $i] : (((s__instance(V__A, s__Biped) & s__instance(V__W, s__Ambulating) & s__agent(V__W, V__A)) => s__modalAttribute(( ? [V__L1:$i, V__L2:$i] : ((s__instance(V__L1, s__Leg) & s__instance(V__L2, s__Leg) & ~(V__L1 = V__L2) & s__part(V__L1, V__A) & s__part(V__L2, V__A) & s__instrument(V__W, V__L1) & s__instrument(V__W, V__L2)))), s__Likely)))	Mid-level-ontology.kif 5020-5036	If X is an instance of biped, Y is an instance of ambulating, and X is an agent of Y, then All of the following hold: (1) the statement there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X (8) Z is an instrument for Y (9) W is an instrument for Y has the modal force of likely
! [V__H,V__T] : ((s__instance(V__H,s__Animal) => ((s__wears(V__H,V__T) & s__instance(V__T,s__Trousers)) => (? [V__L] : ((s__instance(V__L,s__Leg) & s__part(V__L,V__H) & s__contains(V__T,V__L)))))) )	Mid-level-ontology.kif 6264-6272	If X wears Y and Y is an instance of trousers, then there exists Z such that Z is an instance of leg, Z is a part of X, and Y contains Z
! [V__H,V__D] : (((s__instance(V__H,s__Primate) & s__instance(V__D,s__DiseaseOrSyndrome) & ~(s__attribute(V__H,V__D))) => (? [V__L1,V__L2] : ((s__instance(V__L1,s__Leg) & s__instance(V__L2,s__Leg) & ~((V__L1 = V__L2)) & s__part(V__L1,V__H) & s__part(V__L2,V__H))))) )	Mid-level-ontology.kif 14299-14312	If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of leg (3) W is an instance of leg (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X
! [V__FOOT] : ((s__instance(V__FOOT,s__Foot) => (? [V__LIMB] : ((s__instance(V__LIMB,s__Leg) & s__part(V__FOOT,V__LIMB))))) )	Mid-level-ontology.kif 14319-14324	If X is an instance of foot, then there exists Y such that Y is an instance of leg and X is a part of Y
! [V__A] : ((s__instance(V__A,s__Ankle) => (? [V__L] : ((s__instance(V__L,s__Leg) & s__part(V__A,V__L))))) )	Mid-level-ontology.kif 14345-14350	If X is an instance of ankle, then there exists Y such that Y is an instance of leg and X is a part of Y
! [V__KNEE] : ((s__instance(V__KNEE,s__Knee) => (? [V__LEG] : ((s__instance(V__LEG,s__Leg) & s__part(V__KNEE,V__LEG))))) )	Mid-level-ontology.kif 14390-14395	If X is an instance of knee, then there exists Y such that Y is an instance of leg and X is a part of Y

statement

s__subclass(s__Trousers,s__CoveringFn(s__Leg))	Mid-level-ontology.kif 6262-6262	Trousers is a subclass of a covering for leg
s__subclass(s__LeftLeg,s__BodySideFn(s__Left,s__Leg))	Medicine.kif 2912-2912	Left leg is a subclass of the left of leg
s__subclass(s__RightLeg,s__BodySideFn(s__Right,s__Leg))	Medicine.kif 2915-2915	Right leg is a subclass of the right of leg

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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners