| Foot(foot)
| | animal_foot, foot, footer, heel, human_foot, pes |
| appearance as argument number 1 |
|
|
| (subclass Foot AnimalAnatomicalStructure) | Mid-level-ontology.kif 14161-14161 | Foot is a subclass of animal anatomical structure |
| (subclass Foot BodySegment) | Mid-level-ontology.kif 14162-14162 | Foot is a subclass of body segment |
| (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 14163-14164 | Foot is a subclass of body segment |
| (externalImage Foot "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Foot_outside.jpg") | pictureList.kif 97-97 | Foot is a subclass of body segment |
| (externalImage Foot "http://articulatesoftware.com/SUMOpictures/medical/ foot.png") | pictureList.kif 441-441 | Foot is a subclass of body segment |
| appearance as argument number 2 |
|
|
| (initialPart FoodBone Foot) | Anatomy.kif 1131-1131 | Every FoodBone is initially part of a foot |
| (termFormat EnglishLanguage Foot "foot") | domainEnglishFormat.kif 24568-24568 | Every FoodBone is initially part of a foot |
| (termFormat ChineseTraditionalLanguage Foot "足") | domainEnglishFormat.kif 24569-24569 | Every FoodBone is initially part of a foot |
| (termFormat ChineseLanguage Foot "足") | domainEnglishFormat.kif 24570-24570 | Every FoodBone is initially part of a foot |
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?DEVICE FootSpa) (hasPurpose ?DEVICE (exists (?PROC ?FOOT) (and (instance ?PROC Process) (instance ?FOOT Foot) (instrument ?PROC ?DEVICE) (patient ?PROC ?FOOT))))) |
HouseholdAppliances.kif 134-142 | If X is an instance of foot spa, then X has the purpose there exist Y, Z such that Y is an instance of process, Z is an instance of foot, X is an instrument for Y, and Z is a patient of Y |
| (=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 6139-6147 | If X wears Y and Y is an instance of shoe, then there exists Z such that Z is an instance of foot, Z is a part of X, and Y meets Z |
| (=> (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 6167-6187 | If X is an instance of sandal, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hole (3) Y is a hole in X (4) Z is an instance of hole (5) Z is a hole in X (6) equal Y (7) Z (8) Y has the purpose there exist W, V,, , U (9) T such that W is an instance of dressing (10) V is an instance of foot (11) U is an agent of W (12) V is a part of U (13) T is a subprocess of W (14) T is an instance of inserting (15) V is a patient of T (16) T ends up at Y |
| (=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F)))) |
Mid-level-ontology.kif 6202-6210 | If X wears Y and Y is an instance of sock, then there exists Z such that Z is an instance of foot, Z is a part of X, and Y contains Z |
| (=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT)))) |
Mid-level-ontology.kif 7592-7600 | If X is an instance of kicking and Y is an agent of X, then there exists Z such that Z is an instance of foot, Z is a part of Y, and Z is an instrument for X |
| (=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A)))) |
Mid-level-ontology.kif 12835-12842 | If X is an instance of hoof, then there exist Y, Z such that Y is an instance of foot, Z is an instance of hoofed mammal, X is a part of Y, and Y is a part of Z |
| (=> (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 14173-14186 | If X is an instance of primate, Y is an instance of disease or syndrome, and Y is not an attribute of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of foot (3) W is an instance of foot (4) equal Z (5) W (6) Z is a part of X (7) W is a part of X |
| (=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT)))) |
Mid-level-ontology.kif 14226-14231 | If X is an instance of toe, then there exists Y such that Y is an instance of foot and X is a part of Y |
| statement |
|
|
| (subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2912-2912 | Left foot is a subclass of the left of foot |
| (subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2915-2915 | Right foot is a subclass of the right of foot |
| (subclass PedalEdema (EdemaFn Foot)) |
Medicine.kif 2981-2981 | Pedal edema is a subclass of edema in foot |
| (subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 6137-6137 | Shoe is a subclass of a covering for foot |
| (subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 6200-6200 | Sock is a subclass of a covering for foot |
|
|
|