Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Leather

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


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

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


(termFormat EnglishLanguage Leather "leather") domainEnglishFormat.kif 33697-33697
(termFormat ChineseTraditionalLanguage Leather "皮革") domainEnglishFormat.kif 33698-33698
(termFormat ChineseLanguage Leather "皮革") domainEnglishFormat.kif 33699-33699

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


(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))		 Mid-level-ontology.kif 6497-6504 If X is an instance of leather, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of skin, and X is a result of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners