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 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	呼吸是自主过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10239-10239	呼吸是机体过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 292-292	呼吸是雾化的炭疽芽孢杆菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 281-281	呼吸是炭疽杆菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 200-200	呼吸是细菌剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 477-477	呼吸是发泡剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 523-523	呼吸是血液剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1588-1588	呼吸是百日咳博德特氏菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 374-374	呼吸是 burkholderia 假单胞菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1598-1598	呼吸是衣原体鹦鹉热的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 603-603	呼吸是窒息剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1250-1250	呼吸是 coxiella burnetii 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1207-1207	呼吸是弗朗西斯土拉弗朗西斯菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1927-1927	呼吸是 junin病毒的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1940-1940	呼吸是 machupo病毒的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1735-1735	呼吸是马尔堡病毒的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1727-1727	呼吸是结核分枝杆菌的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 559-559	呼吸是神经毒剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1457-1457	呼吸是石房蛤毒素的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1442-1442	呼吸是葡萄球菌肠毒素b 的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1700-1700	BreathingAtAMoreRapidRate 是呼吸的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11301-11301	呼气是呼吸的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11290-11290	吸入是呼吸的 subclass
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	如果客体是 InvasiveVentilator 的 instance 和过程是呼吸的 instance 和施事体经历了那个过程和那个客体是导致那个过程的 instrument，然后有存在另一个过程这样那个另外过程是 Intubation 的 instance 和那个另外过程在那个施事体结束和那个另外过程出现的 time 比那个过程出现的 time发生的earlier
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5997-6017	如果时距是 TimePeriod 的 instance 和那个时距的 duration 是实数分钟和那个实数是 greaterThan 5.0 和实体是人类的 instance 和不存在过程这样那个过程是呼吸的 instance 和那个过程出现的 time 在那个时距时段内发生和那个实体是那个过程的 patient，然后有存在另一个实体这样那个另外实体是死亡的 instance 和那个实体经历了那个另外实体和那个时距接着那个另外实体出现的 time 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11191-11196	如果躯体性物体能够担当经历者的角色做呼吸，然后有存在另一个躯体性物体这样那个另外躯体性物体是那个躯体性物体的 component 和那个另外躯体性物体是肺的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6304-6313	如果过程是 Asphyxiation 的 instance 和施事体经历了那个过程，然后不存在实体这样那个实体是呼吸的 instance 和那个过程经历了那个实体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	如果过程是 Cricothyroidotomy 的 instance 和实体是那个过程的 patient，然后那个过程的目的是有存在另一个实体这样那个另外实体是 ImpairmentFn 呼吸的 instance 和那个实体是那个另外实体的 patient 在紧接那个过程出现的 time before holdsDuring 和有存在那个另外实体这样那个另外实体是 ImpairmentFn 呼吸的 instance 和那个实体是那个另外实体的 patient doesn't 在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4123-4133	如果转移是 Intubation 的 instance 和客体是管的 instance 和 objectTransferred 那个转移 and 那个客体和施事体经历了那个转移，然后那个转移的目的是有存在实体这样那个实体是呼吸的 instance 和那个客体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6537-6547	如果过程是绞杀的 instance 和实体是那个过程的 patient 和那个实体是人类的 instance，然后那个过程的目的是不存在另一个实体这样那个另外实体是呼吸的 instance 和那个实体是那个另外实体的 agent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	如果 Asthma 是施事体的 attribute，然后有存在过程这样那个过程是 ImpairmentFn 呼吸的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5986-5989	如果 ChronicObstructivePulmonaryDisease 是客体的 attribute，然后那个客体是 ImpairmentFn 呼吸的 instance
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1150-1157	如果吸入性炭疽是施事体的 attribute，然后有存在实体和过程这样那个实体是炭疽杆菌的 instance 和那个过程是呼吸的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4161-4178	如果 SleepApnea 是施事体的 attribute 和 Sleeping 是那个施事体的 attribute 在时距 holdsDuring，然后有存在那个时距2，过程， and 和那个过程2 这样那个时距2 在那个时距时段内发生和不存在那个过程这样那个过程是呼吸的 instance 和那个过程出现的 time 在那个时距2 时段内发生和那个施事体经历了那个过程和那个过程2 是呼吸的 instance 和那个施事体 needs 那个过程2 在那个时距2 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 812-821	如果 Pneumothorax 是实体的 attribute 在时距 holdsDuring，然后有存在过程这样那个过程是 ImpairmentFn 呼吸的 instance 和那个实体是那个过程的 patient 和那个时距在那个过程出现的 time 时段内发生
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 730-740	如果物理是 NasopharyngealAirway 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是呼吸的 instance 和那个另外实体是 located 在那个实体和无意识是那个实体的 attribute 在那个另外实体出现的 time holdsDuring 和那个物理%n是那个另外实体发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18459-18471	如果物理是令人窒息的 instance，然后有存在实体这样那个实体经历了那个物理和不存在另一个实体这样那个另外实体是呼吸的 instance 和那个实体经历了那个另外实体在那个物理出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26902-26911	如果客体是 ScubaDiving 的 instance，然后有存在另一个客体，第三客体， and 和过程这样那个另外客体是水域的 instance 和那个客体在那个另外客体的下面和那个第三客体是设备的 instance 和那个过程是呼吸的 instance 和那个第三客体是导致那个过程的 instrument 和那个过程%n是那个客体的subProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16071-16082	如果过程是抽烟的 instance，然后有存在另一个过程，客体,，，第三过程， and 和实体这样那个另外过程%n是那个过程的subProcess 和那个另外过程是燃烧的 instance 和那个客体是那个另外过程的 resource 和那个客体是雪茄或香烟的 instance 和那个实体是那个另外过程的 result 和那个实体是那个第三过程的 patient 和那个第三过程是呼吸的 instance 和那个第三过程%n是那个过程的subProcess

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2037-2037	BreathingDifficulty 是 ImpairmentFn 呼吸的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11748-11748	Choking 是 ImpairmentFn 呼吸的 subclass

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: