(define-theory Clin-Act (Abnormalities Quantities Natural-Kinds
Medical-Procedures Social-Objects Artifacts))
(in-theory 'Clin-Act)
(DEFINE-RELATION ANALYTIC-RESOURCE (?A ?B) :IFF-DEF
(AND (EXISTS (?C ?D)
(AND (ANALYZED-BY ?A ?C)
(PERFORMS ?C ?D)
(RESOURCE-OF ?B ?D)
(ACTIVITY ?D)
(SUBSTANCE ?B)))
(CLINICAL-ACTOR ?A ?B)
(MATERIAL-OBJECT ?A)
(SUBSTANCE ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE ANALYTIC-RESOURCE SUBSTANCE)
(DOMAIN ANALYTIC-RESOURCE MATERIAL-OBJECT)))
(DEFINE-RELATION ANALYTIC-RESOURCE-OF (?A ?B) :IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C ?D)
(AND (RESOURCE-OF ?A ?C) (PERFORMED-BY ?C ?D) (ANALYZES ?D ?B)))))
(DEFINE-RELATION ANALYZED-BY (?A ?B) :IFF-DEF
(AND (= (INVERSE ANALYZES) ANALYZED-BY)
(MATERIAL-OBJECT ?A)
(ACTIVITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE ANALYZED-BY ACTIVITY)
(DOMAIN ANALYZED-BY MATERIAL-OBJECT)))
(DEFINE-RELATION ANALYZES (?A ?B)
"Studies or examines using established
quantitative or qualitative methods."
:DEF (AND (ASSESSMENT-RELATION ?A ?B) (ACTIVITY ?A) (MATERIAL-OBJECT ?B))
:AXIOM-DEF
(MAPPING ANALYZES "Entry from USN. The USN domain is metonymic:
the HCA is carried out TO analyze such and such. Maybe:
(goal)->analysis-(target)->sth ? see also 'treats' for
similar issues."))
(DEFINE-RELATION ASSESSED-FOR-EFFECT-BY (?A ?B) :IFF-DEF
(AND (= (INVERSE ASSESSES-EFFECT-OF) ASSESSED-FOR-EFFECT-BY)
(ENTITY ?A)
(ACTIVITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE ASSESSED-FOR-EFFECT-BY ACTIVITY)
(DOMAIN ASSESSED-FOR-EFFECT-BY ENTITY)))
(DEFINE-RELATION ASSESSES-EFFECT-OF (?A ?B)
"Analyzes the influence or consequences of the
function or action of."
:DEF (AND (ASSESSMENT-RELATION ?A ?B) (ACTIVITY ?A)) :AXIOM-DEF
(MAPPING ASSESSES-EFFECT-OF
"New entry. The USN domain is metonymic: the HCA is
actually carried out TO assess the effect of such and such."))
(DEFINE-RELATION CARE-ACTION (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (REFERENCE-LOCATION-OF ?A ?C)
(TO-ACTOR-OF ?C ?B)
(CLINICAL-ACTOR ?C ?B)
(HEALTH-CONDITION ?C)
(ACTIVITY ?B)))
(ENTITY ?A)
(CLINICAL-ACTOR ?A ?B)
(OBJECT ?A)
(ACTIVITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE CARE-ACTION ACTIVITY)
(DOMAIN CARE-ACTION OBJECT)))
(DEFINE-RELATION CARE-ACTION-OF (?A ?B) :IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C)
(AND (TREATMENT-ACTION-OF ?A ?C) (REFERENCE-LOCATION ?C ?B)))
(OBJECT ?B)))
(DEFINE-RELATION CARE-DEVICE (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (EXISTS (?D)
(AND (REFERENCE-LOCATION-OF ?A ?D)
(TO-ACTOR-OF ?D ?C)
(CLINICAL-ACTOR ?D ?C)
(HEALTH-CONDITION ?D)
(ACTIVITY ?C)))
(ENTITY ?A)
(CLINICAL-ACTOR ?A ?C)
(OBJECT ?A)
(ACTIVITY ?C)
(INSTRUMENT ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(OBJECT ?A)
(ENTITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE CARE-DEVICE ENTITY)
(DOMAIN CARE-DEVICE OBJECT)))
(DEFINE-RELATION CARE-DEVICE-OF (?A ?B) :IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (INSTRUMENT-OF ?A ?C) (CARE-ACTION-OF ?C ?B)))))
(DEFINE-RELATION CARE-METHOD (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (EXISTS (?D)
(AND (REFERENCE-LOCATION-OF ?A ?D)
(TO-ACTOR-OF ?D ?C)
(CLINICAL-ACTOR ?D ?C)
(HEALTH-CONDITION ?D)
(ACTIVITY ?C)))
(ENTITY ?A)
(CLINICAL-ACTOR ?A ?C)
(OBJECT ?A)
(ACTIVITY ?C)
(METHOD ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(OBJECT ?A)
(ABSTRACTION ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE CARE-METHOD ABSTRACTION)
(DOMAIN CARE-METHOD OBJECT)))
(DEFINE-RELATION CARE-METHOD-OF (?A ?B) :IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (METHOD-OF ?A ?C) (CARE-ACTION-OF ?C ?B)))))
(DEFINE-RELATION CARE-RESOURCE (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (EXISTS (?D)
(AND (REFERENCE-LOCATION-OF ?A ?D)
(TO-ACTOR-OF ?D ?C)
(CLINICAL-ACTOR ?D ?C)
(HEALTH-CONDITION ?D)
(ACTIVITY ?C)))
(ENTITY ?A)
(CLINICAL-ACTOR ?A ?C)
(OBJECT ?A)
(ACTIVITY ?C)
(RESOURCE ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(OBJECT ?A)
(SUBSTANCE ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE CARE-RESOURCE SUBSTANCE)
(DOMAIN CARE-RESOURCE OBJECT)))
(DEFINE-RELATION CARE-RESOURCE-OF (?A ?B) :IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (RESOURCE-OF ?A ?C) (CARE-ACTION-OF ?C ?B)))))
(DEFINE-RELATION CARE-TARGET (?A ?B) :IFF-DEF
(AND (= (INVERSE CARES-FOR) CARE-TARGET) (OBJECT ?A) (OBJECT ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE CARE-TARGET OBJECT)
(DOMAIN CARE-TARGET OBJECT)))
(DEFINE-RELATION CARES-FOR (?A ?B) :DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (PERFORMS ?A ?C) (CARE-ACTION-OF ?C ?B)))))
(DEFINE-RELATION CLINICAL-ACTOR (?A ?B) :IFF-DEF
(AND (= (INVERSE PSEUDO-ACTOR-OF) CLINICAL-ACTOR)
(INVERSE-OF-CLINICAL-RELATION ?A ?B)
(ENTITY ?A)
(ENTITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE CLINICAL-ACTOR ENTITY)
(DOMAIN CLINICAL-ACTOR ENTITY)))
(DEFINE-RELATION CLINICAL-ACTOR-OF (?A ?B) :IFF-DEF
(AND (CLINICAL-RELATION ?A ?B) (PSEUDO-ACTOR-OF ?A ?B)))
(DEFINE-RELATION COMPLICATED-BY (?A ?B) :IFF-DEF
(AND (= (INVERSE COMPLICATES) COMPLICATED-BY)
(ENTITY ?A)
(ENTITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE COMPLICATED-BY ENTITY)
(DOMAIN COMPLICATED-BY ENTITY)))
(DEFINE-RELATION COMPLICATES (?A ?B) :DEF
(AND (PSEUDO-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (CAUSE-OF ?A ?C) (BEARER ?C ?B)))))
(DEFINE-RELATION DIAGNOSED-BY (?A ?B) :IFF-DEF
(AND (EVALUATED-BY ?A ?B)
(INVERSE-OF-CLINICAL-RELATION ?A ?B)
(HEALTH-CONDITION ?A)
(*HEALTHCARE-OPERATOR ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE DIAGNOSED-BY *HEALTHCARE-OPERATOR)
(DOMAIN DIAGNOSED-BY HEALTH-CONDITION)))
(DEFINE-RELATION DIAGNOSES (?A ?B)
"Distinguishes or identifies the nature or characteristics of
a condition."
:IFF-DEF
(AND (CLINICAL-RELATION ?A ?B)
(EVALUATES ?A ?B)
(*HEALTHCARE-OPERATOR ?A)
(HEALTH-CONDITION ?B))
:AXIOM-DEF
(MAPPING DIAGNOSES
"New entry. Consider this is highly metonymic, as used in medical language:
someone diagnoses sth, but also a substance diagnoses sth (=makes it possible to diagnose sth), etc.:
1) physician-(diagnoses1)->clinical-condition
diagnoses1 :is-primitive evaluates :domain clin-act:*physician :range clin-act:condition
2) sign-or-symptom-(interpretant-of)->clinical-condition
3) procedure-(action)->physician-(diagnoses1)->clinical-condition
=>procedure-(diagnoses2)->clinical-condition
diagnoses2 :is (:composition action diagnoses1) diagnostic-action
4) pharmacologic-substance-(resource-of)->procedure-(action)->physician-(diagnoses1)->clinical-condition
=>pharmacologic-substance-(diagnoses3)->clinical-condition
diagnoses3 :is (:composition resource-of action diagnoses1) / (:composition resource-of diagnoses2)
diagnostic-resource
'diagnoses' is not left with the USN naive wide sense, but two new relations are created
and 'interpretant-of' is used where needed. This 'diagnoses' is restricted to 'diagnoses1'."))
(DEFINE-RELATION DIAGNOSTIC-ACTION (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (EVALUATED-BY ?A ?C)
(INVERSE-OF-CLINICAL-RELATION ?A ?C)
(HEALTH-CONDITION ?A)
(*HEALTHCARE-OPERATOR ?C)
(PERFORMS ?C ?B)))
(ACT ?B)
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(ACTIVITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE DIAGNOSTIC-ACTION ACTIVITY)
(DOMAIN DIAGNOSTIC-ACTION HEALTH-CONDITION)))
(DEFINE-RELATION DIAGNOSTIC-ACTION-OF (?A ?B)
"Expanded metonymic sense for diagnoses
with a 'procedure' domain."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (PERFORMED-BY ?A ?C) (DIAGNOSES ?C ?B)))
(ACTIVITY ?A)))
(DEFINE-RELATION DIAGNOSTIC-METHOD (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (EXISTS (?D)
(AND (EVALUATED-BY ?A ?D)
(INVERSE-OF-CLINICAL-RELATION ?A ?D)
(HEALTH-CONDITION ?A)
(*HEALTHCARE-OPERATOR ?D)
(PERFORMS ?D ?C)))
(ACT ?C)
(CLINICAL-ACTOR ?A ?C)
(HEALTH-CONDITION ?A)
(ACTIVITY ?C)
(METHOD ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(ABSTRACTION ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE DIAGNOSTIC-METHOD ABSTRACTION)
(DOMAIN DIAGNOSTIC-METHOD HEALTH-CONDITION)))
(DEFINE-RELATION DIAGNOSTIC-METHOD-OF (?A ?B)
"Expanded metonymic sense for diagnoses
with a 'method' domain."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (METHOD-OF ?A ?C) (DIAGNOSTIC-ACTION-OF ?C ?B)))))
(DEFINE-RELATION DIAGNOSTIC-RESOURCE (?A ?B) :IFF-DEF
(AND (EXISTS (?C ?D)
(AND (EVALUATED-BY ?A ?C)
(INVERSE-OF-CLINICAL-RELATION ?A ?C)
(HEALTH-CONDITION ?A)
(*HEALTHCARE-OPERATOR ?C)
(PERFORMS ?C ?D)
(RESOURCE ?D ?B)))
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(SUBSTANCE ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE DIAGNOSTIC-RESOURCE SUBSTANCE)
(DOMAIN DIAGNOSTIC-RESOURCE HEALTH-CONDITION)))
(DEFINE-RELATION DIAGNOSTIC-RESOURCE-OF (?A ?B)
"Expanded metonymic sense for diagnoses
with a 'substance' domain."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C ?D)
(AND (RESOURCE-OF ?A ?C) (PERFORMED-BY ?C ?D) (DIAGNOSES ?D ?B)))))
(DEFINE-RELATION TREATED-BY (?A ?B) :IFF-DEF
(AND (= (INVERSE TREATS) TREATED-BY)
(HEALTH-CONDITION ?A)
(OBJECT ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE TREATED-BY OBJECT)
(DOMAIN TREATED-BY HEALTH-CONDITION)))
(DEFINE-RELATION TREATMENT-ACTION (?A ?B) :IFF-DEF
(AND (TO-ACTOR-OF ?A ?B)
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(ACTIVITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE TREATMENT-ACTION ACTIVITY)
(DOMAIN TREATMENT-ACTION HEALTH-CONDITION)))
(DEFINE-RELATION TREATMENT-ACTION-OF (?A ?B)
"The relation for 'treats' when procedures
used for treatment are the domain."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(TO-ACTOR ?A ?B)
(ACTIVITY ?A)
(HEALTH-CONDITION ?B)))
(DEFINE-RELATION TREATMENT-DEVICE (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (TO-ACTOR-OF ?A ?C)
(CLINICAL-ACTOR ?A ?C)
(HEALTH-CONDITION ?A)
(ACTIVITY ?C)
(INSTRUMENT ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(ENTITY ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE TREATMENT-DEVICE ENTITY)
(DOMAIN TREATMENT-DEVICE HEALTH-CONDITION)))
(DEFINE-RELATION TREATMENT-DEVICE-OF (?A ?B)
"The relation for 'treats' when artifacts
used for treatment are the domain."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C)
(AND (INSTRUMENT-OF ?A ?C) (TREATMENT-ACTION-OF ?C ?B)))))
(DEFINE-RELATION TREATMENT-METHOD (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (TO-ACTOR-OF ?A ?C)
(CLINICAL-ACTOR ?A ?C)
(HEALTH-CONDITION ?A)
(ACTIVITY ?C)
(METHOD ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(ABSTRACTION ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE TREATMENT-METHOD ABSTRACTION)
(DOMAIN TREATMENT-METHOD HEALTH-CONDITION)))
(DEFINE-RELATION TREATMENT-METHOD-OF (?A ?B)
"The relation for 'treats' when methods
used for treatment are the domain. The defining composition means that some
set of instructions (such as a guideline) are a method of a care process
performed by some agent who treats a clinical condition or a patient or disabled
group."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (METHOD-OF ?A ?C) (TREATMENT-ACTION-OF ?C ?B)))))
(DEFINE-RELATION TREATMENT-RESOURCE (?A ?B) :IFF-DEF
(AND (EXISTS (?C)
(AND (TO-ACTOR-OF ?A ?C)
(CLINICAL-ACTOR ?A ?C)
(HEALTH-CONDITION ?A)
(ACTIVITY ?C)
(RESOURCE ?C ?B)))
(CLINICAL-ACTOR ?A ?B)
(HEALTH-CONDITION ?A)
(SUBSTANCE ?B))
:AXIOM-CONSTRAINTS
(AND (RANGE TREATMENT-RESOURCE SUBSTANCE)
(DOMAIN TREATMENT-RESOURCE HEALTH-CONDITION)))
(DEFINE-RELATION TREATMENT-RESOURCE-OF (?A ?B)
"The relation for 'treats' when substance
used for treatment are the domain."
:IFF-DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (RESOURCE-OF ?A ?C) (TREATMENT-ACTION-OF ?C ?B)))))
(DEFINE-RELATION TREATS (?A ?B)
"Applies a remedy with the object of effecting a cure
or managing a condition. Here: the basic treatment: some agent performs a
care process having a clinical condition or a patient or disabled group
as objective."
:DEF
(AND (CLINICAL-ACTOR-OF ?A ?B)
(EXISTS (?C) (AND (PERFORMS ?A ?C) (TREATMENT-ACTION-OF ?C ?B))))
:AXIOM-DEF
(MAPPING TREATS "This is highly metonymical. In the context of a graph such as:
one-(performs)->process
|-(by-actor)->(:or object process)
|-(recipient)->patient->(embodies)->clinical-situation
'treats' templates have a domain including the 'one', the 'process', or even the
'(:or object process)', and a range of either 'patient' or a patient's condition, i.e.
a clinical situation involving one or more of the following:
'(:or Pathologic-Function Injury-Or-Poisoning Anatomical-Abnormality Sign-Or-Symptom)'.
There are at least five kinds of relations within here:
1) an animate domain for a from-actor-of (kind of 'performs'), with a processual
clinical condition as range. For example: (physician-(treats1)->injury)
(no metonymy here);
2) an animate domain for a pseudo-actor-of (kind of 'performs'), with a generalized
clinical condition as range (violation of the 'process' range for actors!).
Also 'treats2': (:composition treats1
For example: (physician-(treats2)->anatomical-abnormality) (no metonymy here);
3) an animate domain for a composed actor 'treats3': (:composition treats2 embodied-in),
with a patient or patient group as range;
4) a procedural domain for a composed actor 'treats4': (:composition action-for performed-by treats2),
with a generalized clinical condition as range.
For example: (therapy-(treats4)->injury), e.g., the actor performing the therapy
is implicit;
5) an object (artifact, substance, etc.) -used to treat- as a domain for a composed
actor 'treats5': (:composition by-actor-of action-for treats2). For example:
(device-(treats5)->anatomical-abnormality), e.g., the from-actor-of using the object is
implicit, as well as the procedure which has the device as resource.
At the moment, it may seem too detailed to distinguish five relations only on the basis of
their domains (in fact, 4 out of 5 have the same treats2 as relevant component).
An alternative is dismissing the 'treats' relation and talking of a 'treatment' procedure.
In this case, the five cases above would result as follows (by the examples):
a) (physician-(performs)->treatment-(target)->injury)
b) (physician-(performs)->treatment-(target)->anatomical-abnormality)
c) (?physician-(performs)->treatment-(recipient)->patient-or-disabled-group)
d) (physician-(performs)->therapy-(target)->injury)
e) (device-(by-actor-of)->?treatment-(target)->anatomical-abnormality)
Currently, 'treats' is restricted to actual performers and directly to conditions
(cases (1) and (2) above).
Cases (4) and (5) are described by the new composed relations:
'treatment-action', 'treatment-device' and 'treatment-resource' in theory:clin-act.
The metonymy by which a patient or group is 'treated' (case (3) above) is described in relation
'cares'."))
(DEFINE-CLASS *DONOR (?SELF)
:DEF (ORGANISM ?SELF) :AXIOM-DEF
(THE-ARCHETYPE *DONOR REIFIED-ROLE))
(DEFINE-CLASS *HEALTHCARE-OPERATOR (?SELF)
:DEF (*AGENT ?SELF)
:AXIOM-DEF (THE-ARCHETYPE *HEALTHCARE-OPERATOR REIFIED-ROLE))
(DEFINE-CLASS *PHYSICIAN (?SELF)
:DEF (*HEALTHCARE-OPERATOR ?SELF)
:AXIOM-DEF (THE-ARCHETYPE *PHYSICIAN REIFIED-ROLE))
(DEFINE-CLASS *SURGEON (?SELF)
:DEF (*PHYSICIAN ?SELF) :AXIOM-DEF
(THE-ARCHETYPE *SURGEON REIFIED-ROLE))
(DEFINE-CLASS ASSISTANCE (?SELF)
:DEF
(AND (OCCUPATIONAL-ACTIVITY ?SELF)
(EXISTS (?A) (AND (BENEFICIARY ?SELF ?A) (NEEDY ?A)))))
(DEFINE-CLASS BIOLOGICAL-ETIOLOGY (?SELF)
:IFF-DEF
(AND (ORGANISM ?SELF)
(EXISTS (?A) (AND (REMOTE-CAUSE-OF ?SELF ?A) (HEALTH-CONDITION ?A))))
:AXIOM-DEF (THE-ARCHETYPE BIOLOGICAL-ETIOLOGY REIFIED-ROLE))
(DEFINE-CLASS CLINICAL-ACTIVITY (?SELF)
:DEF
(AND (HEALTH-CARE-ACTIVITY ?SELF)
(EXISTS (?A) (AND (PERFORMED-BY ?SELF ?A) (*HEALTHCARE-OPERATOR ?A)))
(EXISTS (?B)
(AND (REFERENCE-LOCATION ?SELF ?B) (HEALTHCARE-STRUCTURE ?B))))
:CONSTRAINTS
(AND (VALUE-TYPE ?SELF INSTRUMENT DEVICE)
(EXISTS (?Y ?Z)
(AND (UNIT ?Y)
(EXISTS (?C) (AND (NUMERIC-VALUE ?Y ?C) (= ?C ?Z)))
(MONEY-VALUE ?SELF ?Y ?Z)))))
(DEFINE-CLASS CLINICAL-CONDITION (?SELF)
:DEF
(AND (HEALTH-CONDITION ?SELF)
(EXISTS (?A)
(AND (TREATMENT-ACTION ?SELF ?A) (HEALTH-CARE-ACTIVITY ?A)))))
(DEFINE-CLASS DIAGNOSIS (?SELF)
:DEF
(AND (REPORT ?SELF)
(EXISTS (?A)
(AND (INTERPRETATION-OUTCOME-OF ?SELF ?A)
(DIAGNOSTIC-PROCEDURE ?A)))
(EXISTS (?B) (AND (INTERPRETANT-OF ?SELF ?B) (HEALTH-CONDITION ?B)))))
(DEFINE-CLASS DISABILITY (?SELF)
:DEF (HEALTH-CONDITION ?SELF))
(DEFINE-CLASS DISABLE (?SELF)
:IFF-DEF
(AND (HUMAN ?SELF)
(EXISTS (?A) (AND (STRICTLY-DEPENDS-ON ?SELF ?A) (PHYSICAL-PERSON ?A)))
(EXISTS (?B) (AND (REFERENCE-LOCATION-OF ?SELF ?B) (DISABILITY ?B))))
:AXIOM-DEF (THE-ARCHETYPE DISABLE REIFIED-ROLE))
(DEFINE-CLASS EXPERIMENTAL-MODEL-OF-DISEASE (?SELF)
"A representation in a non-human organism of a human
disease for the purpose of research into its mechanism or treatment."
:DEF
(AND (PATHOLOGIC-FUNCTION ?SELF)
(EXISTS (?A) (AND (ANALOGICALLY-REPRESENTS ?SELF ?A) (HUMAN-DISEASE ?A)))
(VALUE-TYPE ?SELF EMBODIED-IN INCOHERENT)))
(DEFINE-CLASS FINDING (?SELF)
"That which is discovered by direct observation or measurement of an organism
attribute or condition, including the clinical history of the patient."
:DEF
(AND (MEDICAL-SIGN ?SELF)
(FORALL (?A)
(=> (MANIFESTATION-OF ?SELF ?A)
(OR (INJURY-OR-POISONING ?A) (ANATOMICAL-ABNORMALITY ?A))))
(FORALL (?B)
(=> (INTERPRETANT-OF ?SELF ?B)
(OR (ORGANISM-ATTRIBUTE ?B) (BIOLOGIC-FUNCTION ?B))))
(EXISTS (?C) (AND (INTERPRETED-BY ?SELF ?C) (*PHYSICIAN ?C))))
:CONSTRAINTS (VALUE-TYPE ?SELF CO-EXIST FINDING) :AXIOM-DEF
(MAPPING FINDING
"This is included from USN98 and is actually equivalent to 'medical sign', with some
USN templates."))
(DEFINE-CLASS HEALTH-CARE-ACTIVITY (?SELF)
"An activity of or relating to the practice of medicine or involving the care
of patients."
:DEF
(AND (OCCUPATIONAL-ACTIVITY ?SELF)
(EXISTS (?A) (AND (CONVENTIONAL-WITHIN ?SELF ?A) (MEDICINE ?A)))
(EXISTS (?B) (AND (BENEFICIARY ?SELF ?B) (PATIENT ?B))))
:CONSTRAINTS
(FORALL (?C)
(=> (BEARER ?SELF ?C)
(OR (PATIENT-OR-DISABLED-GROUP ?C)
(ANATOMICAL-ABNORMALITY ?C)
(BIOLOGIC-FUNCTION ?C)
(HEALTH-CARE-ACTIVITY ?C)
(SIGN-OR-SYMPTOM ?C))))
:AXIOM-DEF
(MAPPING HEALTH-CARE-ACTIVITY
"USN does not distinguish between generic hc activities and (formalized)
hc procedures. In fact, the Metathesaurus assigns 6787 CUIs to HCA with no assignment to a procedure!
This is a good guide to the splitting."))
(DEFINE-CLASS HEALTH-CARE-RELATED-ORGANIZATION (?SELF)
"An established organization which carries out specific functions related to
health care delivery or research in the life sciences. Terms for health care related professional societies
are assigned the type Professional Society."
:DEF
(AND (ORGANIZATION ?SELF)
(VALUE-TYPE ?SELF MANAGES PATIENT-OR-DISABLED-GROUP)
(VALUE-TYPE ?SELF CARRIES-ON LIFE-SCIENCE-RESEARCH)))
(DEFINE-CLASS HEALTH-CONDITION (?SELF)
:DEF
(AND (SITUATION ?SELF)
(OR (EXISTS (?A)
(AND (CONTEXT-OF ?SELF ?A)
(AND (OR (PATHOLOGIC-FUNCTION ?A)
(INJURY ?A)
(POISONING ?A))
(EXISTS (?B)
(AND (EMBODIED-IN ?A ?B) (ORGANISM ?B))))))
(EXISTS (?C)
(AND (CONTEXT-OF ?SELF ?C)
(AND (ANATOMICAL-ABNORMALITY ?C)
(EXISTS (?D)
(AND (PART-OF ?C ?D) (ORGANISM ?D))))))
(EXISTS (?E)
(AND (CONTEXT-OF ?SELF ?E)
(AND (FOREIGN-BODY ?E)
(EXISTS (?F)
(AND (REFERENCE-LOCATION ?E ?F)
(ORGANISM ?F))))))
(EXISTS (?G)
(AND (CONTEXT-OF ?SELF ?G)
(AND (MEDICAL-SIGN ?G)
(EXISTS (?H)
(AND (REFERENCE-LOCATION ?G ?H)
(ORGANISM ?H))))))))
:CONSTRAINTS
(EXISTS (?I)
(AND (CONTEXT-OF ?SELF ?I)
(OR (ORGANISM ?I) (PATIENT-OR-DISABLED-GROUP ?I)))))
(DEFINE-CLASS HEALTH-PROBLEM (?SELF)
:IFF-DEF
(HEALTH-CONDITION ?SELF))
(DEFINE-CLASS HEALTHCARE-ADMINISTRATION (?SELF)
:DEF
(HEALTHCARE-STRUCTURE ?SELF))
(DEFINE-CLASS HEALTHCARE-COMMUNITY (?SELF)
:DEF (COMMUNITY ?SELF))
(DEFINE-CLASS HEALTHCARE-PROFESSIONAL-OR-OCCUPATIONAL-GROUP (?SELF)
:DEF
(AND (PROFESSIONAL-OR-OCCUPATIONAL-GROUP ?SELF) (*HEALTHCARE-OPERATOR ?SELF))
:CONSTRAINTS
(AND (VALUE-TYPE ?SELF CARES-FOR PATIENT-OR-DISABLED-GROUP)
(VALUE-TYPE ?SELF DIAGNOSES HEALTH-CONDITION)))
(DEFINE-CLASS HEALTHCARE-STRUCTURE (?SELF)
:DEF
(SOCIAL-OBJECT ?SELF))
(DEFINE-CLASS HUMAN-DISEASE (?SELF)
:IFF-DEF
(AND (DISEASE-OR-SYNDROME ?SELF)
(EXISTS (?A) (AND (EMBODIED-IN ?SELF ?A) (HUMAN ?A))))
:AXIOM-DEF (THE-ARCHETYPE HUMAN-DISEASE REIFIED-PROPERTY))
(DEFINE-CLASS LABORATORY-OR-TEST-RESULT (?SELF)
"The outcome of a specific test to measure an attribute or to determine the
presence, absence, or degree of a condition. Laboratory or test results are considered inherently quantitative
and thus are not assigned the additional type 'Quantitative Concept'."
:DEF
(AND (PROCEDURE-FINDING ?SELF)
(EXISTS (?A)
(AND (INTERPRETATION-OUTCOME-OF ?SELF ?A)
(OR (DIAGNOSTIC-PROCEDURE ?A) (LABORATORY-PROCEDURE ?A))))
(VALUE-TYPE ?SELF INDICATES BIOLOGIC-FUNCTION)
(VALUE-TYPE ?SELF EVIDENTIATES CLINICAL-CONDITION))
:CONSTRAINTS
(FORALL (?B)
(=> (MEASUREMENT-OF ?SELF ?B)
(OR (SUBSTANCE ?B)
(PHYSIOLOGIC-FUNCTION ?B)
(LABORATORY-OR-TEST-RESULT ?B)))))
(DEFINE-CLASS MACHINE-AIDED-HEALTHCARE-ACTIVITY (?SELF)
"A medical machine-aided activity." :DEF
(AND (HEALTH-CARE-ACTIVITY ?SELF)
(EXISTS (?A) (AND (INSTRUMENT ?SELF ?A) (MACHINE ?A)))
(EXISTS (?B)
(AND (SUPPORTS ?SELF ?B)
(OR (THERAPEUTIC-OR-PREVENTIVE-PROCEDURE ?B)
(LABORATORY-PROCEDURE ?B)
(DIAGNOSTIC-PROCEDURE ?B))))))
(DEFINE-CLASS MEDICAL-DEVICE (?SELF)
"A manufactured object used primarily in the diagnosis, treatment,
or prevention of physiologic or anatomic disorders."
:DEF
(AND (DEVICE ?SELF)
(VALUE-TYPE ?SELF TREATMENT-DEVICE-OF HEALTH-CONDITION)
(VALUE-TYPE ?SELF INSTRUMENT-OF MEDICAL-PROCEDURE)
(FORALL (?A)
(=> (PREVENTS ?SELF ?A)
(OR (PATHOLOGIC-FUNCTION ?A) (INJURY-OR-POISONING ?A))))))
(DEFINE-CLASS MEDICAL-SIGN (?SELF)
:DEF (*SIGN ?SELF) :CONSTRAINTS
(EXISTS (?A)
(AND (INTERPRETANT-OF ?SELF ?A)
(OR (PATHOLOGIC-FUNCTION ?A)
(INJURY ?A)
(POISONING ?A)
(ANATOMICAL-ABNORMALITY ?A)))))
(DEFINE-CLASS MORPHOLOGICAL-CONDITION (?SELF)
:DEF
(AND (HEALTH-CONDITION ?SELF)
(OR (EXISTS (?A) (AND (CONTEXT-OF ?SELF ?A) (FOREIGN-BODY ?A)))
(EXISTS (?B)
(AND (CONTEXT-OF ?SELF ?B) (ANATOMICAL-ABNORMALITY ?B))))))
(DEFINE-CLASS NEEDY (?SELF)
:DEF
(AND (PHYSICAL-PERSON ?SELF)
(EXISTS (?A) (AND (BEARER-OF ?SELF ?A) (RELIEF-PROBLEM ?A)))))
(DEFINE-CLASS OBJECTIVE-MEDICAL-SIGN (?SELF)
:DEF
(AND (MEDICAL-SIGN ?SELF)
(EXISTS (?A) (AND (INTERPRETED-BY ?SELF ?A) (*PHYSICIAN ?A))))
:CONSTRAINTS
(AND (OBJECTIVE-MEDICAL-SIGN ?SELF)
(VALUE-CARDINALITY ?SELF _EPISTEMIC 1)))
(DEFINE-CLASS PATIENT (?SELF)
:IFF-DEF
(AND (HUMAN ?SELF)
(EXISTS (?A) (AND (STRICTLY-DEPENDS-ON ?SELF ?A) (PHYSICAL-PERSON ?A)))
(EXISTS (?B)
(AND (REFERENCE-LOCATION-OF ?SELF ?B) (HEALTH-CONDITION ?B))))
:AXIOM-DEF (THE-ARCHETYPE PATIENT REIFIED-ROLE))
(DEFINE-CLASS PATIENT-OR-DISABLED-GROUP (?SELF)
"An individual or individuals classified according to a disability,
disease, condition or treatment."
:DEF
(AND (GROUP ?SELF)
(EXISTS (?A)
(AND (MEREOLOGICAL-MEMBER ?SELF ?A)
(OR (PATIENT ?A) (DISABLE ?A))))))
(DEFINE-CLASS PROCEDURE-FINDING (?SELF)
:DEF
(AND (MEDICAL-SIGN ?SELF)
(EXISTS (?A) (AND (OUTCOME-OF ?SELF ?A) (MEDICAL-PROCEDURE ?A)))))
(DEFINE-CLASS RELIEF-PROBLEM (?SELF)
:DEF (HEALTH-CONDITION ?SELF))
(DEFINE-CLASS SELF-HELP-OR-RELIEF-ORGANIZATION (?SELF)
"An organization whose purpose and function is to provide assistance to the
needy or to offer support to those sharing similar problems."
:DEF
(AND (ORGANIZATION ?SELF)
(EXISTS (?A)
(AND (PERFORMS ?SELF ?A)
(AND (ACTIVITY ?A)
(EXISTS (?B)
(AND (CONVENTIONAL-GOAL ?A ?B)
(OR (AND
(ASSISTANCE ?B)
(EXISTS
(?C)
(AND
(BENEFICIARY ?B ?C)
(NEEDY ?C))))
(AND
(ASSISTANCE ?B)
(EXISTS
(?D)
(AND
(BENEFICIARY ?B ?D)
(AND
(GROUP ?D)
(EXISTS
(?E)
(AND
(MEREOLOGICAL-MEMBER ?D ?E)
(AND
(PERSON ?E)
(EXISTS
(?F)
(AND
(REFERENCE-LOCATION-OF ?E ?F)
(HEALTH-CONDITION ?F)))
(FORALL
(?F ?G)
(=>
(AND
(REFERENCE-LOCATION-OF
?E
?F)
(REFERENCE-LOCATION-OF
?E
?G))
(= ?F ?G)))))))))))))))))
:CONSTRAINTS (VALUE-TYPE ?SELF MANAGES PATIENT-OR-DISABLED-GROUP))
(DEFINE-CLASS SIGN-OR-SYMPTOM (?SELF)
"An observable manifestation of a disease or condition based on clinical
judgment, or a manifestation of a disease or condition which is experienced by the patient and reported
as a subjective observation."
:IFF-DEF
(AND (THING ?SELF) (OR (OBJECTIVE-MEDICAL-SIGN ?SELF) (SYMPTOM ?SELF)))
:CONSTRAINTS
(AND (FORALL (?A)
(=> (INTERPRETANT-OF ?SELF ?A)
(OR (PATHOLOGIC-FUNCTION ?A)
(INJURY-OR-POISONING ?A)
(ANATOMICAL-ABNORMALITY ?A))))
(VALUE-TYPE ?SELF DEGREE-OF SIGN-OR-SYMPTOM))
:AXIOM-DEF
(AND (MAPPING SIGN-OR-SYMPTOM
"This is a typical 'inclusive' concept from USN, maintained here to
support Metathesaurus partition.")
(PROBLEM SIGN-OR-SYMPTOM
"Traditionally, signs and symptoms are accurately distinguished. Any way to
partition the instances of this USN concept?")))
(DEFINE-CLASS SYMPTOM (?SELF)
:DEF
(AND (MEDICAL-SIGN ?SELF)
(EXISTS (?A) (AND (INTERPRETED-BY ?SELF ?A) (PATIENT ?A))))
:CONSTRAINTS
(AND (SYMPTOM ?SELF) (VALUE-CARDINALITY ?SELF _INTENTIONAL 1)))
(DEFINE-CLASS SYNDROME (?SELF)
:DEF
(AND (MEDICAL-SIGN ?SELF)
(MINIMUM-SLOT-CARDINALITY ?SELF INTERPRETANT-OF 2)
(EXISTS (?A) (AND (CONVENTIONAL-WITHIN ?SELF ?A) (MEDICINE ?A)))))
This Lisp-to-HTML translation was brought to you by
François Gerbaux and Tom Gruber