Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DeathCertificate(death certificate) |
| appearance as argument number 1 |
|
| (subclass DeathCertificate Certificate) | Biography.kif 272-272 | Death certificate is a subclass of certificate |
| (documentation DeathCertificate EnglishLanguage "A DeathCertificate is a Text which documents the Death of a person.") | Biography.kif 274-275 | Death certificate is a subclass of certificate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DeathCertificate "death certificate") | Biography.kif 273-273 |
| antecedent |
|
|
| (=> (instance ?TEXT DeathCertificate) (hasPurpose ?TEXT (exists (?D ?A) (and (instance ?D Death) (instance ?A Human) (experiencer ?D ?A) (represents ?TEXT ?D))))) |
Biography.kif 277-285 | If X is an instance of death certificate, then X has the purpose there exist Y, Z such that Y is an instance of death, Z is an instance of human, Z experiences Y, and X expresses Y |
| (=> (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 |
|