Lung - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Lung

Lung(肺)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11188-11189
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11187-11187	肺是动物解剖结构的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11186-11186	肺是 VitalOrgan 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12092-12092	connectedBodyPart Trachea and 肺
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35321-35321
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35320-35320
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35319-35319

appearance as argument number 3

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

Mid-level-ontology.kif 10377-10377

breathingRate 的 1 数量是肺的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	如果过程是 CheckingVitals 的 instance 和有认知的主事是那个过程的 agent 和客体是那个过程的 patient 和心是心的 instance 和那个心是那个客体的 part 和肺是肺的 instance 和那个肺是那个客体的 part 和 systolicBloodPressure 那个客体 and 实体和 diastolicBloodPressure 那个客体 and 另一个实体和那个客体的 measure 是第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 整数和 breathingRate 那个肺, 那个过程出现的 time and 另一个整数，然后那个有认知的主事 knows systolicBloodPressure 那个客体 and 那个实体和 diastolicBloodPressure 那个客体 and 那个另外实体和那个客体的 measure 是那个第三实体华氏度在那个过程出现的 time holdsDuring 和 heartRate 那个心, 那个过程出现的 time and 那个整数和 breathingRate 那个肺, 那个过程出现的 time and 那个另外整数
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 466-482	如果过程是 MeasuringBreathing 的 instance 和施事体是那个过程的 agent 和客体是肺的 instance 和那个客体是另一个客体的 part 和时距是时距的 instance 和那个时距在那个过程出现的 time 时段内发生和那个时距的 duration 是分钟和那个另外客体是那个过程的 patient，然后有存在实体这样那个施事体 knows breathingRate 那个客体, 那个时距 and 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 342-357	如果 restingBreathingRate 哺乳动物 and 整数和客体是肺的 instance 和那个客体是那个哺乳动物的 part，然后有存在时距这样不存在那个整数EC 这样那个整数EC 是娱乐或锻炼的 instance 和那个哺乳动物是那个整数EC 的 agent 和那个时距在那个整数EC 出现的 time 时段内发生和那个时距是分钟的 instance 和 breathingRate 那个哺乳动物, 那个时距 and 那个整数

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	如果客体是肺动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是肺的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11754-11769	如果过程是 Choking 的 instance 和施事体经历了那个过程，然后有存在实体，客体， and 和另一个客体这样那个实体是客体的 instance 和那个客体是 Trachea 的 instance 和那个另外客体是肺的 instance 和那个客体是那个施事体的 part 和那个另外客体是那个施事体的 part 和那个实体是 located 在那个客体或那个实体是 located 在那个另外客体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6075	如果过程是 Coughing 的 instance 和施事体经历了那个过程，然后那个过程的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个另外实体是肺的 instance 和那个第四实体是喉的 instance 和那个第三实体是客体的 instance 和那个实体是移除的 instance 和那个另外实体是那个施事体的 part 和那个第四实体是那个施事体的 part 和 objectTransferred 那个实体 and 那个第三实体和那个第三实体是 located 在那个第四实体或那个第三实体是 located 在那个另外实体在紧接那个过程出现的 time before holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11198-11211	如果客体是灵长类动物的 instance 和属性是疾病或综合症的 instance 和那个属性不是那个客体的 attribute，然后有存在另一个客体和第三客体这样那个另外客体是肺的 instance 和那个第三客体是肺的 instance 和那个另外客体不 equal 那个第三客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11247-11262	如果自身连接物体是 RibCage 的 instance 和那个自身连接物体是客体的 part 和那个客体是人类的 instance 和活的是那个客体的 attribute 和 ~{ 物理是病理过程的 instance } 或 ~{ 那个物理是 located 在那个客体 }，然后有存在那个客体T 和第三客体这样那个客体T 是心的 instance 和那个客体T 是肺的 instance 和那个自身连接物体 contains 那个第三客体和那个自身连接物体 contains 那个客体T
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 895-917	如果转移是 Thoracentesis 的 instance 和客体是那个转移的 patient，然后有存在另一个转移，另一个客体,，，那个另外转移N,，，第四客体,，，第五客体， and 和第六客体这样那个另外转移是插入的 instance 和那个另外转移%n是那个转移的subProcess 和 objectTransferred 那个另外转移 and 第七客体和那个另外客体是那个另外转移的源头和那个另外转移在那个另外转移N 结束和那个第七客体是 Needle 的 instance 和流体是那个第六客体的 attribute 和 objectTransferred 那个转移 and 那个第六客体和那个第六客体在那个另外客体结束和那个第四客体是肺的 instance 和那个第五客体是 Chest 的 instance 和那个第四客体是那个客体的 part 和那个第五客体是那个客体的 part 和那个另外转移N 是那个转移的源头和那个转移在那个另外客体结束和那个另外转移N 是在那个第四客体和那个第五客体 between 和那个另外客体在那个客体的外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11157-11172	如果客体是肺静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是肺的 instance 和那个另外客体是那个过程的源头和那个客体是那个第四客体的 part 和那个另外客体是那个第四客体的 part 和那个第三客体是那个第四客体的 part 和那个第三客体是心的 instance 和那个过程在那个第三客体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	如果客体是 VentedChestSeal 的 instance 和转移是连接的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移在实体结束，然后那个客体的目的是有存在那个转移，另一个实体,，，第三实体， and 和那个实体这样那个转移是空气的 instance 和那个另外实体是肺的 instance 和那个第三实体是 Chest 的 instance 和那个另外实体是那个实体的 part 和那个第三实体是那个实体的 part 和那个转移是在那个另外实体和那个第三实体 between 在紧接那个转移出现的 time before holdsDuring 和那个客体的目的是那个转移在那个实体的外在紧接那个转移出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6207-6213	如果 Pneumonia 是施事体的 attribute，然后有存在过程这样那个过程是 InflammationFn 肺的 instance 和那个施事体经历了那个过程
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4481-4492	如果 Pulmonologist 是客体的 attribute，然后有存在过程，另一个过程,，，另一个客体， and 和第三客体这样类是诊断过程的 subclass 和另一个类是治疗过程的 subclass 和那个另外客体是那个过程的 patient 和那个另外客体是那个另外过程的 patient 和那个第三客体是肺的 instance 和那个第三客体是那个另外客体的 part 和那个过程是 located 在肺和那个另外过程是 located 在肺
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11191-11196	如果躯体性物体能够担当经历者的角色做呼吸，然后有存在另一个躯体性物体这样那个另外躯体性物体是那个躯体性物体的 component 和那个另外躯体性物体是肺的 instance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 799-810	如果 Pneumothorax 是实体的 attribute 在时间位置 holdsDuring，然后有存在另一个实体这样那个另外实体是空气的 instance 和第三实体是肺的 instance 和第四实体是 Chest 的 instance 和那个第三实体是那个实体的 part 和那个第四实体是那个实体的 part 和那个另外实体是在那个第三实体和那个第四实体 between 在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11096-11101	如果物理是肺泡的 instance，然后有存在客体这样那个客体是肺的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11070-11075	如果物理是支气管的 instance，然后有存在客体这样那个客体是肺的 instance 和那个物理是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11305-11310	如果过程是呼气的 instance，然后有存在客体这样那个客体是肺的 instance 和那个客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11294-11299	如果过程是吸入的 instance，然后有存在实体这样那个实体是肺的 instance 和那个过程在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3075-3080	如果客体是 LungEpithelium 的 instance，然后有存在另一个客体这样那个另外客体是肺的 instance 和那个另外客体接上那个客体

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2894-2894	LeftLung 是 BodySideFn 左 and 肺的 subclass
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2897-2897	RightLung 是 BodySideFn 右 and 肺的 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