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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shoe

Sigma KEE - Shoe
Shoe

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


(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 5467-5468
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/7/74/ Boot.agr.jpg") pictureList.kif 47-47 externalImage Shoe and "http://upload.wikimedia.org/wikipedia/commons/7/74/ Boot.agr.jpg"
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Zapato.jpg") pictureList.kif 169-169 externalImage Shoe and "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Zapato.jpg"
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Well_shined_shoes.jpg") pictureList.kif 4695-4695 externalImage Shoe and "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Well_shined_shoes.jpg"
(subclass Shoe Clothing) Mid-level-ontology.kif 5466-5466 Shoe服装subclass

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


(industryProductType FootwearManufacturing Shoe) Economy.kif 1753-1753 industryProductType FootwearManufacturing and Shoe
(subclass BowlingShoe Shoe) Sports.kif 1028-1028 BowlingShoeShoesubclass
(subclass Sandal Shoe) Mid-level-ontology.kif 5494-5494 SandalShoesubclass
(termFormat EnglishLanguage Shoe "shoe") domainEnglishFormat.kif 9216-9216 termFormat EnglishLanguage, Shoe and "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 5470-5478

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


(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 28289-28297 Barefoot 实体attribute 时间位置 holdsDuring 若且唯若 不存在 另一个 实体 这样 那个 另外 实体Shoeinstance那个 实体 wears 那个 另外 实体那个 时间位置 holdsDuring
(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))
Mid-level-ontology.kif 5484-5489


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