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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 5480-5482
(externalImage ShoeSole " 39/ Dr_Martens%2C_black%2C_old.jpg") pictureList.kif 8713-8713
(subclass ShoeSole Artifact) Mid-level-ontology.kif 5483-5483

appearance as argument number 2

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


    (instance ?SS ShoeSole)
    (exists (?S)
            (instance ?S Shoe)
            (bottom ?SS ?S))))
Mid-level-ontology.kif 5484-5489


    (instance ?S Sandal)
    (exists (?SOLE)
            (instance ?SOLE ShoeSole)
            (part ?SOLE ?S)
            (attribute ?SOLE Flat))))
Mid-level-ontology.kif 5514-5520

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