| 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 12698-12699 | |
| (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 12696-12696 | 子類 足 and 動物解剖結構 |
| (subclass Foot BodySegment) | Mid-level-ontology.kif 12697-12697 | 子類 足 and BodySegment |
| appearance as argument number 2 |
|
|
| (initialPart FoodBone Foot) | Anatomy.kif 1102-1102 | %每個 FoodBone 是 足 的 initially part |
| (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 12701-12706 |
| 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 12708-12721 | |
| (=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 6636-6644 | |
| (=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 5246-5254 | |
| (=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 5183-5191 | |
| (=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 11460-11467 | |
| (=> (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 5211-5231 |
|
| (=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 12761-12766 |
| statement |
|
|
| (subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2924-2924 | 子類 LeftFoot and BodySideFn 左 and 足 |
| (subclass PedalEdema (EdemaFn Foot)) |
Medicine.kif 2993-2993 | 子類 PedalEdema and EdemaFn 足 |
| (subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2927-2927 | 子類 RightFoot and BodySideFn 右 and 足 |
| (subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 5181-5181 | 子類 鞋 and 對於 足 的 covering |
| (subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 5244-5244 | 子類 襪子 and 對於 足 的 covering |
|
|
|