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 14876-14877
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12636-12636	血液 equal 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 14875-14875	血液是身体物质的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21627-21627	血液是溶胶的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10857-10857	血清和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5761-5761	DeoxygenatedBlood 是血液的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10257-10257	血型a 是血液的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10276-10276	血型b 是血液的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10294-10294	血型b 是血液的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10313-10313	血型o 是血液的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10511-10511	Clot 是血液的 subclass
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	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	如果 Anemia 是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和男是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 lessThan 13
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11107-11117	如果客体是动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体这样那个另外客体是心的 instance 和那个另外客体是那个过程的源头
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11140-11150	如果客体是肺动脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是肺的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5775-5782	如果混合物是血液的 instance 和 DeoxygenatedBlood 是那个混合物的 attribute 和 concentration 实数 Milliliter, CarbonDioxide, 100 Milliliter and 那个混合物，然后 approximateValue 那个实数 and 4
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5766-5773	如果混合物是血液的 instance 和 DeoxygenatedBlood 是那个混合物的 attribute 和 concentration 实数 Milliliter, 氧, 100 Milliliter and 那个混合物，然后 approximateValue 那个实数 and 14
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5752-5759	如果混合物是血液的 instance 和 OxygenatedBlood 是那个混合物的 attribute 和 concentration 实数 Milliliter, CarbonDioxide, 100 Milliliter and 那个混合物，然后 approximateValue 那个实数 and 5
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5743-5750	如果混合物是血液的 instance 和 OxygenatedBlood 是那个混合物的 attribute 和 concentration 实数 Milliliter, 氧, 100 Milliliter and 那个混合物，然后 approximateValue 那个实数 and 20
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5850-5855	如果客体是血液的 instance 和另一个客体是 RingersLactate 的 instance 和 tonicity 那个另外客体, 那个客体 and 实数帕斯卡，然后 approximateValue 那个实数 and 0.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11156-11171	如果客体是肺静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是肺的 instance 和那个另外客体是那个过程的源头和那个客体是那个第四客体的 part 和那个另外客体是那个第四客体的 part 和那个第三客体是那个第四客体的 part 和那个第三客体是心的 instance 和那个过程在那个第三客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11124-11134	如果客体是静脉的 instance 和过程是转移的 instance 和实体是那个过程的 patient 和那个客体是导致那个过程的 instrument 和那个实体是血液的 instance，然后有存在另一个实体这样那个另外实体是心的 instance 和那个过程在那个另外实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	如果 Anemia 不是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和女是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 greaterThan 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	如果 Anemia 不是客体的 attribute 和另一个客体是血液的 instance 和那个另外客体是那个客体的 part 和男是那个客体的 attribute 和那个另外客体的 measure 是 0.1 升和那个客体E 是 Hemoglobin 的 instance 和那个客体E 是那个另外客体的 part 和那个客体E2 不是 Hemoglobin 的 instance 和那个客体E 不 equal 那个客体E2 和那个客体2 是那个另外客体的 part 和那个客体E 的 measure 是实数公克，然后那个实数是 greaterThan 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1152-1157	如果客体是血液的 instance，然后有存在那个客体P 这样那个客体P 是 BloodPlasma 的 instance 和那个客体P 是那个客体的 part

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21394-21402	如果过程是流血的的 instance 和施事体经历了那个过程，然后有存在实体这样那个实体是血液的 instance 和那个实体是那个施事体的 part 在那个过程出现的 time 的开始 holdsDuring 和那个实体不是那个施事体的 part 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11367-11384	如果物理是 HeartAttack 的 instance 和客体是心的 instance 和那个物理是 located 在那个客体，然后有存在另一个客体这样那个另外客体是肌肉的 instance 和那个另外客体是那个客体的 part 和不存在时距和第三客体这样那个时距是液体运动的 instance 和 objectTransferred 那个时距 and 那个第三客体和那个第三客体是血液的 instance 和那个时距在那个物理出现的 time 时段内发生和那个时距在那个另外客体结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11914-11931	如果物理是 Stroke 的 instance 和客体是脑的 instance 和那个物理是 located 在那个客体，然后有存在另一个客体这样那个另外客体是神经细胞的 instance 和那个另外客体是那个客体的 part 和不存在时距和第三客体这样那个时距是液体运动的 instance 和 objectTransferred 那个时距 and 那个第三客体和那个第三客体是血液的 instance 和那个时距在那个物理出现的 time 时段内发生和那个时距在那个另外客体结束
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1947-1958	如果 suppliesBlood 有点动脉 and 有点身体部位和物理是有点动脉的 instance 和实体是有点身体部位的 instance，然后那个物理的目的是有存在另一个实体和第三实体这样那个另外实体是液体运动的 instance 和 objectTransferred 那个另外实体 and 那个第三实体和那个第三实体是血液的 instance 和那个另外实体在那个实体结束
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	如果 bloodVolume 人类 and 体积测量，然后有存在物质这样那个物质是血液的 instance 和那个人类 contains 那个物质和那个人类是人类的 instance 和那个物质的 measure 是那个体积测量和不存在那个物质2 这样那个物质2 是血液的 instance 和那个人类 contains 那个物质2 和那个物质2 不是那个物质的 piece
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 491-503	如果运动是 BloodCirculation 的 instance，然后有存在客体，另一个客体,，，第三客体， and 和第四客体这样那个客体是动物的 instance 和那个第四客体是血液的 instance 和移动那个运动 and 那个第四客体和那个第三客体是动脉的 instance 和那个另外客体是静脉的 instance 和那个第三客体是那个客体的 part 和那个另外客体是那个客体的 part 和那个第三客体%n是那个运动发生的path 和那个另外客体%n是那个运动发生的path
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10154-10159	如果客体是血细胞的 instance，然后有存在另一个客体这样那个另外客体是血液的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10497-10509	如果物理是 Clotting 的 instance，然后有存在实体这样那个实体是血液的 instance 和液体是那个实体的 attribute 在紧接那个物理出现的 time before holdsDuring 和固体是那个实体的 attribute 在紧接那个物理出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10741-10750	如果物理是心的 instance，然后那个物理的目的是有存在实体，那个物理B， and 和第三实体这样那个物理B 是 HeartBeat 的 instance 和那个实体是液体运动的 instance 和那个第三实体是血液的 instance 和移动那个实体 and 那个第三实体和那个物理B causes 那个实体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11340-11347	如果客体是心的 instance，然后有存在过程和实体这样那个过程是转移的 instance 和那个实体是血液的 instance 和那个客体是导致那个过程的 instrument 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10198-10205	如果客体是 Platelet 的 instance，然后有存在另一个客体和第三客体这样那个另外客体是血液的 instance 和那个第三客体是哺乳动物的 instance 和那个另外客体是那个第三客体的 part 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5990-5995	如果转移是 Transfusion 的 instance，然后有存在客体这样那个客体是血液的 instance 和 objectTransferred 那个转移 and 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11081-11088	如果客体是血管的 instance，然后有存在实体和过程这样那个实体是血液的 instance 和那个过程是转移的 instance 和那个实体是那个过程的 patient 和那个客体是导致那个过程的 instrument

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