Nose - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Nose

Nose

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12090-12090	connectedBodyPart Nose and Trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12190-12190
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7456-7456
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 139-139
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7457-7457
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12189-12189	Nose est une sous-classe de AnimalAnatomicalStructure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12188-12188	Nose est une sous-classe de organe

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41271-41271
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41270-41270
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41269-41269

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12192-12194	Objet est une instance de Nose objet est capable de faire sentir dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12196-12201	Objet est une instance de Nose objet objet est une instance de Face objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11316-11324	Objet est une instance de Nose objet objet objet est une instance de Nostril objet est une instance de Nostril objet est objet objet est connect� � objet objet est connect� � objet

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	Processus est une instance de Sneezing AutonomousAgent exp�rimente processus processus a pour but entit� entit�, entit�OSE and entit� entit� est une instance de NasalCavity entit�OSE est une instance de Nose entit�OSE est h�te du trou entit� entit� est une instance de objet entit� est une instance de supprimer entit�OSE est une partie de AutonomousAgent objectTransferred entit� and entit� entit� est situ� � entit� pendant immediatement avant temps d'existence de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6088-6094	Trou est une instance de NasalCavity trouOSE trouOSE est une instance de Nose trouOSE est h�te du trou trou
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11326-11332	Objet est une instance de Nostril objet objet objet est une instance de Nose objet est une instance de Throat objet relie objet et objet

statement

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

Medicine.kif 5227-5227

AllergicRhinitis est un sous-attribut de InflammationFn Nose

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