TreeView Knowledge Base Browser - Lung

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Lung

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	子類肺 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11186-11186	子類肺 and VitalOrgan

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 and 肺

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11141-11151	例 Object and 肺動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Entity 例 Entity and 肺目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11754-11769	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6056-6075	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11198-11211	例 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11247-11262	例 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
No TPTP formula. May not be expressible in strict first order.	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 外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11157-11172	例 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
No TPTP formula. May not be expressible in strict first order.	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 外
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6207-6213	attribute AutonomousAgent and Pneumonia Process 例 Process and InflammationFn 肺體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	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 肺
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 肺
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11096-11101	例 Physical and 肺泡 Object 例 Object and 肺位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11070-11075	例 Physical and 支氣管 Object 例 Object and 肺位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11305-11310	例 Process and 呼氣 Object 例 Object and 肺起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11294-11299	例 Process and 吸入 Entity 例 Entity and 肺目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3075-3080	例 Object and LungEpithelium Object 例 Object and 肺空間的符合 Object and Object

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2894-2894	子類 LeftLung and BodySideFn 左 and 肺
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2897-2897	子類 RightLung and BodySideFn 右 and 肺

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