GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-05-07 10:12:51 -06:00
Code Issues Packages Projects Releases Wiki Activity

*** empty log message ***

Browse Source
This commit is contained in:
janna
2005-10-28 08:45:28 +00:00
parent 8f9666ffef
commit d08695f71f
2 changed files with 40 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

39
grammars/health/Health.gf
View File

@@ -9,7 +9,20 @@ fun
PainIn : Patient -> BodyPart -> Prop ;
Injured : Patient -> BodyPart -> Prop ;
Broken : Patient -> BodyPart -> Prop ;
HaveIllness : Patient -> Illness -> Prop ;
-- HaveIllness : Patient -> Illness -> Prop ;
HaveAsthma : Patient -> Prop ;
HaveHeartburn : Patient -> Prop ;
HaveInfluenza : Patient -> Prop ;
HaveRheumatism : Patient -> Prop ;
HaveCystitis : Patient -> Prop ;
HaveAsthma : Patient -> Prop ;
HaveArthritis : Patient -> Prop ;
HaveDiabetes : Patient -> Prop ;
HaveTonsillitis : Patient -> Prop ;
HaveConstipation : Patient -> Prop ;
HaveMalaria : Patient -> Prop ;
HaveDiarrhea : Patient -> Prop ;
HaveSkinAllergy : Patient -> Prop ;
NeedDoctor : Patient -> Specialization -> Prop ;
NeedMedicine : Patient -> Medicine -> Prop ;
TakeMedicine : Patient -> Medicine -> Prop ;
@@ -26,18 +39,18 @@ fun
IPatientHe : Patient ;
IPatientShe : Patient ;
Influenza : Illness ;
Malaria : Illness ;
Diarrhea : Illness ;
SkinAllergy : Illness ;
Heartburn : Illness ;
Rheumatism : Illness ;
Cystitis : Illness ;
Asthma : Illness ;
Arthritis : Illness ;
Diabetes : Illness ;
Tonsillitis : Illness ;
Constipation : Illness ;
-- Influenza : Illness ;
-- Malaria : Illness ;
-- Diarrhea : Illness ;
-- SkinAllergy : Illness ;
-- Heartburn : Illness ;
-- Rheumatism : Illness ;
-- Cystitis : Illness ;
-- Asthma : Illness ;
-- Arthritis : Illness ;
-- Diabetes : Illness ;
-- Tonsillitis : Illness ;
-- Constipation : Illness ;
Dentist : Specialization ;
Gynecologist : Specialization ;