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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Leather
Leather(leather)
Levant, Levant_morocco, Russia_leather, alligator, buckskin, buff, calf, calfskin, chammy, chammy_leather, chamois, chamois_leather, cordovan, cowhide, cowskin, crush, crushed_leather, deerskin, doeskin, glove_leather, grain, horsehide, kid, kidskin, leather, mocha, morocco, ooze_leather, patent_leather, piece_of_leather, pigskin, shammy, shammy_leather, shoe_leather, suede, suede_leather, wash_leather, whit_leather, white_leather

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


(documentation Leather EnglishLanguage "A Fabric that is the result of tanning an Animal Skin.") Mid-level-ontology.kif 5027-5028
(externalImage Leather "http://upload.wikimedia.org/wikipedia/commons/5/ 5c/ Leathertools.jpg") pictureList.kif 4766-4766
(subclass Leather Fabric) Mid-level-ontology.kif 5026-5026 Leather is a subclass of fabric

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


(termFormat ChineseLanguage Leather "皮革") domainEnglishFormat.kif 33678-33678
(termFormat ChineseTraditionalLanguage Leather "皮革") domainEnglishFormat.kif 33677-33677
(termFormat EnglishLanguage Leather "leather") domainEnglishFormat.kif 33676-33676

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


(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))
Mid-level-ontology.kif 5030-5037


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