Blood - Sigma Knowledge base Browser

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 14958-14959
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13986-13986	等於 Blood and food for Mosquito
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1664-1664	等於 Blood and food for Mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14957-14957	子類 Blood and BodySubstance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23252-23252	子類 Blood and 溶膠

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12207-12207	不相交的血清 and Blood
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5746-5746	例 DeoxygenatedBlood and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11607-11607	子類血型a and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11626-11626	子類血型b and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11644-11644	子類血型b and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11663-11663	子類血型o and Blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11861-11861	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1012-1012	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1236-1236	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	french_format.kif 689-689	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 21-21	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 23-23	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2373-2373	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 641-641	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 24-24	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 257-257	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 516-516	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 710-710	子類 Clot and Blood
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 24-24	子類 Clot and Blood

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 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.	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.	Medicine.kif 5760-5767	例 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 5751-5758	例 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 5737-5744	例 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 5728-5735	例 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 5835-5840	例 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 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 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 1140-1145	例 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 23019-23027	例 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 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 13264-13281	例 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 1946-1957	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 5882-5896	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 479-491	例 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 11504-11509	例 Object and 血細胞 Object 例 Object and Blood 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11847-11859	例 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 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11548-11555	例 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 5973-5978	例 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 12431-12438	例 Object and 血管 Entity Process 例 Entity and Blood 例 Process and Transfer 患者 Process and Entity 儀器 Process and Object

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