NasalSeptum - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NasalSeptum

NasalSeptum(septum)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6097-6098
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6096-6096	Septum is a subclass of body part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6099-6099
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6100-6100

antecedent

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

Mid-level-ontology.kif 6102-6107

If an object is an instance of septum,
then there exists a self connected object such that the self connected object is an instance of nasal cavity and the self connected object contains the object

consequent

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

Medicine.kif 4447-4455

If a process is an instance of septoplasty and an agent experiences the process,
then there exists the processEPT such that the processEPT is an instance of septum and the processEPT is a part of the agent and the processEPT is a patient of the process

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