TreeView Knowledge Base Browser - Foot

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Oar

Sigma KEE - Foot

Foot(foot)

animal_foot, foot, footer, heel, human_foot, pes

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12698-12699
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 441-441
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 97-97
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12696-12696	Foot is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12697-12697	Foot is a subclass of body segment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1102-1102	Every FoodBone is initially part of a foot
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24572-24572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24571-24571
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24570-24570

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1374-1381	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12701-12706	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12708-12721	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6636-6644	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5246-5254	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5183-5191	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11460-11467	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5211-5231	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12761-12766	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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2924-2924	Left foot is a subclass of the left foot
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2993-2993	Pedal edema is a subclass of edema in foot
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2927-2927	Right foot is a subclass of the right foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5181-5181	Shoe is a subclass of a covering for foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5244-5244	Sock is a subclass of a covering for foot

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

Show without tree

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