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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Foot

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 12164-12165
(externalImage Foot "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Foot-outside.jpg") pictureList.kif 97-97
(externalImage Foot "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ foot.png") pictureList.kif 441-441
(subclass Foot AnimalAnatomicalStructure) Mid-level-ontology.kif 12162-12162
(subclass Foot BodySegment) Mid-level-ontology.kif 12163-12163

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


(termFormat ChineseLanguage Foot "足") domainEnglishFormat.kif 24567-24567
(termFormat ChineseTraditionalLanguage Foot "足") domainEnglishFormat.kif 24566-24566
(termFormat EnglishLanguage Foot "foot") domainEnglishFormat.kif 24565-24565

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


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

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 12174-12187
(=>
    (and
        (instance ?KICK Kicking)
        (agent ?KICK ?ANIMAL))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?ANIMAL)
            (instrument ?KICK ?FOOT))))
Mid-level-ontology.kif 6301-6309
(=>
    (and
        (wears ?P ?S)
        (instance ?S Sock))
    (exists (?F)
        (and
            (instance ?F Foot)
            (part ?F ?P)
            (contains ?S ?F))))
Mid-level-ontology.kif 4973-4981
(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 4910-4918
(=>
    (instance ?H Hoof)
    (exists (?F ?A)
        (and
            (instance ?F Foot)
            (instance ?A HoofedMammal)
            (part ?H ?F)
            (part ?F ?A))))
Mid-level-ontology.kif 10964-10971
(=>
    (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 4938-4958
(=>
    (instance ?TOE Toe)
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?TOE ?FOOT))))
Mid-level-ontology.kif 12227-12232

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


(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 4908-4908
(subclass Sock
    (CoveringFn Foot))
Mid-level-ontology.kif 4971-4971


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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