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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Fabric

Sigma KEE - Fabric
Fabric

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


(disjoint Fabric StationaryArtifact) Merge.kif 15926-15926 不相交的 Fabric and StationaryArtifact
(documentation Fabric ChineseLanguage "这是由天然或合成纤维所编织成或将某些 Animal 的皮加工所成 的 Artifact。注:这个 Class 包括把各种面料缝合而成的用品如:床罩。此外,Clothing 并非 Fabricsubclass,因为很多服装单品都有不属于面料的元件。") chinese_format.kif 3609-3611
(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 15927-15932
(subclass Fabric Artifact) Merge.kif 15925-15925 子類 Fabric and Artifact

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


(industryProductType FabricMills Fabric) Economy.kif 1886-1886 Fabric織物廠industry 產品類別
(subclass Blanket Fabric) Mid-level-ontology.kif 5425-5425 子類 and Fabric
(subclass CottonFabric Fabric) Mid-level-ontology.kif 5444-5444 子類 棉織物 and Fabric
(subclass Curtain Fabric) Mid-level-ontology.kif 15194-15194 子類 窗簾 and Fabric
(subclass Leather Fabric) Mid-level-ontology.kif 5368-5368 子類 皮革 and Fabric
(subclass Pocket Fabric) Mid-level-ontology.kif 5410-5410 子類 口袋 and Fabric
(subclass Rug Fabric) Mid-level-ontology.kif 5340-5340 子類 地毯 and Fabric
(subclass Silk Fabric) Mid-level-ontology.kif 5381-5381 子類 and Fabric
(subclass Towel Fabric) Mid-level-ontology.kif 5354-5354 子類 毛巾 and Fabric
(subclass Wool Fabric) Mid-level-ontology.kif 5396-5396 子類 羊毛 and Fabric
(termFormat ChineseLanguage Fabric "织品") chinese_format.kif 1054-1054
(termFormat EnglishLanguage Fabric "fabric") english_format.kif 1319-1319
(termFormat FrenchLanguage Fabric "textile") french_format.kif 732-732
(termFormat Hindi Fabric "vastra") terms-hindi.txt 263-263
(termFormat ItalianLanguage Fabric "Stoffa") terms-it.txt 266-266
(termFormat JapaneseLanguage Fabric "布(地)") japanese_format.kif 2416-2416
(termFormat PortugueseLanguage Fabric "Tecido") portuguese_format.kif 684-684
(termFormat cb Fabric "panapton") terms-cb.txt 268-268
(termFormat cz Fabric "fabric") terms-cz.txt 302-302
(termFormat ro Fabric "fabricã") relations-ro.kif 753-753
(termFormat tg Fabric "habi") terms-tg.txt 267-267

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 25321-25332

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 25259-25270
(=>
    (instance ?CLOTHING Clothing)
    (modalAttribute
        (exists (?FABRIC)
            (and
                (instance ?FABRIC Fabric)
                (part ?FABRIC ?CLOTHING))) Likely))
Merge.kif 15977-15984
(=>
    (instance ?FLAG Flag)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?FLAG))))
Mid-level-ontology.kif 13282-13287
(=>
    (instance ?S Sewing)
    (capability Fabric patient ?S))
Mid-level-ontology.kif 5613-5615
(=>
    (instance ?S Sewing)
    (exists (?F)
        (and
            (instance ?F Fabric)
            (patient ?S ?F))))
Mid-level-ontology.kif 5606-5611
(=>
    (instance ?S String)
    (material Fabric ?S))
Mid-level-ontology.kif 3648-3650
(=>
    (instance ?SAIL Sail)
    (exists (?MAST)
        (and
            (material Fabric ?SAIL)
            (instance ?MAST Mast)
            (connected ?SAIL ?MAST))))
Mid-level-ontology.kif 26380-26386
(=>
    (instance ?TAPE Tape)
    (exists (?PART)
        (and
            (part ?PART ?TAPE)
            (or
                (instance ?PART Paper)
                (instance ?PART Fabric)))))
Mid-level-ontology.kif 4223-4230
(=>
    (instance ?TENT Tent)
    (exists (?FABRIC)
        (and
            (instance ?FABRIC Fabric)
            (part ?FABRIC ?TENT))))
Mid-level-ontology.kif 6850-6855
(=>
    (instance ?X BedLinen)
    (material Fabric ?X))
Mid-level-ontology.kif 4120-4122
(=>
    (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 3951-3962
(=>
    (instance ?X SeatBelt)
    (exists (?BELT)
        (and
            (part ?BELT ?X)
            (attribute ?BELT Pliable)
            (material Fabric ?BELT))))
Cars.kif 3652-3658


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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