TreeView Knowledge Base Browser - Breath

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Breath

Breath

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10360-10360
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10358-10358	Breath est une sous-classe de AutonomicProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10359-10359	Breath est une sous-classe de fonction physiologique

antecedent

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

Mid-level-ontology.kif 10362-10373

Processus est une instance de Breath
processus processus processus est un sous-processus de processus processus est un sous-processus de processus temps d'existence de processus arrive plus t�t que temps d'existence de processus temps d'existence de processus rencontre temps d'existence de processus

consequent

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

Mid-level-ontology.kif 10385-10397

breathingRate Lung, interval temporel and nombre entier
collection processus collection est une instance de collection memberType collection and Breath memberCount collection and nombre entier
- processus est un membre de collection
- Lung est un patient de processus temps d'existence de processus prend place pendant interval temporel

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