Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ShoeSole

Sigma KEE - ShoeSole
ShoeSole

appearance as argument number 1
-------------------------


(documentation ShoeSole EnglishLanguage "The bottom part of a Shoe that is intended to be the point of contact with the ground while the shoe is being worn.") Mid-level-ontology.kif 5476-5478
(externalImage ShoeSole "http://upload.wikimedia.org/wikipedia/commons/3/ 39/ Dr_Martens%2C_black%2C_old.jpg") pictureList.kif 8713-8713
(subclass ShoeSole Artifact) Mid-level-ontology.kif 5479-5479

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


(termFormat EnglishLanguage ShoeSole "shoe sole") domainEnglishFormat.kif 9221-9221

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


(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))
Mid-level-ontology.kif 5480-5485

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


(=>
    (instance ?S Sandal)
    (exists (?SOLE)
        (and
            (instance ?SOLE ShoeSole)
            (part ?SOLE ?S)
            (attribute ?SOLE Flat))))
Mid-level-ontology.kif 5510-5516


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