deathplace - Sigma Knowledge base Browser

antecedent

(=>
    (deathplace ?P ?L)
    (exists (?D)
        (and
            (instance ?D Death)
            (experiencer ?D ?P)
            (eventLocated ?D ?L))))

If X is a deathplace of Y, then there exists Z such that Z is an instance of death, Y experiences Z, and Z is located at X

consequent

(=>
    (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)))))

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

(documentation deathplace EnglishLanguage "(deathplace ?INDIV ?PLACE) means that the Animal ?INDIV died at the location ?PLACE. The location may be a geographic area or a building, such as a hospital.")	Mid-level-ontology.kif 26591-26594
(instance deathplace BinaryPredicate)	Mid-level-ontology.kif 26595-26595	deathplace is an instance of binary predicate
(domain deathplace 1 Animal)	Mid-level-ontology.kif 26596-26596	The number 1 argument of deathplace is an instance of animal
(domain deathplace 2 Object)	Mid-level-ontology.kif 26597-26597	The number 2 argument of deathplace is an instance of object

(format EnglishLanguage deathplace "%2 is %n a deathplace of %1")	domainEnglishFormat.kif 682-682
(format ChineseTraditionalLanguage deathplace "%2 %n 是 %1 的 deathplace ")	domainEnglishFormat.kif 683-683
(format ChineseLanguage deathplace "%2 %n 是 %1 的 deathplace ")	domainEnglishFormat.kif 684-684
(termFormat EnglishLanguage deathplace "deathplace")	domainEnglishFormat.kif 18768-18768
(termFormat ChineseTraditionalLanguage deathplace "死亡場所")	domainEnglishFormat.kif 18769-18769
(termFormat ChineseLanguage deathplace "死亡场所")	domainEnglishFormat.kif 18770-18770