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


KB Term:  Term intersection
English Word: 

Sigma KEE - Leg
Leg(leg)
leg

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


(subclass Leg Limb) Mid-level-ontology.kif 14289-14289 Leg is a subclass of limb
(documentation Leg EnglishLanguage "The lower Limbs of Animals, used for locomotion.") Mid-level-ontology.kif 14290-14290 Leg is a subclass of limb
(externalImage 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
-------------------------


(typicalPart ThighMuscle Leg) Mid-level-ontology.kif 12249-12249 A quadriceps is typically a part of a leg
(initialPart ThighMuscle Leg) Mid-level-ontology.kif 12250-12250 Every quadriceps is initially part of a leg
(typicalPart CalfMuscle Leg) Mid-level-ontology.kif 12257-12257 A gastrocnemius is typically a part of a leg
(initialPart CalfMuscle Leg) Mid-level-ontology.kif 12258-12258 Every gastrocnemius is initially part of a leg
(typicalPart ShinMuscle Leg) Mid-level-ontology.kif 12264-12264 A tibialis anterior is typically a part of a leg
(initialPart ShinMuscle Leg) Mid-level-ontology.kif 12265-12265 Every tibialis anterior is initially part of a leg
(typicalPart HamstringMuscle Leg) Mid-level-ontology.kif 12272-12272 A hamstring muscle is typically a part of a leg
(initialPart HamstringMuscle Leg) Mid-level-ontology.kif 12273-12273 Every hamstring muscle is initially part of a leg
(initialPart UpperLeg Leg) Mid-level-ontology.kif 12297-12297 Every upper leg is initially part of a leg
(typicalPart UpperLeg Leg) Mid-level-ontology.kif 12298-12298 A upper leg is typically a part of a leg
(initialPart LowerLeg Leg) Mid-level-ontology.kif 12302-12302 Every lower leg is initially part of a leg
(typicalPart LowerLeg Leg) Mid-level-ontology.kif 12303-12303 A lower leg is typically a part of a leg
(initialPart LegBone Leg) Anatomy.kif 1055-1055 Every leg bone is initially part of a leg
(termFormat EnglishLanguage Leg "leg") domainEnglishFormat.kif 33775-33775 Every leg bone is initially part of a leg
(termFormat ChineseTraditionalLanguage Leg "腿") domainEnglishFormat.kif 33776-33776 Every leg bone is initially part of a leg
(termFormat ChineseLanguage Leg "腿") domainEnglishFormat.kif 33777-33777 Every leg bone is initially part of a leg

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


(=>
    (instance ?LEG Leg)
    (exists (?ANIMAL)
        (and
            (instance ?ANIMAL Animal)
            (part ?LEG ?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
-------------------------


(=>
    (and
        (instance ?A Biped)
        (instance ?W Ambulating)
        (agent ?W ?A))
    (modalAttribute
        (exists (?L1 ?L2)
            (and
                (instance ?L1 Leg)
                (instance ?L2 Leg)
                (not
                    (equal ?L1 ?L2))
                (part ?L1 ?A)
                (part ?L2 ?A)
                (instrument ?W ?L1)
                (instrument ?W ?L2))) 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
(=>
    (and
        (wears ?H ?T)
        (instance ?T Trousers))
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?L ?H)
            (contains ?T ?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
(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Leg)
            (instance ?L2 Leg)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?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
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?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
(=>
    (instance ?A Ankle)
    (exists (?L)
        (and
            (instance ?L Leg)
            (part ?A ?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
(=>
    (instance ?KNEE Knee)
    (exists (?LEG)
        (and
            (instance ?LEG Leg)
            (part ?KNEE ?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