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, Stoffa, Tecido, 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...

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


(disjoint Fabric StationaryArtifact) Merge.kif 15906-15906 Fabric is disjoint from stationary artifact
(documentation Fabric ChineseLanguage "这是由天然或合成纤维所编织成或将某些 Animal 的皮加工所成 的 Artifact。注:这个 Class 包括把各种面料缝合而成的用品如:床罩。此外,Clothing 并非 Fabricsubclass,因为很多服装单品都有不属于面料的元件。") Merge.kif 15913-15915
(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 15907-15912
(subclass Fabric Artifact) Merge.kif 15905-15905 Fabric is a subclass of artifact

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


(industryProductType FabricMills Fabric) Economy.kif 1890-1890 Fabric is an industry product type of fabric mills
(industryProductType TextileIndustry Fabric) Society.kif 597-597 Fabric is an industry product type of textile industry
(industryProductType TextileMills Fabric) Society.kif 578-578 Fabric is an industry product type of textile mills
(industryProductType TextileProductMills Fabric) Society.kif 579-579 Fabric is an industry product type of textile product mills
(subclass Bandage Fabric) Mid-level-ontology.kif 5922-5922 Bandage is a subclass of fabric
(subclass Blanket Fabric) Mid-level-ontology.kif 5672-5672 Blanket is a subclass of fabric
(subclass CottonFabric Fabric) Mid-level-ontology.kif 5691-5691 Cotton fabric is a subclass of fabric
(subclass Curtain Fabric) Mid-level-ontology.kif 12597-12597 Curtain is a subclass of fabric
(subclass HandwovenCarpet Fabric) Society.kif 585-585 HandwovenCarpet is a subclass of fabric
(subclass Leather Fabric) Mid-level-ontology.kif 5615-5615 Leather is a subclass of fabric
(subclass Pocket Fabric) Mid-level-ontology.kif 5657-5657 Pocket is a subclass of fabric
(subclass Rug Fabric) Mid-level-ontology.kif 5587-5587 Rug is a subclass of fabric
(subclass Silk Fabric) Mid-level-ontology.kif 5628-5628 Silk is a subclass of fabric
(subclass Towel Fabric) Mid-level-ontology.kif 5601-5601 Towel is a subclass of fabric
(subclass Wool Fabric) Mid-level-ontology.kif 5643-5643 Wool is a subclass of fabric
(termFormat ChineseLanguage Fabric "织品") chinese_format.kif 1054-1054 "织品" is the printable form of fabric in ChineseLanguage
(termFormat EnglishLanguage Fabric "fabric") english_format.kif 741-741 "fabric" is the printable form of fabric in english language
(termFormat FrenchLanguage Fabric "textile") french_format.kif 732-732 "textile" is the printable form of fabric in french language
(termFormat Hindi Fabric "vastra") terms-hindi.txt 263-263 "vastra" is the printable form of fabric in Hindi
(termFormat ItalianLanguage Fabric "Stoffa") terms-it.txt 264-264 "Stoffa" is the printable form of fabric in italian language
(termFormat PortugueseLanguage Fabric "Tecido") portuguese_format.kif 684-684 "Tecido" is the printable form of fabric in portuguese language
(termFormat cb Fabric "panapton") terms-cb.txt 268-268 "panapton" is the printable form of fabric in cb
(termFormat cz Fabric "fabric") terms-cz.txt 302-302 "fabric" is the printable form of fabric in cz
(termFormat tg Fabric "habi") terms-tg.txt 267-267 "habi" is the printable form of fabric in tg

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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 22762-22773

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 22700-22711
(=>
    (instance ?CLOTHING Clothing)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?CLOTHING))))
Merge.kif 15938-15943
(=>
    (instance ?FLAG Flag)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?FLAG))))
Mid-level-ontology.kif 10845-10850
(=>
    (instance ?S Sewing)
    (exists (?F)
        (and
            (instance ?F Fabric)
            (patient ?S ?F))))
Mid-level-ontology.kif 5849-5854
(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 4186-4188
(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))
Mid-level-ontology.kif 23961-23967
(=>
    (instance ?TAPE Tape)
    (exists (?PART)
        (and
            (part ?PART ?TAPE)
            (or
                (instance ?PART Paper)
                (instance ?PART Fabric)))))
Mid-level-ontology.kif 4700-4707
(=>
    (instance ?TENT Tent)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?TENT))))
Mid-level-ontology.kif 6478-6483
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))
Mid-level-ontology.kif 4597-4599
(=>
    (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 4485-4496
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3675-3681


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners