Foot - Sigma Knowledge base Browser

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 10368-10369
(externalImage Foot "http://upload.wikimedia.org/wikipedia/commons/8/8e/ Foot-outside.jpg")	pictureList.kif 97-97
(externalImage Foot "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ foot.png")	pictureList.kif 441-441
(subclass Foot AnimalAnatomicalStructure)	Mid-level-ontology.kif 10366-10366	Foot is a subclass of animal anatomical structure
(subclass Foot BodyPart)	Mid-level-ontology.kif 10367-10367	Foot is a subclass of body part

appearance as argument number 2

(termFormat ChineseLanguage Foot "足")	domainEnglishFormat.kif 24499-24499
(termFormat ChineseTraditionalLanguage Foot "足")	domainEnglishFormat.kif 24498-24498
(termFormat EnglishLanguage Foot "foot")	domainEnglishFormat.kif 24497-24497

antecedent

(=>
    (instance ?FOOT Foot)
    (exists (?LIMB)
        (and
            (instance ?LIMB Leg)
            (part ?FOOT ?LIMB))))

Mid-level-ontology.kif 10371-10376

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 ?KICK Kicking) (agent ?KICK ?ANIMAL)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?ANIMAL) (instrument ?KICK ?FOOT))))	Mid-level-ontology.kif 6270-6278	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 5525-5533	If an animal は % を wears %n{ない} and a 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 は the object を contains %n{ない}
(=> (and (wears ?PERSON ?SHOE) (instance ?SHOE Shoe)) (exists (?FOOT) (and (instance ?FOOT Foot) (part ?FOOT ?PERSON) (meetsSpatially ?SHOE ?FOOT))))	Mid-level-ontology.kif 5465-5473	If an animal は % を wears %n{ない} and a 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 9704-9711	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 Hole) (hole ?H1 ?S) (instance ?H2 Hole) (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 5492-5512	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 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 10414-10419	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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: