NasalCavity - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5786-5793
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5784-5784	Nasal cavity is a subclass of body cavity

appearance as argument number 2

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

Mid-level-ontology.kif 5794-5794

antecedent

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

Mid-level-ontology.kif 5796-5802

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5829-5847	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 5810-5815	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