Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

 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
-------------------------


(subclass Shoe Clothing) Mid-level-ontology.kif 6274-6274 Shoe is a subclass of clothing
(documentation Shoe EnglishLanguage "Clothing that is intended to be worn on the Foot. It consists of an upper, a sole, and a heel.") Mid-level-ontology.kif 6275-6276 Shoe is a subclass of clothing
(subclass Shoe
    (CoveringFn Foot))		 Mid-level-ontology.kif 6277-6277 Shoe is a subclass of a covering for foot
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/7/74/ Boot.agr.jpg") pictureList.kif 47-47 Shoe is a subclass of a covering for foot
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Zapato.jpg") pictureList.kif 169-169 Shoe is a subclass of a covering for foot
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Well_shined_shoes.jpg") pictureList.kif 4693-4693 Shoe is a subclass of a covering for foot

appearance as argument number 2
-------------------------


(subclass Sandal Shoe) Mid-level-ontology.kif 6305-6305 Sandal is a subclass of shoe
(industryProductType FootwearManufacturing Shoe) Economy.kif 1869-1869 Shoe is an industry product type of footwear manufacturing
(subclass BowlingShoe Shoe) Sports.kif 1206-1206 Bowling shoe is a subclass of shoe
(termFormat EnglishLanguage Shoe "shoe") domainEnglishFormat.kif 52750-52750 Bowling shoe is a subclass of shoe
(termFormat ChineseTraditionalLanguage Shoe "鞋") domainEnglishFormat.kif 52751-52751 Bowling shoe is a subclass of shoe
(termFormat ChineseLanguage Shoe "鞋") domainEnglishFormat.kif 52752-52752 Bowling shoe is a subclass of shoe

antecedent
-------------------------


(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))		 Mid-level-ontology.kif 6279-6287 If X wears Y and Y is an instance of shoe, then there exists Z such that Z is an instance of foot, Z is a part of X, and Y meets Z

consequent
-------------------------


(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))		 Mid-level-ontology.kif 6294-6299 If X is an instance of shoe sole, then there exists Y such that Y is an instance of shoe and the bottom of Y is X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners