TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15901-15901	V�tement est disjoint de artefact stationnaire
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3614-3615
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15902-15903
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 351-351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15900-15900	V�tement est une sous-classe de WearableItem

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5053-5053	Apron est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5068-5068	Belt est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5096-5096	Cloak est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5107-5107	Collar est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5292-5292	Dress est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5130-5130	Glove est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5145-5145	Hat est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5100-5100	Mask est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 415-415	Oqal est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5039-5039	OutdoorClothing est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5320-5320	Pajamas est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3554-3554	SafetyVest est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5257-5257	Shirt est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5179-5179	Shoe est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5268-5268	Sleeve est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5242-5242	Sock est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5082-5082	TieClothing est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5164-5164	Trousers est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26685-26685	UniformClothing est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5471-5471	Veil est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1055-1055
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1321-1321
No TPTP formula. May not be expressible in strict first order.	french_format.kif 733-733
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 264-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15914-15921	Physique est une instance de v�tement physique a pour but entit� entit� entit� est une instance de animal entit� est une partie de entit� covers physique and entit�
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15905-15912	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30178-30188	Entit� est une instance de partie du corps Bare est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30145-30153	Naked est un attribut de entit� pendant position temporel entit� entit� est une instance de v�tement entit� porte entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5503-5518	Processus est une instance de Dressing processus est un agent de AutonomousAgent entit� est un patient de processus entit� est une instance de v�tement AutonomousAgent ne porte %n{pas} entit� pendant le d�but de temps d'existence de processus AutonomousAgent porte entit� pendant la fin de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	naics.kif 2194-2210	Collection est une instance de organisation ApparelManufacturing 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 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 7509-7521	Collection est une instance de organisation ClothingAndClothingAccessoriesStores est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent entit� AutonomousAgent est une instance de vendre entit� est une instance de v�tement entit� est un patient de AutonomousAgent
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.	Mid-level-ontology.kif 5072-5080	Animal porte WearableItem WearableItem est une instance de Belt WearableItem WearableItem est une instance de v�tement animal porte WearableItem WearableItem rencontre WearableItem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30160-30173	Clothed est un attribut de entit� pendant position temporel entit� entit� est une instance de corps reproducteur entit� est une partie de entit� entit� entit� est une instance de v�tement covers entit� and entit� pendant position temporel
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4264-4270	Physique est une instance de Button physique a pour but entit� entit� est une instance de v�tement physique est une partie de entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5420-5425	Objet est une instance de Pocket objet objet est une instance de v�tement objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5623-5625	Objet est une instance de Sewing objet est capable de faire v�tement dans le r�le patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	Processus est une instance de DryCleaningService entit� objet and objet entit� est une instance de v�tement objet est un instrument pour processus objet est une instance de eau objet est une instance de ChemicalProduct objet est un instrument pour processus entit� est un patient de processus Clean est un attribut de entit� est le resultat de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	Processus est une instance de LaundryService entit� processus, processus and processus entit� est une instance de v�tement entit� est un patient de processus processus est un sous-processus de processus processus est une instance de Washing entit� est un patient de processus Clean est un attribut de entit� est le resultat de processus processus est un sous-processus de processus processus est une instance de s�cher entit� est un patient de processus processus est une instance de Ironing processus est un sous-processus de processus entit� est un patient de processus le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	Processus est une instance de ValetLaundryService humain AutonomousAgent, TemporaryResidence, entit�, processus, processus and processus customer humain and AutonomousAgent stays humain and TemporaryResidence processus est un agent de AutonomousAgent entit� est une instance de v�tement processus est une instance de obtenir processus est situ� � TemporaryResidence entit� est un patient de processus processus est un agent de AutonomousAgent processus est une instance de LaundryService processus est une instance de DryCleaningService processus est un agent de AutonomousAgent entit� est un patient de processus processus est une instance de DeliveryService entit� est un patient de processus processus aboutit � TemporaryResidence le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus le d�but de temps d'existence de processus se produit avant le d�but de temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1856-1863	Processus est une instance de IroningService processus entit� entit� est une instance de v�tement processus est une instance de Ironing entit� est un patient de processus processus est un sous-processus de processus

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: