(=>
(and
(instance ?TEXT DeathCertificate)
(instance ?D Death)
(instance ?A Human)
(experiencer ?D ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N ?PROC)
(and
(deathdate ?A ?DAY)
(instance ?DAY Day)
(deathplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name)
(causes ?PROC ?D)
(instance ?PROC Process))))) |
Biography.kif 287-303 |
If X is an instance of death certificate, Y is an instance of death, Z is an instance of human, and Z experiences Y, then All of the following hold: (1) X contains the formula there exist W, V,, , U (2) T such that W is a deathdate of Z (3) W is an instance of day (4) V is a deathplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name (8) T causes Y (9) T is an instance of process |
