diff options
Diffstat (limited to 'grammars/health/Health.gf')
| -rw-r--r-- | grammars/health/Health.gf | 41 |
1 files changed, 30 insertions, 11 deletions
diff --git a/grammars/health/Health.gf b/grammars/health/Health.gf index db901d29f..e477db905 100644 --- a/grammars/health/Health.gf +++ b/grammars/health/Health.gf @@ -1,17 +1,15 @@ abstract Health = { cat - Specialization ; Patient ; Body ; Symptom ; SymptomDegree ; Illness ; + Specialization ; Patient ; BodyPart ; Symptom ; SymptomDegree ; Illness ; Prop ; Condition ; Medicine ; fun And : Prop -> Prop -> Prop ; Complain : Patient -> Symptom -> Prop ; - FeverMod : SymptomDegree -> Symptom ; - PainIn : Patient -> Body -> Prop ; - PainInMod : Patient -> Body -> SymptomDegree -> Prop ; - Injured : Patient -> Body -> Prop ; - Broken : Patient -> Body -> Prop ; + PainIn : Patient -> BodyPart -> Prop ; + Injured : Patient -> BodyPart -> Prop ; + Broken : Patient -> BodyPart -> Prop ; HaveIllness : Patient -> Illness -> Prop ; BeInCondition : Patient -> Condition -> Prop ; NeedDoctor : Patient -> Specialization -> Prop ; @@ -19,18 +17,39 @@ fun TakeMedicine : Patient -> Medicine -> Prop ; CatchCold : Condition ; Pregnant : Condition ; - Fever : Symptom ; - High : SymptomDegree ; - Terrible : SymptomDegree ; - Head : Body ; - Leg : Body ; + ShePatient : Patient ; TheyPatient : Patient ; IPatientHe : Patient ; + Influenza : Illness ; Malaria : Illness ; Dentist : Specialization ; + PainKiller : Medicine ; + Head : BodyPart ; + Leg : BodyPart ; + Stomac : BodyPart ; + Throat : BodyPart ; + Ear : BodyPart ; + Chest : BodyPart ; + Foot : BodyPart ; + Arm : BodyPart ; + Back : BodyPart ; + Shoulder : BodyPart ; +-- Knee : BodyPart ; +-- Tooth : BodyPart ; + + Fever : Symptom ; + +-- PainInMod : Patient -> BodyPart -> SymptomDegree -> Prop ; +-- SymptomMod : SymptomDegree -> Symptom -> Symtom; +-- High : SymptomDegree ; +-- Low : SymptomDegree ; +-- Terrible : SymptomDegree ; +-- BloodPressure : Symptom ; + + } ; |
