TreeView 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 23649-23652
(domain deathplace 1 Animal)	Mid-level-ontology.kif 23654-23654
(domain deathplace 2 Object)	Mid-level-ontology.kif 23655-23655
(instance deathplace BinaryPredicate)	Mid-level-ontology.kif 23653-23653

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 18759-18759
(termFormat ChineseTraditionalLanguage deathplace "死亡場所")	domainEnglishFormat.kif 18758-18758
(termFormat EnglishLanguage deathplace "deathplace")	domainEnglishFormat.kif 18757-18757

antecedent

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

Mid-level-ontology.kif 23657-23663