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 5382-5383
(externalImage Silk "http://upload.wikimedia.org/wikipedia/commons/8/89/ Silk_raw_01.jpg")	pictureList.kif 4823-4823
(subclass Silk Fabric)	Mid-level-ontology.kif 5381-5381	Silk is a subclass of fabric

appearance as argument number 2

(termFormat ChineseLanguage Silk "丝")	domainEnglishFormat.kif 53118-53118
(termFormat ChineseTraditionalLanguage Silk "絲")	domainEnglishFormat.kif 53117-53117
(termFormat EnglishLanguage Silk "silk")	domainEnglishFormat.kif 53116-53116

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 5385-5394

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: