TreeView Knowledge Base Browser - Shoe

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Shoe

Sigma KEE - Shoe

Shoe(shoe)

Loafer, anklet, baby_shoe, balmoral, blucher, boot, brogan, brogue, calceus, carpet_slipper, chopine, chukka, chukka_boot, cleats, clodhopper, clog, congress_boot, congress_gaiter, congress_shoe, flip-flop, footgear, footwear, gaiter, geta, ghillie, gillie, gym_shoe, hip_boot, mocassin, moccasin, outsole, oxford, patten, platform, plimsoll, pump, riding_boot, running_shoe, sabot, sandal, scuffer, shoe, ski_boot, sling, slingback, slipper, sneaker, tennis_shoe, thigh_boot, thong...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5179-5180
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 47-47
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 169-169
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4694-4694
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 5178-5178	Shoe is a subclass of clothing

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1749-1749	Shoe is an industry product type of footwear manufacturing
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1179-1179	Bowling shoe is a subclass of shoe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5209-5209	Sandal is a subclass of shoe
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52755-52755
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52754-52754
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 52753-52753

antecedent

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30120-30128	Barefoot is an attribute of an entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of shoe and the entity wears the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5198-5203	If a self connected object is an instance of shoe sole, then there exists another self connected object such that the other self connected object is an instance of shoe and the bottom of the other self connected object is the self connected object

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