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 14030-14031
(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 14028-14028 Foot is a subclass of animal anatomical structure
(subclass Foot BodySegment) Mid-level-ontology.kif 14029-14029 Foot is a subclass of body segment

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


(initialPart FoodBone Foot) Anatomy.kif 1133-1133 Every FoodBone is initially part of a foot
(termFormat ChineseLanguage Foot "足") domainEnglishFormat.kif 24577-24577 Every FoodBone is initially part of a foot
(termFormat ChineseTraditionalLanguage Foot "足") domainEnglishFormat.kif 24576-24576 Every FoodBone is initially part of a foot
(termFormat EnglishLanguage Foot "foot") domainEnglishFormat.kif 24575-24575 Every FoodBone is initially part of a foot

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


(=>
    (holdsDuring ?T
        (and
            (attribute ?A Barefoot)
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (not
            (exists (?C)
                (and
                    (instance ?C Clothing)
                    (covers ?C ?F))))))
Mid-level-ontology.kif 32026-32037
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))
Medicine.kif 1366-1373
(=>
    (holdsDuring ?T
        (and
            (not
                (exists (?C)
                    (and
                        (instance ?C Clothing)
                        (covers ?C ?F))))
            (instance ?F Foot)
            (part ?F ?A)))
    (holdsDuring ?T
        (attribute ?A Barefoot)))
Mid-level-ontology.kif 32039-32050
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 14033-14038

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 14040-14053
(=>
    (and
        (instance ?KICK Kicking)
        (agent ?KICK ?ANIMAL))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?ANIMAL)
            (instrument ?KICK ?FOOT))))
Mid-level-ontology.kif 7574-7582
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))
Mid-level-ontology.kif 6184-6192
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 6121-6129
(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))
Mid-level-ontology.kif 12792-12799
(=>
    (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 6149-6169
(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))
Mid-level-ontology.kif 14093-14098

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


(subclass LeftFoot
    (BodySideFn Left Foot))
Medicine.kif 2925-2925 Left foot is a subclass of the left foot
(subclass PedalEdema
    (EdemaFn Foot))
Medicine.kif 2994-2994 Pedal edema is a subclass of edema in foot
(subclass RightFoot
    (BodySideFn Right Foot))
Medicine.kif 2928-2928 Right foot is a subclass of the right foot
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 6119-6119 Shoe is a subclass of a covering for foot
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 6182-6182 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