TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15923-15923	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 15924-15925
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 15922-15922	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 5052-5052	Apron est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5067-5067	Belt est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5095-5095	Cloak est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5106-5106	Collar est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5291-5291	Dress est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5129-5129	Glove est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5144-5144	Hat est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5099-5099	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 5038-5038	OutdoorClothing est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5319-5319	Pajamas est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3562-3562	SafetyVest est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5256-5256	Shirt est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5178-5178	Shoe est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5267-5267	Sleeve est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5241-5241	Sock est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5081-5081	TieClothing est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5163-5163	Trousers est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26673-26673	UniformClothing est une sous-classe de v�tement
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5470-5470	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 15936-15943	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 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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30166-30176	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 30133-30141	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 5502-5517	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 5071-5079	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 30148-30161	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 5419-5424	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 5622-5624	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: