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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13441-13441	connectedBodyPart Trachea and 肺
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35349-35349	connectedBodyPart Trachea and 肺
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35348-35348	connectedBodyPart Trachea and 肺
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 35347-35347	connectedBodyPart Trachea and 肺

appearance as argument number 3

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

Mid-level-ontology.kif 11726-11726

域 breathingRate, 1 and 肺

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6486-6510	例 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 454-470	例 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 330-345	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 12490-12500	例 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 13103-13118	例 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 7019-7038	例 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 12547-12560	例 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 12596-12611	例 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 883-905	例 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 12506-12521	例 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 841-863	例 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 7170-7176	attribute AutonomousAgent and Pneumonia Process 例 Process and InflammationFn 肺體驗者 Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4466-4477	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 12540-12545	能力 Breathing, 體驗者 and CorpuscularObject CorpuscularObject 零件 CorpuscularObject and CorpuscularObject 例 CorpuscularObject and 肺
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 787-798	持有期間 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 12445-12450	例 Physical and 肺泡 Object 例 Object and 肺位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12419-12424	例 Physical and 支氣管 Object 例 Object and 肺位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12654-12659	例 Process and 呼氣 Object 例 Object and 肺起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12643-12648	例 Process and 吸入 Entity 例 Entity and 肺目的地 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3060-3065	例 Object and LungEpithelium Object 例 Object and 肺空間的符合 Object and Object

statement

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2879-2879	子類 LeftLung and BodySideFn 左 and 肺
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2882-2882	子類 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