TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15902-15902	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 15903-15908
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	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 5430-5430	Blanket est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5449-5449	CottonFabric est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15166-15166	Curtain est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5373-5373	Leather est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5415-5415	Pocket est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5345-5345	Rug est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5386-5386	Silk est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5359-5359	Towel est une sous-classe de textile
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5401-5401	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 25263-25274

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 25201-25212	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 15927-15934	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 13254-13259	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 5618-5620	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 5611-5616	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 3655-3657	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 26335-26341	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 4230-4237	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 6822-6827	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 4127-4129	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 3958-3969	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 3675-3681	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: