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.gf41
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 ;
+
+
} ;