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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Leather

Sigma KEE - Leather
Leather

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


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

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


(termFormat EnglishLanguage Leather "leather") domainEnglishFormat.kif 6034-6034

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


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


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