TreeView Knowledge Base Browser - Nose

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Nose

Sigma KEE - Nose

Nose(nose)

nose, olfactory_organ

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12118-12118	A nose is connected to a trachea
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12218-12218
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 12217-12217	Nose is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12216-12216	Nose is a subclass of organ

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12220-12222	If an object is an instance of nose, then the object is capable of doing smelling as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12224-12229	If an object is an instance of nose, then there exists another object such that the other object is an instance of face and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11344-11352	If an object is an instance of nose, then there exist another object and a third object such that the other object is an instance of nostril and the third object is an instance of nostril and the other object is not equal to the third object and the other object is connected to the object and the third object is connected to the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6116-6134	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6083-6089	If a hole is an instance of nasal cavity, then there exists the holeOSE such that the holeOSE is an instance of nose and the holeOSE is equal to the host of the hole the hole
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11354-11360	If an object is an instance of nostril, then there exist another object and a third object such that the other object is an instance of nose and the third object is an instance of throat and the object connects the other object and the third object

statement

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

Medicine.kif 5227-5227

Hay fever is a subattribute of inflammation of nose

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