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


KB Term:  Term intersection
English Word: 

Sigma KEE - CottonFabric
CottonFabric(cotton fabric)
more pictures...		Canton_flannel, canvas, canvass, cotton, cotton_flannel

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


(subclass CottonFabric Fabric) Mid-level-ontology.kif 6406-6406 Cotton fabric is a subclass of fabric
(documentation CottonFabric EnglishLanguage "Any Fabric that is made entirely out of Cotton.") Mid-level-ontology.kif 6407-6407 Cotton fabric is a subclass of fabric
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 3/ 31/ CottonModule.JPG") pictureList.kif 6311-6311 Cotton fabric is a subclass of fabric
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ CottonPlant.JPG") pictureList.kif 6312-6312 Cotton fabric is a subclass of fabric
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ Cotton_harvest.jpg") pictureList.kif 6313-6313 Cotton fabric is a subclass of fabric
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Greene_Co_Ga1941_Delano.jpg") pictureList.kif 6314-6314 Cotton fabric is a subclass of fabric
(externalImage CottonFabric "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ 2005cottonseed.PNG") pictureList.kif 6316-6316 Cotton fabric is a subclass of fabric

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


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

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


(=>
    (instance ?F CottonFabric)
    (exists (?M ?C)
        (and
            (instance ?M Making)
            (resource ?M ?C)
            (instance ?C Cotton)
            (result ?M ?F))))		 Mid-level-ontology.kif 6409-6416 If X is an instance of cotton fabric, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of cotton, and X is a result of Y
(=>
    (instance ?F CottonFabric)
    (material Cotton ?F))		 Mid-level-ontology.kif 6418-6420 If X is an instance of cotton fabric, then X is made of cotton


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