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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Foot
Foot

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 14048-14049
(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 14046-14046
(subclass Foot BodySegment) Mid-level-ontology.kif 14047-14047

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


(initialPart FoodBone Foot) Anatomy.kif 1101-1101
(termFormat ChineseLanguage Foot "足") domainEnglishFormat.kif 24588-24588
(termFormat ChineseTraditionalLanguage Foot "足") domainEnglishFormat.kif 24587-24587
(termFormat EnglishLanguage Foot "foot") domainEnglishFormat.kif 24586-24586

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 31770-31781
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))
Medicine.kif 1362-1369
(=>
    (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 31783-31794
(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 14051-14056

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 14058-14071
(=>
    (and
        (instance ?KICK Kicking)
        (agent ?KICK ?ANIMAL))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?ANIMAL)
            (instrument ?KICK ?FOOT))))
Mid-level-ontology.kif 7600-7608
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))
Mid-level-ontology.kif 6210-6218
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 6147-6155
(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))
Mid-level-ontology.kif 12810-12817
(=>
    (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 6175-6195
(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))
Mid-level-ontology.kif 14111-14116

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


(subclass LeftFoot
    (BodySideFn Left Foot))
Medicine.kif 2909-2909
(subclass PedalEdema
    (EdemaFn Foot))
Medicine.kif 2978-2978
(subclass RightFoot
    (BodySideFn Right Foot))
Medicine.kif 2912-2912
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 6145-6145
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 6208-6208


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