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 12699-12700 | |
(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 12697-12697 | Foot は AnimalAnatomicalStructure の subclass では %n |
(subclass Foot BodySegment) | Mid-level-ontology.kif 12698-12698 | Foot は BodySegment の subclass では %n |
appearance as argument number 2 |
(initialPart FoodBone Foot) | Anatomy.kif 1102-1102 | initialPart FoodBone and Foot |
(termFormat ChineseLanguage Foot "足") | domainEnglishFormat.kif 24572-24572 | |
(termFormat ChineseTraditionalLanguage Foot "足") | domainEnglishFormat.kif 24571-24571 | |
(termFormat EnglishLanguage Foot "foot") | domainEnglishFormat.kif 24570-24570 |
antecedent |
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1374-1381 |
|
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB)))) |
Mid-level-ontology.kif 12702-12707 |
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 12709-12722 | |
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 6637-6645 | |
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 5247-5255 | |
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 5184-5192 | |
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 11461-11468 | |
(=> (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 5212-5232 |
|
(=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 12762-12767 |
statement |
(subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2924-2924 | LeftFoot は BodySideFn Left and Foot の subclass では %n |
(subclass PedalEdema (EdemaFn Foot)) |
Medicine.kif 2993-2993 | PedalEdema は EdemaFn Foot の subclass では %n |
(subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2927-2927 | RightFoot は BodySideFn Right and Foot の subclass では %n |
(subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 5182-5182 | Shoe は CoveringFn Foot の subclass では %n |
(subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 5245-5245 | Sock は CoveringFn Foot の subclass では %n |