TreeView Knowledge Base Browser - Inserting

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Inserting

Inserting

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3039-3039
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11444-11444
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1807-1807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11442-11442	Inserting est une sous-classe de mettre

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 566-566	Catheterization est une sous-classe de Inserting
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11455-11455	Injecting est une sous-classe de Inserting
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4119-4119	Intubation est une sous-classe de Inserting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1368-1368	LoadingWeapon est une sous-classe de Inserting
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30223-30223
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30222-30222
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30221-30221

antecedent

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

Merge.kif 11446-11453

Processus est une instance de Inserting entit� est un patient de processus processus aboutit � entit�
entit� ne contient %n{pas} entit� pendant le d�but de temps d'existence de processus entit� contient entit� pendant la fin de temps d'existence de processus

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	Transf�re est une instance de Thoracentesis objet est un patient de transf�re transf�re objet, transf�reN, objet, objet and objet transf�re est une instance de Inserting transf�re est un sous-processus de transf�re objectTransferred transf�re and objet transf�re a pour origine objet transf�re aboutit � transf�reN objet est une instance de Needle Fluid est un attribut de objet objectTransferred transf�re and objet objet aboutit � objet objet est une instance de Lung objet est une instance de Chest objet est une partie de objet objet est une partie de objet transf�re a pour origine transf�reN transf�re aboutit � objet transf�reN est entre objet et objet objet est Outside � objet
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 924-938	Physique est une instance de Needle physique a pour but entit� entit�, entit� and entit� entit� est une instance de animal entit� est une instance de TherapeuticProcss Fluid est un attribut de entit� entit� est un patient de entit� physique est un instrument pour entit� entit� est une instance de supprimer entit� est une instance de Inserting entit� est un sous-processus de entit� objectTransferred entit� and entit�
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5211-5231	Objet en une partie est une instance de Sandal trou trou trou est une instance de trou trou est un trou dans objet en une partie trou est une instance de trou trou est un trou dans objet en une partie trou est trou trou a pour but entit� entit�, entit� and entit� entit� est une instance de Dressing entit� est une instance de Foot entit� est un agent de entit� entit� est une partie de entit� entit� est un sous-processus de entit� entit� est une instance de Inserting entit� est un patient de entit� entit� aboutit � trou
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9586-9597	Entit� est une instance de PlantSpinoseStructure l'argument entit� entit� and entit� entit� est une instance de Inserting entit� est un instrument pour entit� entit� est une instance de animal entit� est un patient de entit� entit� cause entit� entit� est une instance de Pain entit� exp�rimente entit� a la force modale de Possibility

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