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 13595-13596 | |
(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 13593-13593 | |
(subclass Foot BodySegment) | Mid-level-ontology.kif 13594-13594 |
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 31220-31231 | |
(=> (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 31233-31244 | |
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 13598-13603 |
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 13605-13618 | |
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 7186-7194 | |
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 5796-5804 | |
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 5733-5741 | |
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 12357-12364 | |
(=> (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 5761-5781 | |
(=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 13658-13663 |
statement |
![]() |
(subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2912-2912 | |
(subclass PedalEdema (EdemaFn Foot)) |
Medicine.kif 2981-2981 | |
(subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2915-2915 | |
(subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 5731-5731 | |
(subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 5794-5794 |
![]() |
![]() |