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

(documentation Lung EnglishLanguage "A respiratory organ of Vertebrates. Its function is to furnish the blood with oxygen and to remove carbon dioxide.")	Mid-level-ontology.kif 11215-11216
(subclass Lung AnimalAnatomicalStructure)	Mid-level-ontology.kif 11214-11214	子類肺 and 動物解剖結構
(subclass Lung VitalOrgan)	Mid-level-ontology.kif 11213-11213	子類肺 and VitalOrgan

appearance as argument number 2

(connectedBodyPart Trachea Lung)	Mid-level-ontology.kif 12119-12119	connectedBodyPart Trachea and 肺
(termFormat ChineseLanguage Lung "肺")	domainEnglishFormat.kif 35321-35321
(termFormat ChineseTraditionalLanguage Lung "肺")	domainEnglishFormat.kif 35320-35320
(termFormat EnglishLanguage Lung "lung")	domainEnglishFormat.kif 35319-35319

appearance as argument number 3

(domain breathingRate 1 Lung)

Mid-level-ontology.kif 10404-10404

域 breathingRate, 1 and 肺

antecedent

(=> (and (instance ?C CheckingVitals) (agent ?C ?A) (patient ?C ?P) (instance ?H Heart) (part ?H ?P) (instance ?L Lung) (part ?L ?P) (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)) (knows ?A (and (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R))))	Medicine.kif 6505-6529	例 Process and CheckingVitals agent Process and CognitiveAgent 患者 Process and Object 例心 and 心部分心 and Object 例肺 and 肺部分肺 and Object 持有期間何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer 知道 CognitiveAgent and 持有期間何時 Process and systolicBloodPressure Object and entity diastolicBloodPressure Object and entity 測量 Object and 測量 entity and 華氏度 heartRate 心, 何時 Process and Integer breathingRate 肺, 何時 Process and Integer
(=> (and (instance ?MB MeasuringBreathing) (agent ?MB ?A) (instance ?L Lung) (part ?L ?P) (instance ?T TimeInterval) (during ?T (WhenFn ?MB)) (duration ?T MinuteDuration) (patient ?MB ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MB)) (exists (?BR) (knows ?A (breathingRate ?L ?T ?BR)))))	Medicine.kif 466-482	例 Process and MeasuringBreathing agent Process and AutonomousAgent 例 Object and 肺部分 Object and Object 例 TimeInterval and TimeInterval 期間 TimeInterval and 何時 Process 持續時間 TimeInterval and 分鐘患者 Process and Object 持有期間眼前的未來何時 Process and entity 知道 AutonomousAgent and breathingRate Object, TimeInterval and entity
(=> (and (restingBreathingRate ?H ?R) (instance ?L Lung) (part ?L ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (breathingRate ?H ?T ?R))))	Medicine.kif 342-357	restingBreathingRate Mammal and Integer 例 Object and 肺部分 Object and Mammal TimeInterval IntegerEC 例 IntegerEC and RecreationOrExercise agent IntegerEC and Mammal 期間 TimeInterval and 何時 IntegerEC 例 TimeInterval and Minute breathingRate Mammal, TimeInterval and Integer

consequent

(=> (and (instance ?ARTERY PulmonaryArtery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?LUNG) (and (instance ?LUNG Lung) (destination ?TRANSFER ?LUNG))))	Mid-level-ontology.kif 11168-11178	例 Object and 肺動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 肺目的地 Process and Entity
(=> (and (instance ?C Choking) (experiencer ?C ?H)) (exists (?O ?T ?L) (and (instance ?O Object) (instance ?T Trachea) (instance ?L Lung) (part ?T ?H) (part ?L ?H) (holdsDuring (WhenFn ?C) (or (located ?O ?T) (located ?O ?L))))))	Mid-level-ontology.kif 11781-11796	例 Process and Choking 體驗者 Process and AutonomousAgent Entity Object and Object 例 Entity and Object 例 Object and Trachea 例 Object and 肺部分 Object and AutonomousAgent 部分 Object and AutonomousAgent 持有期間何時 Process and 位於 Entity and Object 位於 Entity and Object
(=> (and (instance ?C Coughing) (experiencer ?C ?H)) (hasPurpose ?C (exists (?R ?L ?O ?T) (and (instance ?L Lung) (instance ?T Throat) (instance ?O Object) (instance ?R Removing) (part ?L ?H) (part ?T ?H) (objectTransferred ?R ?O) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (or (located ?O ?T) (located ?O ?L)))))))	Mid-level-ontology.kif 6050-6069	例 Process and Coughing 體驗者 Process and AutonomousAgent 有目的 Process and entity entity, entity and entity 例 entity and 肺例 entity and 喉例 entity and Object 例 entity and Removing 部分 entity and AutonomousAgent 部分 entity and AutonomousAgent objectTransferred entity and entity 持有期間不久的過去何時 Process and 位於 entity and entity 位於 entity and entity
(=> (and (instance ?H Primate) (instance ?D DiseaseOrSyndrome) (not (attribute ?H ?D))) (exists (?L1 ?L2) (and (instance ?L1 Lung) (instance ?L2 Lung) (not (equal ?L1 ?L2)) (part ?L1 ?H) (part ?L2 ?H))))	Mid-level-ontology.kif 11225-11238	例 Object and Primate 例 Attribute and DiseaseOrSyndrome attribute Object and Attribute Object Object 例 Object and 肺例 Object and 肺等於 Object and Object 部分 Object and Object 部分 Object and Object
(=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?HT))))	Mid-level-ontology.kif 11274-11289	例 SelfConnectedObject and RibCage 部分 SelfConnectedObject and Object 例 Object and Human attribute Object and 活的 ~{ 例 Physical and PathologicProcess } ~{ 位於 Physical and Object } ObjectT Object 例 ObjectT and 心例 ObjectT and 肺包含 SelfConnectedObject and Object 包含 SelfConnectedObject and ObjectT
(=> (and (instance ?T Thoracentesis) (patient ?T ?H)) (exists (?I ?O ?IN ?L ?C ?F) (and (instance ?I Inserting) (subProcess ?I ?T) (objectTransferred ?I ?N) (origin ?I ?O) (destination ?I ?IN) (instance ?N Needle) (attribute ?F Fluid) (objectTransferred ?T ?F) (destination ?F ?O) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (origin ?T ?IN) (destination ?T ?O) (between ?L ?IN ?C) (orientation ?O ?H Outside))))	Medicine.kif 895-917	例 Transfer and Thoracentesis 患者 Transfer and Object Transfer Object, TransferN, Object, Object and Object 例 Transfer and 插入子過程 Transfer and Transfer objectTransferred Transfer and Object 起源 Transfer and Object 目的地 Transfer and TransferN 例 Object and Needle attribute Object and 流體 objectTransferred Transfer and Object 目的地 Object and Object 例 Object and 肺例 Object and Chest 部分 Object and Object 部分 Object and Object 起源 Transfer and TransferN 目的地 Transfer and Object 之間 Object, TransferN and Object 方位 Object, Object and 外
(=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 11184-11199	例 Object and 肺靜脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object Object and Object 例 Object and 肺起源 Process and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Object and 心目的地 Process and Object
(=> (and (instance ?VCS VentedChestSeal) (instance ?A Attaching) (objectTransferred ?A ?VCS) (destination ?A ?H)) (hasPurpose ?VCS (exists (?A ?L ?C ?H) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (between ?L ?A ?C)) (hasPurpose ?VCS (holdsDuring (ImmediateFutureFn (WhenFn ?A)) (orientation ?A ?H Outside)))))))	Medicine.kif 853-875	例 Object and VentedChestSeal 例 Transfer and Attaching objectTransferred Transfer and Object 目的地 Transfer and Entity 有目的 Object and Transfer entity, entity and Entity 例 Transfer and 空氣例 entity and 肺例 entity and Chest 部分 entity and Entity 部分 entity and Entity 持有期間不久的過去何時 Transfer and 之間 entity, Transfer and entity 有目的 Object and 持有期間眼前的未來何時 Transfer and 方位 Transfer, Entity and 外
(=> (attribute ?H Pneumonia) (exists (?I) (and (instance ?I (InflammationFn Lung)) (experiencer ?I ?H))))	Mid-level-ontology.kif 6201-6207	attribute AutonomousAgent and Pneumonia Process 例 Process and InflammationFn 肺體驗者 Process and AutonomousAgent
(=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung))))	Medicine.kif 4481-4492	attribute Object and Pulmonologist Process Process, Object and Object 子類 Class and DiagnosticProcess 子類 Class and TherapeuticProcess 患者 Process and Object 患者 Process and Object 例 Object and 肺部分 Object and Object 位於 Process and 肺位於 Process and 肺
(=> (capability Breathing experiencer ?ANIMAL) (exists (?LUNG) (and (component ?LUNG ?ANIMAL) (instance ?LUNG Lung))))	Mid-level-ontology.kif 11218-11223	能力 Breathing, 體驗者 and CorpuscularObject CorpuscularObject 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 肺
(=> (holdsDuring ?T (attribute ?H Pneumothorax)) (holdsDuring ?T (exists (?A) (and (instance ?A Air) (instance ?L Lung) (instance ?C Chest) (part ?L ?H) (part ?C ?H) (between ?L ?A ?C)))))	Medicine.kif 799-810	持有期間 TimePosition and attribute entity and Pneumothorax 持有期間 TimePosition and entity 例 entity and 空氣例 entity and 肺例 entity and Chest 部分 entity and entity 部分 entity and entity 之間 entity, entity and entity
(=> (instance ?A Alveolus) (exists (?L) (and (instance ?L Lung) (located ?A ?L))))	Mid-level-ontology.kif 11123-11128	例 Physical and 肺泡 Object 例 Object and 肺位於 Physical and Object
(=> (instance ?DUCT BronchialDuct) (exists (?LUNG) (and (instance ?LUNG Lung) (located ?DUCT ?LUNG))))	Mid-level-ontology.kif 11097-11102	例 Physical and 支氣管 Object 例 Object and 肺位於 Physical and Object
(=> (instance ?E Exhaling) (exists (?L) (and (instance ?L Lung) (origin ?E ?L))))	Mid-level-ontology.kif 11332-11337	例 Process and 呼氣 Object 例 Object and 肺起源 Process and Object
(=> (instance ?I Inhaling) (exists (?L) (and (instance ?L Lung) (destination ?I ?L))))	Mid-level-ontology.kif 11321-11326	例 Process and 吸入 Entity 例 Entity and 肺目的地 Process and Entity
(=> (instance ?LE LungEpithelium) (exists (?L) (and (instance ?L Lung) (meetsSpatially ?L ?LE))))	Medicine.kif 3075-3080	例 Object and LungEpithelium Object 例 Object and 肺空間的符合 Object and Object

statement

(subclass LeftLung (BodySideFn Left Lung))	Medicine.kif 2894-2894	子類 LeftLung and BodySideFn 左 and 肺
(subclass RightLung (BodySideFn Right Lung))	Medicine.kif 2897-2897	子類 RightLung and BodySideFn 右 and 肺

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