summaryrefslogtreecommitdiff
path: root/grammars/health/Health.gf
diff options
context:
space:
mode:
Diffstat (limited to 'grammars/health/Health.gf')
-rw-r--r--grammars/health/Health.gf6
1 files changed, 3 insertions, 3 deletions
diff --git a/grammars/health/Health.gf b/grammars/health/Health.gf
index 22c8d2ec6..8d732c41e 100644
--- a/grammars/health/Health.gf
+++ b/grammars/health/Health.gf
@@ -26,7 +26,7 @@ fun
Influenza : Illness ;
Malaria : Illness ;
Diarrhea : Illness ;
- Allergy : Illness ;
+ SkinAllergy : Illness ;
Heartburn : Illness ;
Rheumatism : Illness ;
Cystitis : Illness ;
@@ -47,7 +47,6 @@ fun
Ophthalmologist : Specialization ;
Surgeon : Specialization ;
- PainKiller : Medicine ;
SleepingPeels : Medicine ;
Sedative : Medicine ;
Vitamins : Medicine ;
@@ -57,6 +56,7 @@ fun
Laxative : Medicine ;
Insulin : Medicine ;
Antidepressant : Medicine ;
+ PainKiller : Medicine ;
Head : BodyPart ;
Leg : BodyPart ;
@@ -72,7 +72,7 @@ fun
-- Tooth : BodyPart ;
Fever : Symptom ;
- Sickness: Symptom ;
+-- Sickness: Symptom ;
-- PainInMod : Patient -> BodyPart -> SymptomDegree -> Prop ;
-- SymptomMod : SymptomDegree -> Symptom -> Symtom;
-- High : SymptomDegree ;