Heart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Heart

Heart(心)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12686-12686
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 496-496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 112-112
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12688-12688
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25347-25347	心的例子總是 Human 的 initially part 的例子
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12687-12687	材料心 and InvoluntaryMuscle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12685-12685	子類心 and 動物解剖結構
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12684-12684	子類心 and VitalOrgan

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27802-27802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27801-27801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27800-27800

appearance as argument number 3

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

Mid-level-ontology.kif 11684-11684

域 heartRate, 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 1870-1879	例 Object and Electrocardiogram attribute Object and EKGAbnormal 參照 Object and Object 部分 Object and Object 例 Object and 心模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1853-1863	例 Object and Electrocardiogram attribute Object and EKGNormal 參照 Object and Object 部分 Object and Object 例 Object and 心模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12717-12734	例 Physical and HeartAttack 例 Object and 心位於 Physical and Object Object 例 Object and Muscle 部分 Object and Object TimeInterval Object 例 TimeInterval and 液體運動 objectTransferred TimeInterval and Object 例 Object and Blood 期間 TimeInterval and 何時 Physical 目的地 TimeInterval and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12077-12089	例 Process and HeartBeat 患者 Process and Entity 例 Entity and 心 Process Process 例 Process and MuscularContraction 患者 Process and Entity 例 Process and MuscleRelaxing 患者 Process and Entity 子過程 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2045-2055	例 Process and HeartPalpitations 體驗者 Process and AutonomousAgent 例 AutonomousAgentEART and 心部分 AutonomousAgentEART and AutonomousAgent ProcessER 例 ProcessER and Perception 體驗者 ProcessER and AutonomousAgent 患者 ProcessER and AutonomousAgentEART
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2832-2840	例 Process and Bradycardia 體驗者 Process and AutonomousAgent 例心 and 心部分心 and AutonomousAgent 例 TimeInterval and Minute heartRate 心, TimeInterval and Integer 比較多 50 and Integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2804-2812	例 Process and Tachycardia 體驗者 Process and AutonomousAgent 例心 and 心部分心 and AutonomousAgent 例 TimeInterval and Minute heartRate 心, TimeInterval and Integer 比較多 Integer and 100
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	restingHeartRate Mammal and Integer 例 MammalEART and 心部分 MammalEART and Mammal TimeInterval IntegerEC 例 IntegerEC and RecreationOrExercise agent IntegerEC and Mammal 期間 TimeInterval and 何時 IntegerEC 例 TimeInterval and Minute heartRate Mammal, TimeInterval and Integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12100	例 Physical and 心有目的 Physical and entity PhysicalB and entity 例 PhysicalB and HeartBeat 例 entity and 液體運動例 entity and Blood 移動 entity and entity 原因 PhysicalB and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12690-12697	例 Object and 心 Process Entity 例 Process and Transfer 例 Entity and Blood 儀器 Process and Object 患者 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12457-12467	例 Object and 動脈例 Process and Transfer 患者 Process and Entity 儀器 Process and Object 例 Entity and Blood Object 例 Object and 心起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3434-3445	例 Process and Electrocardiography 患者 Process and Entity agent Process and AutonomousAgent attribute AutonomousAgent and 醫生有目的 Process and 知道 AutonomousAgent and entity 真相 attribute Entity and ImpairedBodyPartFn 心 and entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1870-1879	例 Object and Electrocardiogram attribute Object and EKGAbnormal 參照 Object and Object 部分 Object and Object 例 Object and 心模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1853-1863	例 Object and Electrocardiogram attribute Object and EKGNormal 參照 Object and Object 部分 Object and Object 例 Object and 心模態屬性 attribute Object and ImpairedBodyPartFn 心 and 容易
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2057-2065	例 Process and HeartPalpitations 體驗者 Process and AutonomousAgent AutonomousAgentEART 例 AutonomousAgentEART and 心部分 AutonomousAgentEART and AutonomousAgent 位於 Process and AutonomousAgentEART
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.	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.	Mid-level-ontology.kif 12474-12484	例 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.	Medicine.kif 5717-5721	attribute Object and HeartDisease attribute Object and ImpairedBodyPartFn 心 attribute Object and ImpairedBodyPartFn 血管
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12070-12075	例 Process and HeartBeat Entity 患者 Process and Entity 例 Entity and 心
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1682-1687	例 Process and HeartBeatingAtFasterRate Entity 例 Entity and 心患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11769-11774	例 Physical and HeartMuscle Object 例 Object and 心位於 Physical and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 275-280	例 HoleRegion and LeftAtrium Object 等於 Object and 洞主持人 HoleRegion 例 Object and 心
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 288-293	例 HoleRegion and LeftVentricle Object 等於 Object and 洞主持人 HoleRegion 例 Object and 心
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 301-306	例 HoleRegion and RightAtrium Object 等於 Object and 洞主持人 HoleRegion 例 Object and 心
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 314-319	例 HoleRegion and RightVentricle Object 等於 Object and 洞主持人 HoleRegion 例 Object and 心
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12751-12757	例 Physical and Pericardium 有目的 Physical and entity 例 entity and 心包含 Physical and entity

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