Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  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
-------------------------


(subclass Leather Fabric) Mid-level-ontology.kif 6330-6330 Leather is a subclass of fabric
(documentation Leather EnglishLanguage "A Fabric that is the result of tanning an Animal Skin.") Mid-level-ontology.kif 6331-6332 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 6334-6341 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 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