Silk - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Silk EnglishLanguage "Fabric that is woven from the strands produced by certain Larval Insects.")	Mid-level-ontology.kif 5937-5938
(externalImage Silk "http://upload.wikimedia.org/wikipedia/commons/8/89/ Silk_raw_01.jpg")	pictureList.kif 4822-4822
(subclass Silk Fabric)	Mid-level-ontology.kif 5936-5936	Silk is a subclass of fabric

appearance as argument number 2

(termFormat ChineseLanguage Silk "丝")	domainEnglishFormat.kif 53111-53111
(termFormat ChineseTraditionalLanguage Silk "絲")	domainEnglishFormat.kif 53110-53110
(termFormat EnglishLanguage Silk "silk")	domainEnglishFormat.kif 53109-53109

antecedent

(=>
    (instance ?S Silk)
    (exists (?M ?T ?I)
        (and
            (instance ?M Making)
            (result ?M ?S)
            (resource ?M ?T)
            (part ?T ?I)
            (instance ?I Insect)
            (attribute ?I Larval))))

Mid-level-ontology.kif 5940-5949

If an entity is an instance of silk,
then there exist a process, an object and another object such that the process is an instance of making and the entity is a result of the process and the object is a resource for the process and the object is a part of the other object and the other object is an instance of insect and larval is an attribute of the other object

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

KB Term:			Term intersection

English Word: