Breathing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2906-2907
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10307-10309
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1655-1656
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10305-10305	子類 Breathing and 自主過程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10304-10304	子類 Breathing and OrganismProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 292-292	Breathing 是霧化的炭疽芽孢桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 281-281	Breathing 是炭疽桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 200-200	Breathing 是細菌劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 477-477	Breathing 是發泡劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 523-523	Breathing 是血液劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1588-1588	Breathing 是百日咳博德特氏菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 374-374	Breathing 是 burkholderia 假單胞菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1598-1598	Breathing 是衣原體鸚鵡熱的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 603-603	Breathing 是窒息劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1250-1250	Breathing 是 coxiella burnetii 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1207-1207	Breathing 是弗朗西斯土拉弗朗西斯菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1927-1927	Breathing 是 junin病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1940-1940	Breathing 是 machupo病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1735-1735	Breathing 是馬爾堡病毒的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1727-1727	Breathing 是結核分枝桿菌的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 559-559	Breathing 是神經毒劑的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1457-1457	Breathing 是石房蛤毒素的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1442-1442	Breathing 是葡萄球菌腸毒素b 的 biochemical 病毒傳遞
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1700-1700	子類 BreathingAtAMoreRapidRate and Breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12197-12197	子類呼氣 and Breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12186-12186	子類吸入 and Breathing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1078-1078	子類吸入 and Breathing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1367-1367	子類吸入 and Breathing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 756-756	子類吸入 and Breathing

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4093-4105	例 Object and InvasiveVentilator 例 Process and Breathing 體驗者 Process and AutonomousAgent 儀器 Process and Object Process 例 Process and Intubation 目的地 Process and AutonomousAgent 早期何時 Process and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5983-6003	例 TimeInterval and TimePeriod 持續時間 TimeInterval and 測量 RealNumber and 分鐘比較多 RealNumber and 5.0 例 Entity and Human Process 例 Process and Breathing 期間何時 Process and TimeInterval 患者 Process and Entity 模態屬性 entity 例 entity and Death 體驗者 entity and Entity 短暫相遇 TimeInterval and 何時 entity and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12087-12092	能力 Breathing, 體驗者 and CorpuscularObject CorpuscularObject 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 肺

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6288-6297	例 Process and Asphyxiation 體驗者 Process and AutonomousAgent 持有期間何時 Process and entity 例 entity and Breathing 體驗者 entity and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 755-773	例 Process and Cricothyroidotomy 患者 Process and Entity 有目的 Process and 持有期間不久的過去何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity 持有期間眼前的未來何時 Process and entity 例 entity and ImpairmentFn Breathing 患者 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4111-4121	例 Transfer and Intubation 例 Object and 管 objectTransferred Transfer and Object 體驗者 Transfer and AutonomousAgent 有目的 Transfer and entity 例 entity and Breathing 儀器 entity and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7086-7096	例 Process and 絞殺患者 Process and Entity 例 Entity and Human 有目的 Process and entity 例 entity and Breathing agent entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3405-3411	attribute AutonomousAgent and Asthma Process 例 Process and ImpairmentFn Breathing 體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6535-6538	attribute Object and ChronicObstructivePulmonaryDisease 例 Object and ImpairmentFn Breathing
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1150-1157	attribute AutonomousAgent and 吸入性炭疽 Entity Process 例 Entity and 炭疽桿菌例 Process and Breathing agent Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4149-4166	持有期間 TimeInterval and attribute AutonomousAgent and SleepApnea attribute AutonomousAgent and Sleeping TimeInterval Process and Process 期間 TimeInterval and TimeInterval Process 例 Process and Breathing 期間何時 Process and TimeInterval 體驗者 Process and AutonomousAgent 持有期間 TimeInterval and 例 Process and Breathing 需求 AutonomousAgent and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 800-809	持有期間 TimeInterval and attribute Entity and Pneumothorax Process 例 Process and ImpairmentFn Breathing 患者 Process and Entity 期間 TimeInterval and 何時 Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 718-728	例 Physical and NasopharyngealAirway 有目的 Physical and entity entity 例 entity and Breathing 位於 entity and entity 持有期間何時 entity and attribute entity and Unconscious 路徑 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19548-19560	例 Physical and 令人窒息持有期間結束何時 Physical and entity 體驗者 Physical and entity entity 例 entity and Breathing 體驗者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27997-28006	例 Object and ScubaDiving Object Object and Process 例 Object and WaterArea 方位 Object, Object and 下面例 Object and Device 例 Process and Breathing 儀器 Process and Object 子過程 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16999-17010	例 Process and 抽煙 Process Object, Process and Entity 子過程 Process and Process 例 Process and Combustion 資源 Process and Object 例 Object and 雪茄或香煙結果 Process and Entity 患者 Process and Entity 例 Process and Breathing 子過程 Process and Process

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2025-2025	子類 BreathingDifficulty and ImpairmentFn Breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12644-12644	子類 Choking and ImpairmentFn Breathing

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

KB Term:			Term intersection

English Word: