Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Foot AnimalAnatomicalStructure) | Mid-level-ontology.kif 14314-14314 | Foot is a subclass of animal anatomical structure |
| (subclass Foot BodySegment) | Mid-level-ontology.kif 14315-14315 | 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 14316-14317 | 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 FootBone Foot) | Anatomy.kif 1120-1120 | Every foot bone is initially part of a foot |
| (termFormat EnglishLanguage Foot "foot") | domainEnglishFormat.kif 24568-24568 | Every foot bone is initially part of a foot |
| (termFormat ChineseTraditionalLanguage Foot "足") | domainEnglishFormat.kif 24569-24569 | Every foot bone is initially part of a foot |
| (termFormat ChineseLanguage Foot "足") | domainEnglishFormat.kif 24570-24570 | Every foot bone is initially part of a foot |
| antecedent |
|
|
| consequent |
|
|
| (=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT)))) |
Mid-level-ontology.kif 6279-6287 | 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 6307-6327 | 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 6342-6350 | 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 7725-7733 | 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 12961-12968 | 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 14326-14339 | 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 14379-14384 | 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 |
| (=> (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 |
| statement |
|
|
| (subclass Shoe (CoveringFn Foot)) |
Mid-level-ontology.kif 6277-6277 | Shoe is a subclass of a covering for foot |
| (subclass Sock (CoveringFn Foot)) |
Mid-level-ontology.kif 6340-6340 | Sock is a subclass of a covering for foot |
| (subclass LeftFoot (BodySideFn Left Foot)) |
Medicine.kif 2930-2930 | Left foot is a subclass of the left of foot |
| (subclass RightFoot (BodySideFn Right Foot)) |
Medicine.kif 2933-2933 | Right foot is a subclass of the right of foot |
| (subclass PedalEdema (EdemaFn Foot)) |
Medicine.kif 2999-2999 | Pedal edema is a subclass of edema in foot |
|
