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 10388-10388
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10386-10386	子類 Breath and 自主過程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10387-10387	子類 Breath and OrganismProcess

antecedent

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

Mid-level-ontology.kif 10390-10401

例 Process and Breath
Process Process 子過程 Process and Process 子過程 Process and Process 早期何時 Process and 何時 Process 短暫相遇何時 Process and 何時 Process

consequent

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

Mid-level-ontology.kif 10413-10425

breathingRate 肺, TimeInterval and Integer
Collection Process 例 Collection and Collection Breath 是 Collection 的 member 類別 Integer 是 Collection 的 member 計數
- 會員 Process and Collection
- 患者 Process and 肺期間何時 Process and TimeInterval

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