TreeView Knowledge Base Browser - Blood

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Blood

Blood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3480-3481
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14854-14855
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12637-12637	等於 Blood and food for Mosquito
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1665-1665
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14853-14853	子類 Blood and BodySubstance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21628-21628	子類 Blood and 溶膠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10858-10858	不相交的血清 and Blood
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5761-5761	例 DeoxygenatedBlood and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10258-10258	子類血型a and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10277-10277	子類血型b and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10295-10295	子類血型b and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10314-10314	子類血型o and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10512-10512	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1012-1012
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1236-1236
No TPTP formula. May not be expressible in strict first order.	french_format.kif 689-689
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 21-21
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 23-23
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2373-2373
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 24-24
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 710-710
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 24-24

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克少於 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11108-11118	例 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.	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.	Medicine.kif 5775-5782	例 Mixture and Blood attribute Mixture and DeoxygenatedBlood concentration 測量 RealNumber and Milliliter, CarbonDioxide, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 4
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5766-5773	例 Mixture and Blood attribute Mixture and DeoxygenatedBlood concentration 測量 RealNumber and Milliliter, 氧, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 14
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5752-5759	例 Mixture and Blood attribute Mixture and OxygenatedBlood concentration 測量 RealNumber and Milliliter, CarbonDioxide, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 5
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5743-5750	例 Mixture and Blood attribute Mixture and OxygenatedBlood concentration 測量 RealNumber and Milliliter, 氧, 測量 100 and Milliliter and Mixture approximateValue RealNumber and 20
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5850-5855	例 Object and Blood 例 Object and RingersLactate tonicity Object, Object and 測量 RealNumber and 帕斯卡 approximateValue RealNumber and 0.0
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.	Mid-level-ontology.kif 11125-11135	例 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 206-221	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 女測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	attribute Object and Anemia 例 Object and Blood 部分 Object and Object attribute Object and 男測量 Object and 測量 0.1 and 升例 ObjectE and Hemoglobin 部分 ObjectE and Object 例 ObjectE2 and Hemoglobin 等於 ObjectE and ObjectE2 部分 Object and Object 測量 ObjectE and 測量 RealNumber and 公克比較多 RealNumber and 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1152-1157	例 Object and Blood ObjectP 例 ObjectP and BloodPlasma 部分 ObjectP and Object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21395-21403	例 Process and 流血的體驗者 Process and AutonomousAgent Entity 例 Entity and Blood 持有期間開始何時 Process and 部分 Entity and AutonomousAgent 持有期間結束何時 Process and 部分 Entity and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11368-11385	例 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 11915-11932	例 Physical and Stroke 例 Object and 腦位於 Physical and Object Object 例 Object and 神經細胞部分 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.	Anatomy.kif 1947-1958	suppliesBlood 動脈 and BodyPart 例 Physical and 動脈例 Entity and BodyPart 有目的 Physical and entity entity 例 entity and 液體運動 objectTransferred entity and entity 例 entity and Blood 目的地 entity and Entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	bloodVolume Human and VolumeMeasure Substance 例 Substance and Blood 包含 Human and Substance 例 Human and Human 測量 Substance and VolumeMeasure Substance 例 Substance and Blood 包含 Human and Substance 片 Substance and Substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 491-503	例 Motion and BloodCirculation Object Object, Object and Object 例 Object and Animal 例 Object and Blood 移動 Motion and Object 例 Object and 動脈例 Object and 靜脈部分 Object and Object 部分 Object and Object 路徑 Motion and Object 路徑 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10155-10160	例 Object and 血細胞 Object 例 Object and Blood 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10498-10510	例 Physical and Clotting Entity 例 Entity and Blood 持有期間不久的過去何時 Physical and attribute Entity and 液體持有期間眼前的未來何時 Physical and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10742-10751	例 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 11341-11348	例 Object and 心 Process Entity 例 Process and Transfer 例 Entity and Blood 儀器 Process and Object 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10199-10206	例 Object and Platelet Object Object 例 Object and Blood 例 Object and Mammal 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5990-5995	例 Transfer and Transfusion Object 例 Object and Blood objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11082-11089	例 Object and 血管 Entity Process 例 Entity and Blood 例 Process and Transfer 患者 Process and Entity 儀器 Process and Object

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