Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Silk
Silk(silk)
sarcenet, sarsenet, silk

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Silk "silk") domainEnglishFormat.kif 53073-53073
(termFormat ChineseTraditionalLanguage Silk "絲") domainEnglishFormat.kif 53074-53074
(termFormat ChineseLanguage Silk "丝") domainEnglishFormat.kif 53075-53075

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 6510-6519 If X is an instance of silk, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) X is a result of Y (4) Z is a resource for Y (5) Z is a part of W (6) W is an instance of insect (7) larval is an attribute of W


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners