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

Formal Language: 



KB Term:  Term intersection
English Word: 

  earlier

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 5374-5375
(externalImage Leather "http://upload.wikimedia.org/wikipedia/commons/5/ 5c/ Leathertools.jpg") pictureList.kif 4765-4765
(subclass Leather Fabric) Mid-level-ontology.kif 5373-5373 子類 皮革 and Fabric

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


(termFormat ChineseLanguage Leather "皮革") domainEnglishFormat.kif 33695-33695
(termFormat ChineseTraditionalLanguage Leather "皮革") domainEnglishFormat.kif 33694-33694
(termFormat EnglishLanguage Leather "leather") domainEnglishFormat.kif 33693-33693

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


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


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 is open source software produced by Articulate Software and its partners