1
0
forked from GitHub/gf-core

*** empty log message ***

This commit is contained in:
janna
2004-02-01 08:15:41 +00:00
parent 46d5b33099
commit f63e213ec9
5 changed files with 21 additions and 2 deletions

View File

@@ -20,8 +20,11 @@ fun
Complain : Patient -> Symptom -> Prop ;
ShePatient : Patient ;
HePatient : Patient ;
WePatient : Patient ;
TheyPatient : Patient ;
IPatientHe : Patient ;
IPatientShe : Patient ;
Influenza : Illness ;
Malaria : Illness ;
@@ -68,8 +71,9 @@ fun
Arm : BodyPart ;
Back : BodyPart ;
Shoulder : BodyPart ;
-- Knee : BodyPart ;
-- Tooth : BodyPart ;
-- Knee : BodyPart ;
Fever : Symptom ;
-- Sickness: Symptom ;