summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorjanna <unknown>2004-01-29 10:05:43 +0000
committerjanna <unknown>2004-01-29 10:05:43 +0000
commit4c31deb83940be8e6ff3775013aec5da593c4d7a (patch)
treeb425bd37ebcf745201d3c46624f9c7304e5f924a
parent1ca54cca208876f83014119da55e747d5342b434 (diff)
*** empty log message ***
-rw-r--r--grammars/health/Health.gf37
1 files changed, 33 insertions, 4 deletions
diff --git a/grammars/health/Health.gf b/grammars/health/Health.gf
index e477db905..22c8d2ec6 100644
--- a/grammars/health/Health.gf
+++ b/grammars/health/Health.gf
@@ -6,17 +6,18 @@ cat
fun
And : Prop -> Prop -> Prop ;
- Complain : Patient -> Symptom -> 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 ;
NeedMedicine : Patient -> Medicine -> Prop ;
TakeMedicine : Patient -> Medicine -> Prop ;
+
CatchCold : Condition ;
Pregnant : Condition ;
+ BeInCondition : Patient -> Condition -> Prop ;
+ Complain : Patient -> Symptom -> Prop ;
ShePatient : Patient ;
TheyPatient : Patient ;
@@ -24,10 +25,38 @@ fun
Influenza : Illness ;
Malaria : Illness ;
-
+ Diarrhea : Illness ;
+ Allergy : Illness ;
+ Heartburn : Illness ;
+ Rheumatism : Illness ;
+ Cystitis : Illness ;
+ Asthma : Illness ;
+ Arthritis : Illness ;
+ Diabetes : Illness ;
+ Tonsillitis : Illness ;
+ Constipation : Illness ;
+
Dentist : Specialization ;
+ Gynecologist : Specialization ;
+ Urologist: Specialization ;
+ Pediatrician : Specialization ;
+ Physician :Specialization ;
+ Dermatologist :Specialization ;
+ Cardiologist : Specialization ;
+ Neuropathologist : Specialization ;
+ Ophthalmologist : Specialization ;
+ Surgeon : Specialization ;
PainKiller : Medicine ;
+ SleepingPeels : Medicine ;
+ Sedative : Medicine ;
+ Vitamins : Medicine ;
+ EyeDrops : Medicine ;
+ Antibiotics : Medicine ;
+ Viagra : Medicine ;
+ Laxative : Medicine ;
+ Insulin : Medicine ;
+ Antidepressant : Medicine ;
Head : BodyPart ;
Leg : BodyPart ;
@@ -43,7 +72,7 @@ fun
-- Tooth : BodyPart ;
Fever : Symptom ;
-
+ Sickness: Symptom ;
-- PainInMod : Patient -> BodyPart -> SymptomDegree -> Prop ;
-- SymptomMod : SymptomDegree -> Symptom -> Symtom;
-- High : SymptomDegree ;