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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fabric
Fabric(fabric)Acrilan, Aertex, Bedford_cord, Brussels_carpet, Brussels_lace, Canton_crepe, Courtelle, Dacron, Harris_Tweed, Mackinaw_blanket, Orlon, Terylene, Turkish_towel, Ultrasuede, Valenciennes, Valenciennes_lace, Velcro, Viyella, aba, acetate, acetate_rayon, acrylic, adhesive_bandage, afghan, alpaca, antimacassar, apishamore, bagging, baize, balbriggan, band, bandage, banding, banner, basket_weave, bath_linen, bath_mat, bath_towel, batik, batiste, bed_cover, bed_covering, bedcover, bedding, bedding_material, bedroll, bedspread, blindfold, bobbin_lace, bombazine...

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


(disjoint Fabric StationaryArtifact) Merge.kif 15951-15951 Fabric is disjoint from stationary artifact
(documentation Fabric ChineseLanguage "这是由天然或合成纤维所编织成或将某些 Animal 的皮加工所成 的 Artifact。注:这个 Class 包括把各种面料缝合而成的用品如:床罩。此外,Clothing 并非 Fabricsubclass,因为很多服装单品都有不属于面料的元件。") chinese_format.kif 3609-3611 Fabric is disjoint from stationary artifact
(documentation Fabric EnglishLanguage "Artifacts that are created by weaving together natural or synthetic fibers or by treating the skins of certain sorts of Animals. Note that this Class includes articles that are created by stitching together various types of fabrics, e.g. bedspreads. On the other hand, Clothing is not a subclass of Fabric, because many clothing items contain elements that are not fabrics.") Merge.kif 15952-15957 Fabric is disjoint from stationary artifact
(subclass Fabric Artifact) Merge.kif 15950-15950 Fabric is a subclass of artifact

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


(industryProductType FabricMills Fabric) Economy.kif 1886-1886 Fabric is an industry product type of fabric mills
(subclass Blanket Fabric) Mid-level-ontology.kif 5980-5980 Blanket is a subclass of fabric
(subclass CottonFabric Fabric) Mid-level-ontology.kif 5999-5999 Cotton fabric is a subclass of fabric
(subclass Curtain Fabric) Mid-level-ontology.kif 16095-16095 Curtain is a subclass of fabric
(subclass Leather Fabric) Mid-level-ontology.kif 5923-5923 Leather is a subclass of fabric
(subclass Pocket Fabric) Mid-level-ontology.kif 5965-5965 Pocket is a subclass of fabric
(subclass Rug Fabric) Mid-level-ontology.kif 5895-5895 Rug is a subclass of fabric
(subclass Silk Fabric) Mid-level-ontology.kif 5936-5936 Silk is a subclass of fabric
(subclass Towel Fabric) Mid-level-ontology.kif 5909-5909 Towel is a subclass of fabric
(subclass Wool Fabric) Mid-level-ontology.kif 5951-5951 Wool is a subclass of fabric
(termFormat ChineseLanguage Fabric "织品") chinese_format.kif 1054-1054 Wool is a subclass of fabric
(termFormat EnglishLanguage Fabric "fabric") english_format.kif 1319-1319 Wool is a subclass of fabric
(termFormat FrenchLanguage Fabric "textile") french_format.kif 732-732 Wool is a subclass of fabric
(termFormat Hindi Fabric "vastra") terms-hindi.txt 263-263 Wool is a subclass of fabric
(termFormat ItalianLanguage Fabric "Stoffa") terms-it.txt 266-266 Wool is a subclass of fabric
(termFormat JapaneseLanguage Fabric "布(地)") japanese_format.kif 2416-2416 Wool is a subclass of fabric
(termFormat PortugueseLanguage Fabric "Tecido") portuguese_format.kif 684-684 Wool is a subclass of fabric
(termFormat cb Fabric "panapton") terms-cb.txt 268-268 Wool is a subclass of fabric
(termFormat cz Fabric "fabric") terms-cz.txt 302-302 Wool is a subclass of fabric
(termFormat de Fabric "Stoff") terms-de.txt 561-561 Wool is a subclass of fabric
(termFormat ro Fabric "fabricã") relations-ro.kif 753-753 Wool is a subclass of fabric
(termFormat tg Fabric "habi") terms-tg.txt 267-267 Wool is a subclass of fabric

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


(=>
    (and
        (instance ?I Ironing)
        (patient ?I ?OBJ)
        (part ?FABRIC ?OBJ)
        (instance ?FABRIC Fabric))
    (exists (?IRON ?HEAT)
        (and
            (instance ?HEAT Heating)
            (patient ?HEAT ?IRON)
            (instance ?IRON FabricIron)
            (instrument ?I ?IRON))))
Mid-level-ontology.kif 26383-26394

consequent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG LeatherAndAlliedProductManufacturing))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (or
                        (instance ?THING Clothing)
                        (instance ?THING Fabric))
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2457-2475
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TextileMills))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Fabric)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 1944-1960
(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG TextileProductMills))
    (exists (?EV ?MEM)
        (and
            (member ?MEM ?ORG)
            (agent ?MEM ?EV)
            (exists (?THING ?MEM2 ?EV2)
                (and
                    (instance ?EV Manufacture)
                    (instance ?THING Fabric)
                    (patient ?EV ?THING)
                    (member ?MEM2 ?ORG)
                    (instance ?EV2 Selling)
                    (agent ?EV2 ?MEM2)
                    (patient ?EV2 ?THING))))))
naics.kif 2085-2101
(=>
    (instance ?BOARD IroningBoard)
    (hasPurpose ?BOARD
        (exists (?IRON ?FABRIC ?OBJ)
            (and
                (instance ?IRON Ironing)
                (patient ?IRON ?OBJ)
                (part ?FABRIC ?OBJ)
                (instance ?FABRIC Fabric)
                (holdsDuring
                    (WhenFn ?IRON)
                    (orientation ?OBJ ?BOARD On))))))
Mid-level-ontology.kif 26321-26332
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))
Merge.kif 16002-16009
(=>
    (instance ?FLAG Flag)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?FLAG))))
Mid-level-ontology.kif 14151-14156
(=>
    (instance ?S Sewing)
    (capability Fabric patient ?S))
Mid-level-ontology.kif 6168-6170
(=>
    (instance ?S Sewing)
    (exists (?F)
        (and
            (instance ?F Fabric)
            (patient ?S ?F))))
Mid-level-ontology.kif 6161-6166
(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 3721-3723
(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))
Mid-level-ontology.kif 27442-27448
(=>
    (instance ?TAPE Tape)
    (exists (?PART)
        (and
            (part ?PART ?TAPE)
            (or
                (instance ?PART Paper)
                (instance ?PART Fabric)))))
Mid-level-ontology.kif 4296-4303
(=>
    (instance ?TENT Tent)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?TENT))))
Mid-level-ontology.kif 7596-7601
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))
Mid-level-ontology.kif 4193-4195
(=>
    (instance ?X Hammock)
    (and
        (material Fabric ?X)
        (exists (?POLE1 ?POLE2 ?GROUND)
            (and
                (orientation ?POLE1 ?POLE2 Near)
                (connected ?POLE1 ?X)
                (connected ?POLE2 ?X)
                (instance ?GROUND LandArea)
                (located ?X ?GROUND)
                (orientation ?X ?GROUND Above)))))
Mid-level-ontology.kif 4024-4035
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3728-3734


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