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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Foot
Foot(foot)
animal_foot, foot, footer, heel, human_foot, pes

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


(documentation Foot EnglishLanguage "The lower part of a Limb, the part which makes contact with the ground in locomotion of the Animal.") Mid-level-ontology.kif 12699-12700
(externalImage Foot "http://articulatesoftware.com/SUMOpictures/medical/ foot.png") pictureList.kif 441-441
(externalImage Foot "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Foot-outside.jpg") pictureList.kif 97-97
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12697-12697 Foot is a subclass of animal anatomical structure
(subclass Foot BodySegment) Mid-level-ontology.kif 12698-12698 Foot is a subclass of body segment

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


(initialPart FoodBone Foot) Anatomy.kif 1102-1102 Every FoodBone is initially part of a foot
(termFormat ChineseLanguage Foot "足") domainEnglishFormat.kif 24572-24572
(termFormat ChineseTraditionalLanguage Foot "足") domainEnglishFormat.kif 24571-24571
(termFormat EnglishLanguage Foot "foot") domainEnglishFormat.kif 24570-24570

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


(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))
Medicine.kif 1374-1381
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 12702-12707

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


(=>
    (and
        (instance ?H Primate)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?H ?D)))
    (exists (?L1 ?L2)
        (and
            (instance ?L1 Foot)
            (instance ?L2 Foot)
            (not
                (equal ?L1 ?L2))
            (part ?L1 ?H)
            (part ?L2 ?H))))
Mid-level-ontology.kif 12709-12722
(=>
    (and
        (instance ?KICK Kicking)
        (agent ?KICK ?ANIMAL))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?ANIMAL)
            (instrument ?KICK ?FOOT))))
Mid-level-ontology.kif 6637-6645
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))
Mid-level-ontology.kif 5247-5255
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 5184-5192
(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))
Mid-level-ontology.kif 11461-11468
(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 HoleRegion)
            (hole ?H1 ?S)
            (instance ?H2 HoleRegion)
            (hole ?H2 ?S)
            (not
                (equal ?H1 ?H2))
            (hasPurpose ?H1
                (exists (?D ?F ?A ?I)
                    (and
                        (instance ?D Dressing)
                        (instance ?F Foot)
                        (agent ?D ?A)
                        (part ?F ?A)
                        (subProcess ?I ?D)
                        (instance ?I Inserting)
                        (patient ?I ?F)
                        (destination ?I ?H1)))))))
Mid-level-ontology.kif 5212-5232
(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))
Mid-level-ontology.kif 12762-12767

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


(subclass LeftFoot
    (BodySideFn Left Foot))
Medicine.kif 2924-2924 Left foot is a subclass of the left foot
(subclass PedalEdema
    (EdemaFn Foot))
Medicine.kif 2993-2993 Pedal edema is a subclass of edema in foot
(subclass RightFoot
    (BodySideFn Right Foot))
Medicine.kif 2927-2927 Right foot is a subclass of the right foot
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 5182-5182 Shoe is a subclass of a covering for foot
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 5245-5245 Sock is a subclass of a covering for foot


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