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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 " 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


    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
            (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