deathplace - Sigma Knowledge base Browser

appearance as argument number 1

(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 25411-25414
(domain deathplace 1 Animal)	Mid-level-ontology.kif 25416-25416	The number 1 argument of deathplace is an instance of animal
(domain deathplace 2 Object)	Mid-level-ontology.kif 25417-25417	The number 2 argument of deathplace is an instance of object
(instance deathplace BinaryPredicate)	Mid-level-ontology.kif 25415-25415	deathplace is an instance of binary predicate

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 25419-25425

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

Biography.kif 280-296