GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-23 11:42:49 -06:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
janna
2004-01-29 10:05:43 +00:00
parent 1ca54cca20
commit 4c31deb839
1 changed files with 33 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

37
grammars/health/Health.gf
View File

@@ -6,17 +6,18 @@ cat
fun fun
And : Prop -> Prop -> Prop ; And : Prop -> Prop -> Prop ;
Complain : Patient -> Symptom -> Prop ;
PainIn : Patient -> BodyPart -> Prop ; PainIn : Patient -> BodyPart -> Prop ;
Injured : Patient -> BodyPart -> Prop ; Injured : Patient -> BodyPart -> Prop ;
Broken : Patient -> BodyPart -> Prop ; Broken : Patient -> BodyPart -> Prop ;
HaveIllness : Patient -> Illness -> Prop ; HaveIllness : Patient -> Illness -> Prop ;
BeInCondition : Patient -> Condition -> Prop ;
NeedDoctor : Patient -> Specialization -> Prop ; NeedDoctor : Patient -> Specialization -> Prop ;
NeedMedicine : Patient -> Medicine -> Prop ; NeedMedicine : Patient -> Medicine -> Prop ;
TakeMedicine : Patient -> Medicine -> Prop ; TakeMedicine : Patient -> Medicine -> Prop ;
CatchCold : Condition ; CatchCold : Condition ;
Pregnant : Condition ; Pregnant : Condition ;
BeInCondition : Patient -> Condition -> Prop ;
Complain : Patient -> Symptom -> Prop ;
ShePatient : Patient ; ShePatient : Patient ;
TheyPatient : Patient ; TheyPatient : Patient ;
@@ -24,10 +25,38 @@ fun
Influenza : Illness ; Influenza : Illness ;
Malaria : 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 ; Dentist : Specialization ;
Gynecologist : Specialization ;
Urologist: Specialization ;
Pediatrician : Specialization ;
Physician :Specialization ;
Dermatologist :Specialization ;
Cardiologist : Specialization ;
Neuropathologist : Specialization ;
Ophthalmologist : Specialization ;
Surgeon : Specialization ;
PainKiller : Medicine ; PainKiller : Medicine ;
SleepingPeels : Medicine ;
Sedative : Medicine ;
Vitamins : Medicine ;
EyeDrops : Medicine ;
Antibiotics : Medicine ;
Viagra : Medicine ;
Laxative : Medicine ;
Insulin : Medicine ;
Antidepressant : Medicine ;
Head : BodyPart ; Head : BodyPart ;
Leg : BodyPart ; Leg : BodyPart ;
@@ -43,7 +72,7 @@ fun
-- Tooth : BodyPart ; -- Tooth : BodyPart ;
Fever : Symptom ; Fever : Symptom ;
Sickness: Symptom ;
-- PainInMod : Patient -> BodyPart -> SymptomDegree -> Prop ; -- PainInMod : Patient -> BodyPart -> SymptomDegree -> Prop ;
-- SymptomMod : SymptomDegree -> Symptom -> Symtom; -- SymptomMod : SymptomDegree -> Symptom -> Symtom;
-- High : SymptomDegree ; -- High : SymptomDegree ;