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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sandal

Sigma KEE - Sandal
Sandal

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 4928-4930
(externalImage Sandal "http://upload.wikimedia.org/wikipedia/commons/4/42/ MulticolorSandalette.jpg") pictureList.kif 10251-10251
(subclass Sandal Shoe) Mid-level-ontology.kif 4932-4932

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


(termFormat ChineseLanguage Sandal "檀香") domainEnglishFormat.kif 51046-51046
(termFormat ChineseTraditionalLanguage Sandal "檀香") domainEnglishFormat.kif 51045-51045
(termFormat EnglishLanguage Sandal "sandal") domainEnglishFormat.kif 51044-51044

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 4934-4954
(=>
    (instance ?S Sandal)
    (exists (?SOLE)
        (and
            (instance ?SOLE ShoeSole)
            (part ?SOLE ?S)
            (attribute ?SOLE Flat))))
Mid-level-ontology.kif 4956-4962

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