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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Fabric
Fabric(textile)

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


(disjoint Fabric StationaryArtifact) Merge.kif 16015-16015 Textile est disjoint de artefact stationnaire
(documentation Fabric ChineseLanguage "这是由天然或合成纤维所编织成或将某些 Animal 的皮加工所成 的 Artifact。注：这个 Class 包括把各种面料缝合而成的用品如：床罩。此外，Clothing 并非 Fabric 的 subclass，因为很多服装单品都有不属于面料的元件。") chinese_format.kif 3609-3611 Textile est disjoint de artefact stationnaire
(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 16016-16021 Textile est disjoint de artefact stationnaire
(subclass Fabric Artifact) Merge.kif 16014-16014 Textile est une sous-classe de artefact

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


(industryProductType FabricMills Fabric) Economy.kif 2011-2011 industryProductType FabricMills and textile
(subclass Blanket Fabric) Mid-level-ontology.kif 6368-6368 Blanket est une sous-classe de textile
(subclass CottonFabric Fabric) Mid-level-ontology.kif 6387-6387 CottonFabric est une sous-classe de textile
(subclass Curtain Fabric) Mid-level-ontology.kif 16540-16540 Curtain est une sous-classe de textile
(subclass Leather Fabric) Mid-level-ontology.kif 6311-6311 Leather est une sous-classe de textile
(subclass Pocket Fabric) Mid-level-ontology.kif 6353-6353 Pocket est une sous-classe de textile
(subclass Rug Fabric) Mid-level-ontology.kif 6283-6283 Rug est une sous-classe de textile
(subclass Silk Fabric) Mid-level-ontology.kif 6324-6324 Silk est une sous-classe de textile
(subclass Towel Fabric) Mid-level-ontology.kif 6297-6297 Towel est une sous-classe de textile
(subclass Wool Fabric) Mid-level-ontology.kif 6339-6339 Wool est une sous-classe de textile
(termFormat ChineseLanguage Fabric "织品") chinese_format.kif 1054-1054 Wool est une sous-classe de textile
(termFormat EnglishLanguage Fabric "fabric") english_format.kif 1319-1319 Wool est une sous-classe de textile
(termFormat FrenchLanguage Fabric "textile") french_format.kif 732-732 Wool est une sous-classe de textile
(termFormat Hindi Fabric "vastra") terms-hindi.txt 263-263 Wool est une sous-classe de textile
(termFormat ItalianLanguage Fabric "Stoffa") terms-it.txt 266-266 Wool est une sous-classe de textile
(termFormat JapaneseLanguage Fabric "布（地）") japanese_format.kif 2416-2416 Wool est une sous-classe de textile
(termFormat PortugueseLanguage Fabric "Tecido") portuguese_format.kif 684-684 Wool est une sous-classe de textile
(termFormat cb Fabric "panapton") terms-cb.txt 268-268 Wool est une sous-classe de textile
(termFormat cz Fabric "fabric") terms-cz.txt 302-302 Wool est une sous-classe de textile
(termFormat de Fabric "Stoff") terms-de.txt 561-561 Wool est une sous-classe de textile
(termFormat ro Fabric "fabricã") relations-ro.kif 753-753 Wool est une sous-classe de textile
(termFormat tg Fabric "habi") terms-tg.txt 267-267 Wool est une sous-classe de textile

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 26928-26939

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 26866-26877
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))		 Merge.kif 16066-16073
(=>
    (instance ?FLAG Flag)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?FLAG))))		 Mid-level-ontology.kif 14594-14599
(=>
    (instance ?S Sewing)
    (capability Fabric patient ?S))		 Mid-level-ontology.kif 6556-6558
(=>
    (instance ?S Sewing)
    (exists (?F)
        (and
            (instance ?F Fabric)
            (patient ?S ?F))))		 Mid-level-ontology.kif 6549-6554
(=>
    (instance ?S String)
    (material Fabric ?S))		 Mid-level-ontology.kif 4098-4100
(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))		 Mid-level-ontology.kif 28248-28254
(=>
    (instance ?TAPE Tape)
    (exists (?PART)
        (and
            (part ?PART ?TAPE)
            (or
                (instance ?PART Paper)
                (instance ?PART Fabric)))))		 Mid-level-ontology.kif 4673-4680
(=>
    (instance ?TENT Tent)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?TENT))))		 Mid-level-ontology.kif 7984-7989
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))		 Mid-level-ontology.kif 4570-4572
(=>
    (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 4401-4412
(=>
    (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