Fabric - Sigma Knowledge base Browser

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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14726-14726	Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3609-3611
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14727-14732
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14725-14725	Fabric is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1890-1890	Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5932-5932	Bandage is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5682-5682	Blanket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5701-5701	Cotton fabric is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12882-12882	Curtain is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5625-5625	Leather is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5667-5667	Pocket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5597-5597	Rug is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5638-5638	Silk is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5611-5611	Towel is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5653-5653	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1054-1054
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1324-1324

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 23192-23203

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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23130-23141	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14751-14756	If an object is an instance of clothing, 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10888-10893	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4192-4194	If a corpuscular object is an instance of string, then fabric is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24440-24446	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4602-4604	If a corpuscular object is an instance of bed linen, then fabric is made of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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