TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat ChineseLanguage Leather "皮革")	domainEnglishFormat.kif 33706-33706
(termFormat ChineseTraditionalLanguage Leather "皮革")	domainEnglishFormat.kif 33705-33705
(termFormat EnglishLanguage Leather "leather")	domainEnglishFormat.kif 33704-33704

antecedent

(=>
    (instance ?LEATHER Leather)
    (exists (?MAKE ?SKIN)
        (and
            (instance ?MAKE Making)
            (resource ?MAKE ?SKIN)
            (instance ?SKIN Skin)
            (result ?MAKE ?LEATHER))))

Mid-level-ontology.kif 6315-6322

If an entity is an instance of leather,
then there exist a process and an object such that the process is an instance of making and the object is a resource for the process and the object is an instance of skin and the entity is a result of the process

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

KB Term:			Term intersection

English Word: