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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 5174-5175
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/7/74/ Boot.agr.jpg") pictureList.kif 47-47
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/a/a4/ Zapato.jpg") pictureList.kif 169-169
(externalImage Shoe "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Well_shined_shoes.jpg") pictureList.kif 4694-4694
(subclass Shoe
    (CoveringFn Foot))
Mid-level-ontology.kif 5176-5176 Shoe è una sottoclasse di CoveringFn Foot
(subclass Shoe Clothing) Mid-level-ontology.kif 5173-5173 Shoe è una sottoclasse di Vestito

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


(industryProductType FootwearManufacturing Shoe) Economy.kif 1749-1749 industryProductType FootwearManufacturing and Shoe
(subclass BowlingShoe Shoe) Sports.kif 1179-1179 BowlingShoe è una sottoclasse di Shoe
(subclass Sandal Shoe) Mid-level-ontology.kif 5204-5204 Sandal è una sottoclasse di Shoe
(termFormat ChineseLanguage Shoe "鞋") domainEnglishFormat.kif 52757-52757
(termFormat ChineseTraditionalLanguage Shoe "鞋") domainEnglishFormat.kif 52756-52756
(termFormat EnglishLanguage Shoe "shoe") domainEnglishFormat.kif 52755-52755

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


(=>
    (and
        (wears ?PERSON ?SHOE)
        (instance ?SHOE Shoe))
    (exists (?FOOT)
        (and
            (instance ?FOOT Foot)
            (part ?FOOT ?PERSON)
            (meetsSpatially ?SHOE ?FOOT))))
Mid-level-ontology.kif 5178-5186

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


(<=>
    (holdsDuring ?T
        (attribute ?A Barefoot))
    (holdsDuring ?T
        (not
            (exists (?S)
                (and
                    (instance ?S Shoe)
                    (wears ?A ?S))))))
Mid-level-ontology.kif 30156-30164 attribute Entit� and Barefoot vales durante PosizioneTemporale Entit� Entit� è un' istanza di Shoe wears Entit� and Entit� vales durante PosizioneTemporale
(=>
    (instance ?SS ShoeSole)
    (exists (?S)
        (and
            (instance ?S Shoe)
            (bottom ?SS ?S))))
Mid-level-ontology.kif 5193-5198


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 3.0 is open source software produced by Articulate Software and its partners