Fabric - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15880-15880	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 15881-15886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15879-15879	Fabric is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1886-1886	Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5431-5431	Blanket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5450-5450	Cotton fabric is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15167-15167	Curtain is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5374-5374	Leather is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5416-5416	Pocket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5346-5346	Rug is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5387-5387	Silk is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5360-5360	Towel is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5402-5402	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 1319-1319
No TPTP formula. May not be expressible in strict first order.	french_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 263-263
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 266-266
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2416-2416
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 684-684
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 268-268
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 302-302
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 753-753
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 267-267

antecedent

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

Mid-level-ontology.kif 25264-25275

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 a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 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 a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 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 a process such that the process is a member of the collection and the agent is an agent of the process and there exist an entity, the process2 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 process2 is a member of the collection and the agent2 is an instance of selling and the process2 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 25202-25213	If a physical is an instance of ironing board, then the physical has the 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 15905-15912	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13255-13260	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 5619-5621	If an object is an instance of sewing, then the object is capable of doing fabric as a patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5612-5617	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 3655-3657	If a corpuscular object is an instance of string, then the corpuscular object is made of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26347-26353	If a corpuscular object is an instance of sail, then there exists an object such that the corpuscular object is made of fabric 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 4230-4237	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 6823-6828	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 4127-4129	If a corpuscular object is an instance of bed linen, then the corpuscular object is made of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric 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 3667-3673	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 the corpuscular object is made of fabric

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: