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 10367-10368
(externalImage Foot "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Foot-outside.jpg") pictureList.kif 97-97 "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Foot-outside.jpg" is a URL depicting foot
(externalImage Foot "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ foot.png") pictureList.kif 441-441 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ foot.png" is a URL depicting foot
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 10365-10365 Foot is a subclass of animal anatomical structure
(subclass Foot BodyPart) Mid-level-ontology.kif 10366-10366 Foot is a subclass of body part

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


(termFormat ChineseLanguage Foot "足") domainEnglishFormat.kif 24505-24505 "足" is the printable form of foot in ChineseLanguage
(termFormat ChineseTraditionalLanguage Foot "足") domainEnglishFormat.kif 24504-24504 "足" is the printable form of foot in ChineseTraditionalLanguage
(termFormat EnglishLanguage Foot "foot") domainEnglishFormat.kif 24503-24503 "foot" is the printable form of foot in english language

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


(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))
Mid-level-ontology.kif 10370-10375

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


(=>
    (and
        (instance ?KICK Kicking)
        (agent ?KICK ?ANIMAL))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?ANIMAL)
            (instrument ?KICK ?FOOT))))
Mid-level-ontology.kif 6270-6278
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))
Mid-level-ontology.kif 5525-5533
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 5465-5473
(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))
Mid-level-ontology.kif 9703-9710
(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Hole)
            (hole ?H1 ?S)
            (instance ?H2 Hole)
            (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 5492-5512
(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))
Mid-level-ontology.kif 10413-10418


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners