typicalBloodVolume - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - typicalBloodVolume

typicalBloodVolume

appearance as argument number 1

(documentation typicalBloodVolume EnglishLanguage "The typical, approximate volume of Blood for the given class of Mammal.")	Medicine.kif 5929-5930
(domain typicalBloodVolume 2 VolumeMeasure)	Medicine.kif 5928-5928	The number 2 argument of typicalBloodVolume is an instance of volume measure
(domainSubclass typicalBloodVolume 1 Mammal)	Medicine.kif 5927-5927	The number 1 argument of typicalBloodVolume is a subclass of mammal
(instance typicalBloodVolume BinaryPredicate)	Medicine.kif 5926-5926	typicalBloodVolume is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage typicalBloodVolume "the typical volume of blood of a %1 is %2")

Medicine.kif 5931-5931

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	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is greater than the real number and the real number2 is less than 0.8 and the real number, then severe blood loss is an attribute of the entity holds during the time position
(=> (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	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and an entity has the real number2 the unit of measure(s) of blood holds during a time position and the entity is an instance of a kind of mammal and the real number2 and 2.0 is less than the real number, then catastrophic blood loss is an attribute of the entity holds during the time position
(=> (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	If the typical volume of blood of a a kind of mammal is a real number an unit of measure(s) and a kind of mammalI is an instance of the kind of mammal and disease or syndrome is not an attribute of another entity and the other entity has the real number2 the unit of measure(s) of blood holds during a time position, then the approximate value of the real number2 is the real number

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