TreeView Knowledge Base Browser

appearance as argument number 1

(documentation bloodVolume EnglishLanguage "The Quantity of Blood present in a Human. A Liter of blood weights 2.33 pounds (according to https:/ / www.aqua-calc.com/ calculate/ volume-to-weight) or 1060 kg/ m3 (Wikipedia) and 7 percent of a HumanAdult's weight.")	Medicine.kif 5892-5894
(domain bloodVolume 1 Human)	Medicine.kif 5890-5890	域 bloodVolume, 1 and Human
(domain bloodVolume 2 VolumeMeasure)	Medicine.kif 5891-5891	域 bloodVolume, 2 and VolumeMeasure
(instance bloodVolume BinaryPredicate)	Medicine.kif 5889-5889	例 bloodVolume and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage bloodVolume "%1 has %2 of blood")

Medicine.kif 5895-5895

antecedent

(=> (and (typicalBloodVolume ?M (MeasureFn ?N ?U)) (holdsDuring ?T (bloodVolume ?H (MeasureFn ?N2 ?U))) (instance ?H ?M) (greaterThan (MultiplicationFn ?N2 2.0) ?N) (lessThan ?N2 (MultiplicationFn 0.8 ?N))) (holdsDuring ?T (attribute ?H SevereBloodLoss)))	Medicine.kif 5968-5982	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 持有期間 TimePosition and bloodVolume Entity and 測量 RealNumber and UnitOfMeasure 例 Entity and Mammal 比較多乘法 RealNumber and 2.0 and RealNumber 少於 RealNumber and 乘法 0.8 and RealNumber 持有期間 TimePosition and attribute Entity and SevereBloodLoss
(=> (and (typicalBloodVolume ?M (MeasureFn ?N ?U)) (holdsDuring ?T (bloodVolume ?H (MeasureFn ?N2 ?U))) (instance ?H ?M) (lessThan (MultiplicationFn ?N2 2.0) ?N)) (holdsDuring ?T (attribute ?H CatastrophicBloodLoss)))	Medicine.kif 5950-5962	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 持有期間 TimePosition and bloodVolume Entity and 測量 RealNumber and UnitOfMeasure 例 Entity and Mammal 少於乘法 RealNumber and 2.0 and RealNumber 持有期間 TimePosition and attribute Entity and CatastrophicBloodLoss
(=> (and (typicalBloodVolume ?M (MeasureFn ?N ?U)) (instance ?MI ?M) (holdsDuring ?T (and (not (attribute ?H DiseaseOrSyndrome)) (bloodVolume ?H (MeasureFn ?N2 ?U))))) (approximateValue ?N2 ?N))	Medicine.kif 5933-5944	typicalBloodVolume Mammal and 測量 RealNumber and UnitOfMeasure 例 MammalI and Mammal 持有期間 TimePosition and attribute entity and DiseaseOrSyndrome bloodVolume entity and 測量 RealNumber and UnitOfMeasure approximateValue RealNumber and RealNumber
(=> (bloodVolume ?H ?V) (and (exists (?B) (and (instance ?B Blood) (contains ?H ?B) (instance ?H Human) (measure ?B ?V))) (not (exists (?B2) (and (instance ?B2 Blood) (contains ?H ?B2) (not (piece ?B2 ?B)))))))	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

consequent

(=>
    (and
        (instance ?H HumanAdult)
        (measure ?H
            (MeasureFn ?N Pounds)))
    (and
        (bloodVolume ?H
            (MeasureFn ?N2 Liter))
        (equal ?N2
            (DivisionFn
                (MultiplicationFn ?N 0.07) 2.33))))

Medicine.kif 5915-5924

例 Human and 人類成人測量 Human and 測量 RealNumber and Pounds
bloodVolume Human and 測量 RealNumber and 升等於 RealNumber and 部乘法 RealNumber and 0.07 and 2.33

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: