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 5180-5181
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 5182-5182	Shoe is a subclass of a covering for foot
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5179-5179	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 1178-1178	Bowling shoe is a subclass of shoe
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5210-5210	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 5184-5192

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 30132-30140	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 5199-5204	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