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 14030-14031 | |
(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 14028-14028 | Foot est une sous-classe de AnimalAnatomicalStructure |
(subclass Foot BodySegment) | Mid-level-ontology.kif 14029-14029 | Foot est une sous-classe de BodySegment |
appearance as argument number 2 |
![]() |
(initialPart FoodBone Foot) | Anatomy.kif 1133-1133 | initialPart FoodBone and Foot |
(termFormat ChineseLanguage Foot "足") | domainEnglishFormat.kif 24577-24577 | initialPart FoodBone and Foot |
(termFormat ChineseTraditionalLanguage Foot "足") | domainEnglishFormat.kif 24576-24576 | initialPart FoodBone and Foot |
(termFormat EnglishLanguage Foot "foot") | domainEnglishFormat.kif 24575-24575 | initialPart FoodBone and Foot |
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 32024-32035 | |
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1366-1373 |
|
(=> (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 32037-32048 | |
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 14033-14038 |
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 14040-14053 | |
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 7574-7582 | |
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 6184-6192 | |
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 6121-6129 | |
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 12792-12799 | |
(=> (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 6149-6169 |
|
(=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 14093-14098 |
statement |
![]() |
(subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2925-2925 | LeftFoot est une sous-classe de BodySideFn Left and Foot |
(subclass PedalEdema (EdemaFn Foot)) |
Medicine.kif 2994-2994 | PedalEdema est une sous-classe de EdemaFn Foot |
(subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2928-2928 | RightFoot est une sous-classe de BodySideFn Right and Foot |
(subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 6119-6119 | Shoe est une sous-classe de CoveringFn Foot |
(subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 6182-6182 | Sock est une sous-classe de CoveringFn Foot |
![]() |
![]() |