Fabric - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15926-15926	Textile est disjoint de artefact stationnaire
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 15927-15932
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15925-15925	Textile est une sous-classe de artefact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1886-1886	industryProductType FabricMills and textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5425-5425	Blanket est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5444-5444	CottonFabric est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15194-15194	Curtain est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5368-5368	Leather est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5410-5410	Pocket est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5340-5340	Rug est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5381-5381	Silk est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5354-5354	Towel est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5396-5396	Wool est une sous-classe de textile
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 25321-25332

Processus est une instance de Ironing objet est un patient de processus objet est une partie de objet objet est une instance de textile
processusRON processus processus est une instance de r�chauffer processusRON est un patient de processus processusRON est une instance de FabricIron processusRON est un instrument pour processus

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2457-2475	Collection est une instance de organisation LeatherAndAlliedProductManufacturing est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de v�tement entit� est une instance de textile entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 1944-1960	Collection est une instance de organisation TextileMills est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de textile entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	naics.kif 2085-2101	Collection est une instance de organisation TextileProductMills est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� processus2 and AutonomousAgent2 AutonomousAgent est une instance de manufacture entit� est une instance de textile entit� est un patient de AutonomousAgent processus2 est un membre de collection AutonomousAgent2 est une instance de vendre AutonomousAgent2 est un agent de processus2 entit� est un patient de AutonomousAgent2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25259-25270	Physique est une instance de IroningBoard physique a pour but entit� entit� and entit� entit� est une instance de Ironing entit� est un patient de entit� entit� est une partie de entit� entit� est une instance de textile entit� est On � physique pendant temps d'existence de entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15977-15984	Entit� est une instance de v�tement l'argument entit� entit� est une instance de textile entit� est une partie de entit� a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13282-13287	Objet est une instance de Flag objet objet est une instance de textile objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5613-5615	Objet est une instance de Sewing objet est capable de faire textile dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5606-5611	Processus est une instance de Sewing entit� entit� est une instance de textile entit� est un patient de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3648-3650	Objet corpusculaire est une instance de String textile est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26380-26386	Objet corpusculaire est une instance de Sail objet textile est fait de objet corpusculaire objet est une instance de Mast objet corpusculaire est connect� � objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4223-4230	Objet est une instance de Tape objet objet est une partie de objet objet est une instance de Paper objet est une instance de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6850-6855	Objet est une instance de Tent objet objet est une instance de textile objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4120-4122	Objet corpusculaire est une instance de BedLinen textile est fait de objet corpusculaire
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3951-3962	Objet corpusculaire est une instance de Hammock textile est fait de objet corpusculaire objet objet and objet objet est Near � objet objet est connect� � objet corpusculaire objet est connect� � objet corpusculaire objet est une instance de zone de terre objet corpusculaire est situ� � objet objet corpusculaire est Above � objet
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3652-3658	Objet est une instance de SeatBelt objet corpusculaire objet corpusculaire est une partie de objet Pliable est un attribut de objet corpusculaire textile est fait de objet corpusculaire

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: