Foot - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Foot

Foot(foot)

animal_foot, foot, footer, heel, human_foot, pes

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 13595-13596
(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 13593-13593	Foot is a subclass of animal anatomical structure
(subclass Foot BodySegment)	Mid-level-ontology.kif 13594-13594	Foot is a subclass of body segment

appearance as argument number 2

(initialPart FoodBone Foot)	Anatomy.kif 1101-1101	Every FoodBone is initially part of a foot
(termFormat ChineseLanguage Foot "足")	domainEnglishFormat.kif 24588-24588	Every FoodBone is initially part of a foot
(termFormat ChineseTraditionalLanguage Foot "足")	domainEnglishFormat.kif 24587-24587	Every FoodBone is initially part of a foot
(termFormat EnglishLanguage Foot "foot")	domainEnglishFormat.kif 24586-24586	Every FoodBone is initially part of a 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 31220-31231	If barefoot is an attribute of an entity and another entity is an instance of foot and the other entity is a part of the entity holds during a time position, then there doesn't exist a third entity such that the third entity is an instance of clothing and the third entity covers the other entity holds during the time position
(=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting)))	Medicine.kif 1362-1369	If infectious disease is an attribute of an entity and diabetes mellitus is an attribute of the entity and impaired body part fn foot is an attribute of the entity holds during a time position, then infectious disease is disease treatment ertapenem for injecting holds during the time position
(=> (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 31233-31244	If there doesn't exist an entity such that the entity is an instance of clothing and the entity covers another entity and the other entity is an instance of foot and the other entity is a part of a third entity holds during a time position, then barefoot is an attribute of the third entity holds during the time position
(=> (instance ?FOOT Foot) (exists (?LIMB) (and (instance ?LIMB Leg) (part ?FOOT ?LIMB))))	Mid-level-ontology.kif 13598-13603	If an object is an instance of foot, then there exists another object such that the other object is an instance of leg and the object is a part of the other object

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 13605-13618	If an object is an instance of primate and an attribute is an instance of disease or syndrome and the attribute is not an attribute of the object, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of foot and the other object is not equal to the third object and the other object is a part of the object and the third object is a part of the object
(=> (and (instance ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT))))	Mid-level-ontology.kif 7186-7194	If a process is an instance of kicking and an agent is an agent of the process, then there exists an object such that the object is an instance of foot and the object is a part of the agent and the object is an instrument for the process
(=> (and (wears ?P ?S) (instance ?S Sock)) (exists (?F) (and (instance ?F Foot) (part ?F ?P) (contains ?S ?F))))	Mid-level-ontology.kif 5796-5804	If an animal wears a self connected object and the self connected object is an instance of sock, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the self connected object contains the object
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 5733-5741	If an animal wears a wearable item and the wearable item is an instance of shoe, then there exists an object such that the object is an instance of foot and the object is a part of the animal and the wearable item meets the object
(=> (instance ?H Hoof) (exists (?F ?A) (and (instance ?F Foot) (instance ?A HoofedMammal) (part ?H ?F) (part ?F ?A))))	Mid-level-ontology.kif 12357-12364	If an object is an instance of hoof, then there exist another object and a third object such that the other object is an instance of foot and the third object is an instance of hoofed mammal and the object is a part of the other object and the other object is a part of the third object
(=> (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 5761-5781	If a self connected object is an instance of sandal, then there exist a hole and another hole such that the hole is an instance of hole and the hole is a hole in the self connected object and the other hole is an instance of hole and the other hole is a hole in the self connected object and the hole is not equal to the other hole and the hole has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of dressing and the other entity is an instance of foot and the third entity is an agent of the entity and the other entity is a part of the third entity and the fourth entity is a subprocess of the entity and the fourth entity is an instance of inserting and the other entity is a patient of the fourth entity and the fourth entity ends up at the hole
(=> (instance ?TOE Toe) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?TOE ?FOOT))))	Mid-level-ontology.kif 13658-13663	If an object is an instance of toe, then there exists another object such that the other object is an instance of foot and the object is a part of the other object

statement

(subclass LeftFoot (BodySideFn Left Foot))	Medicine.kif 2912-2912	Left foot is a subclass of the left foot
(subclass PedalEdema (EdemaFn Foot))	Medicine.kif 2981-2981	Pedal edema is a subclass of edema in foot
(subclass RightFoot (BodySideFn Right Foot))	Medicine.kif 2915-2915	Right foot is a subclass of the right foot
(subclass Shoe (CoveringFn Foot))	Mid-level-ontology.kif 5731-5731	Shoe is a subclass of a covering for foot
(subclass Sock (CoveringFn Foot))	Mid-level-ontology.kif 5794-5794	Sock is a subclass of a covering for foot

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners