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 10380-10381 | |
(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 10378-10378 | subclass Foot and AnimalAnatomicalStructure |
(subclass Foot BodyPart) | Mid-level-ontology.kif 10379-10379 | subclass Foot and BodyPart |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Foot "足") | domainEnglishFormat.kif 24574-24574 | |
(termFormat ChineseTraditionalLanguage Foot "足") | domainEnglishFormat.kif 24573-24573 | |
(termFormat EnglishLanguage Foot "foot") | domainEnglishFormat.kif 24572-24572 |
antecedent |
![]() |
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 10383-10388 |
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 10390-10403 | |
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 6276-6284 | |
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 5531-5539 | |
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 5471-5479 |
|
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 9700-9707 | |
(=> (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 5498-5518 |
|
(=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 10441-10446 |
![]() |
![]() |