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 6321-6322
(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 6320-6320	Silk is a subclass of fabric

appearance as argument number 2

(termFormat ChineseLanguage Silk "丝")	domainEnglishFormat.kif 53081-53081
(termFormat ChineseTraditionalLanguage Silk "絲")	domainEnglishFormat.kif 53080-53080
(termFormat EnglishLanguage Silk "silk")	domainEnglishFormat.kif 53079-53079

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 6324-6333

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: