TreeView 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 10242-10244
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 10240-10240	子類 Breathing and 自主過程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10239-10239	子類 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 11301-11301	子類呼氣 and Breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11290-11290	子類吸入 and Breathing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1078-1078
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1367-1367
No TPTP formula. May not be expressible in strict first order.	french_format.kif 756-756

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 4105-4117	例 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 5997-6017	例 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 11191-11196	能力 Breathing, 體驗者 and CorpuscularObject CorpuscularObject 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 肺

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	例 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 767-785	例 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 4123-4133	例 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 6537-6547	例 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 3417-3423	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 5986-5989	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 4161-4178	持有期間 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 812-821	持有期間 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 730-740	例 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 18459-18471	例 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 26902-26911	例 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 16071-16082	例 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 2037-2037	子類 BreathingDifficulty and ImpairmentFn Breathing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11748-11748	子類 Choking and ImpairmentFn Breathing

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

KB Term:			Term intersection

English Word: