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 4822-4822
(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 53113-53113
(termFormat ChineseTraditionalLanguage Silk "絲")	domainEnglishFormat.kif 53112-53112
(termFormat EnglishLanguage Silk "silk")	domainEnglishFormat.kif 53111-53111

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: