Fabric - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 16030-16030	Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3609-3611	Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16031-16036	Fabric is disjoint from stationary artifact
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16029-16029	Fabric is a subclass of artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2011-2011	Fabric is an industry product type of fabric mills
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6368-6368	Blanket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6387-6387	Cotton fabric is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16540-16540	Curtain is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6311-6311	Leather is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6353-6353	Pocket is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6283-6283	Rug is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6324-6324	Silk is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6297-6297	Towel is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6339-6339	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1054-1054	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1319-1319	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	french_format.kif 732-732	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 263-263	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 266-266	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2416-2416	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 684-684	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 268-268	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 302-302	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 561-561	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 753-753	Wool is a subclass of fabric
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 267-267	Wool is a subclass of fabric

antecedent

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

Mid-level-ontology.kif 26926-26937

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 26864-26875	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 16081-16088	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 14594-14599	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 6556-6558	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 6549-6554	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 4098-4100	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 28246-28252	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 4673-4680	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 7984-7989	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 4570-4572	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 4401-4412	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 3728-3734	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: