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 5946-5947
(domain typicalBloodVolume 2 VolumeMeasure)	Medicine.kif 5945-5945	The number 2 argument of typical blood volume is an instance of volume measure
(domainSubclass typicalBloodVolume 1 Mammal)	Medicine.kif 5944-5944	The number 1 argument of typical blood volume is a subclass of mammal
(instance typicalBloodVolume BinaryPredicate)	Medicine.kif 5942-5942	typical blood volume 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 5948-5948
(termFormat EnglishLanguage typicalBloodVolume "typical blood volume")	Medicine.kif 5943-5943

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 5985-5999	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 5967-5979	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 5950-5961	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