UCR 4d6




Test TypePositiveEntailmentTest
ContributorLeora Morgenstern
StatusInDevelopment
Record
DialectAbridged Presentation Syntax
Purpose
DescriptionFrom UCR doc, 4.6
SeeAlso
SpecRef
Premises
Presentation SyntaxholdsAt(ineffective(?Patient ?Treatment) ?T) :- holdsAt(hasDisease(?Patient "diabetesTypeII") ?T) holdsAt(elevated(levelOf(?Patient "hbA1c" ?Level)) ?T) holdsAt(treatmentPlan(?Treatment ?Patient) ?T). holdsAt(hasDisease(bob, "diabetesTypeII") now). holdsAt(elevated(levelOf(bob "hbA1c" levelnow)) now). holdsAt(treatmentPlan(standardmeds bob) now).
XMLview RIF/XML
Conclusion
Presentation SyntaxholdsAt(ineffective(bob, standardmeds) now).
XMLview RIF/XML
Last modified on 20 October 2008, at 17:23