Fabric - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint Fabric StationaryArtifact)	Merge.kif 14746-14746	Fabric is disjoint from stationary artifact
(documentation Fabric ChineseLanguage "这是由天然或合成纤维所编织成或将某些 Animal 的皮加工所成的 Artifact。注：这个 Class 包括把各种面料缝合而成的用品如：床罩。此外，Clothing 并非 Fabric 的 subclass，因为很多服装单品都有不属于面料的元件。")	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 14747-14752
(subclass Fabric Artifact)	Merge.kif 14745-14745	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
(subclass Bandage Fabric)	Mid-level-ontology.kif 5932-5932	Bandage is a subclass of fabric
(subclass Blanket Fabric)	Mid-level-ontology.kif 5682-5682	Blanket is a subclass of fabric
(subclass CottonFabric Fabric)	Mid-level-ontology.kif 5701-5701	Cotton fabric is a subclass of fabric
(subclass Curtain Fabric)	Mid-level-ontology.kif 12884-12884	Curtain is a subclass of fabric
(subclass Leather Fabric)	Mid-level-ontology.kif 5625-5625	Leather is a subclass of fabric
(subclass Pocket Fabric)	Mid-level-ontology.kif 5667-5667	Pocket is a subclass of fabric
(subclass Rug Fabric)	Mid-level-ontology.kif 5597-5597	Rug is a subclass of fabric
(subclass Silk Fabric)	Mid-level-ontology.kif 5638-5638	Silk is a subclass of fabric
(subclass Towel Fabric)	Mid-level-ontology.kif 5611-5611	Towel is a subclass of fabric
(subclass Wool Fabric)	Mid-level-ontology.kif 5653-5653	Wool is a subclass of fabric
(termFormat ChineseLanguage Fabric "织品")	chinese_format.kif 1054-1054
(termFormat EnglishLanguage Fabric "fabric")	english_format.kif 1324-1324

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 23198-23209

If a process is an instance of ironing and an object is a patient of the process and another object is a part of the object and the other object is an instance of fabric,
then there exist the processRON and another process such that the other process is an instance of heating and the processRON is a patient of the other process and the processRON is an instance of iron and the processRON is an instrument for the process

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	If a collection is an instance of organization and leather and allied product manufacturing is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of clothing or the entity is an instance of fabric and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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	If a collection is an instance of organization and textile mills is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of fabric and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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	If a collection is an instance of organization and textile product mills is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exist an entity, the object2 and the agent2 such that the agent is an instance of manufacture and the entity is an instance of fabric and the entity is a patient of the agent and the object2 is a member of the collection and the agent2 is an instance of selling and the object2 is an agent of the agent2 and the entity is a patient of the agent2
(=> (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 23136-23147	If a physical is an instance of ironing board, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of ironing and the third entity is a patient of the entity and the other entity is a part of the third entity and the other entity is an instance of fabric and the third entity is on to the physical holds during the time of existence of the entity
(=> (instance ?CLOTHING Clothing) (modalAttribute (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?CLOTHING))) Likely))	Merge.kif 14771-14778	If an entity is an instance of clothing, then the statement there exists another entity such that the other entity is an instance of fabric and the other entity is a part of the entity has the modal force of likely
(=> (instance ?FLAG Flag) (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?FLAG))))	Mid-level-ontology.kif 10890-10895	If an object is an instance of flag, then there exists another object such that the other object is an instance of fabric and the other object is a part of the object
(=> (instance ?S Sewing) (exists (?F) (and (instance ?F Fabric) (patient ?S ?F))))	Mid-level-ontology.kif 5859-5864	If a process is an instance of sewing, then there exists an entity such that the entity is an instance of fabric and the entity is a patient of the process
(=> (instance ?S String) (material Fabric ?S))	Mid-level-ontology.kif 4192-4194	If a corpuscular object is an instance of string, then fabric is made of the corpuscular object
(=> (instance ?SAIL Sail) (exists (?MAST) (and (material Fabric ?SAIL) (instance ?MAST Mast) (connected ?SAIL ?MAST))))	Mid-level-ontology.kif 24446-24452	If a corpuscular object is an instance of sail, then there exists an object such that fabric is made of the corpuscular object and the object is an instance of mast and the corpuscular object is connected to the object
(=> (instance ?TAPE Tape) (exists (?PART) (and (part ?PART ?TAPE) (or (instance ?PART Paper) (instance ?PART Fabric)))))	Mid-level-ontology.kif 4705-4712	If an object is an instance of tape, then there exists another object such that the other object is a part of the object and the other object is an instance of paper or the other object is an instance of fabric
(=> (instance ?TENT Tent) (exists (?FABRIC) (and (instance ?FABRIC Fabric) (part ?FABRIC ?TENT))))	Mid-level-ontology.kif 6462-6467	If an object is an instance of tent, then there exists another object such that the other object is an instance of fabric and the other object is a part of the object
(=> (instance ?X BedLinen) (material Fabric ?X))	Mid-level-ontology.kif 4602-4604	If a corpuscular object is an instance of bed linen, then fabric is made of the corpuscular object
(=> (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 4490-4501	If a corpuscular object is an instance of hammock, then fabric is made of the corpuscular object and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
(=> (instance ?X SeatBelt) (exists (?BELT) (and (part ?BELT ?X) (attribute ?BELT Pliable) (material Fabric ?BELT))))	Cars.kif 3642-3648	If an object is an instance of seat belt, then there exists a corpuscular object such that the corpuscular object is a part of the object and pliable is an attribute of the corpuscular object and fabric is made of the corpuscular object

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

KB Term:			Term intersection

English Word: