Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CottonFabric
CottonFabric
more pictures...

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


(documentation CottonFabric EnglishLanguage "Any Fabric that is made entirely out of Cotton.") Mid-level-ontology.kif 5451-5451
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ CottonModule.JPG") pictureList.kif 6312-6312
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ 2005cottonseed.PNG") pictureList.kif 6317-6317
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ CottonPlant.JPG") pictureList.kif 6313-6313
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Cotton_harvest.jpg") pictureList.kif 6314-6314
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Greene_Co_Ga1941_Delano.jpg") pictureList.kif 6315-6315
(subclass CottonFabric Fabric) Mid-level-ontology.kif 5450-5450 CottonFabric est une sous-classe de textile

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


(termFormat ChineseLanguage CottonFabric "棉织物") domainEnglishFormat.kif 17496-17496
(termFormat ChineseTraditionalLanguage CottonFabric "棉織物") domainEnglishFormat.kif 17495-17495
(termFormat EnglishLanguage CottonFabric "cotton fabric") domainEnglishFormat.kif 17494-17494

antecedent
-------------------------


(=>
    (instance ?F CottonFabric)
    (exists (?M ?C)
        (and
            (instance ?M Making)
            (resource ?M ?C)
            (instance ?C Cotton)
            (result ?M ?F))))
Mid-level-ontology.kif 5453-5460
(=>
    (instance ?F CottonFabric)
    (material Cotton ?F))
Mid-level-ontology.kif 5462-5464


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