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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sandal
Sandal(sandal)
talaria

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


(documentation Sandal EnglishLanguage "Any kind of open shoe lacking a markedly thicker heel. The toe may be enclosed, but there must be some opening in the upper other than the Hole through which the foot is inserted.") Mid-level-ontology.kif 5492-5494
(externalImage Sandal "http://upload.wikimedia.org/wikipedia/commons/4/42/ MulticolorSandalette.jpg") pictureList.kif 10262-10262
(subclass Sandal Shoe) Mid-level-ontology.kif 5496-5496 Sandal is a subclass of shoe

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


(termFormat ChineseLanguage Sandal "檀香") domainEnglishFormat.kif 50960-50960
(termFormat ChineseTraditionalLanguage Sandal "檀香") domainEnglishFormat.kif 50959-50959
(termFormat EnglishLanguage Sandal "sandal") domainEnglishFormat.kif 50958-50958

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


(=>
    (instance ?S Sandal)
    (exists (?H1 ?H2)
        (and
            (instance ?H1 Hole)
            (hole ?H1 ?S)
            (instance ?H2 Hole)
            (hole ?H2 ?S)
            (not
                (equal ?H1 ?H2))
            (hasPurpose ?H1
                (exists (?D ?F ?A ?I)
                    (and
                        (instance ?D Dressing)
                        (instance ?F Foot)
                        (agent ?D ?A)
                        (part ?F ?A)
                        (subProcess ?I ?D)
                        (instance ?I Inserting)
                        (patient ?I ?F)
                        (destination ?I ?H1)))))))
Mid-level-ontology.kif 5498-5518
(=>
    (instance ?S Sandal)
    (exists (?SOLE)
        (and
            (instance ?SOLE ShoeSole)
            (part ?SOLE ?S)
            (attribute ?SOLE Flat))))
Mid-level-ontology.kif 5520-5526

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


(=>
    (and
        (instance ?IC IhramClothing)
        (wears ?IC ?M)
        (attribute ?M Male))
    (exists (?C ?B ?S)
        (and
            (instance ?C Cloak)
            (instance ?B Belt)
            (instance ?S Sandal)
            (member ?C ?IC)
            (member ?B ?IC)
            (member ?S ?IC))))
ArabicCulture.kif 142-154


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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