(=>
(and
(instance ?TEXT BirthCertificate)
(instance ?B Birth)
(instance ?A Human)
(experiencer ?B ?A))
(containsFormula ?TEXT
(exists (?DAY ?P ?N)
(and
(birthdate ?A ?DAY)
(instance ?DAY Day)
(birthplace ?A ?P)
(instance ?P GeographicArea)
(represents ?N ?A)
(instance ?N Name))))) |
Biography.kif 256-270 |
If X is an instance of birth certificate, Y is an instance of birth, 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 (2) U such that W is a birthdate of Z (3) W is an instance of day (4) V is a birthplace of Z (5) V is an instance of geographic area (6) U expresses Z (7) U is an instance of name |
