DeathCertificate
|
|
appearance as argument number 1 |
(documentation DeathCertificate EnglishLanguage "A DeathCertificate is a Text which documents the Death of a person.") | Biography.kif 267-268 | |
(subclass DeathCertificate Certificate) | Biography.kif 266-266 | 子類 DeathCertificate and Certificate |
antecedent |
(=> (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 280-296 |
|
(=> (instance ?TEXT DeathCertificate) (hasPurpose ?TEXT (exists (?D ?A) (and (instance ?D Death) (instance ?A Human) (experiencer ?D ?A) (represents ?TEXT ?D))))) |
Biography.kif 270-278 |