deathplace |
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 24349-24352 | |
(domain deathplace 1 Animal) | Mid-level-ontology.kif 24354-24354 | Die Zahl 1 Argument von deathplace ist ein fall von Animal %n{nicht} |
(domain deathplace 2 Object) | Mid-level-ontology.kif 24355-24355 | Die Zahl 2 Argument von deathplace ist ein fall von Object %n{nicht} |
(instance deathplace BinaryPredicate) | Mid-level-ontology.kif 24353-24353 | deathplace ist ein fall von BinaryPredicate %n{nicht} |
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 18768-18768 | |
(termFormat ChineseTraditionalLanguage deathplace "死亡場所") | domainEnglishFormat.kif 18767-18767 | |
(termFormat EnglishLanguage deathplace "deathplace") | domainEnglishFormat.kif 18766-18766 |
antecedent |
(=> (deathplace ?P ?L) (exists (?D) (and (instance ?D Death) (experiencer ?D ?P) (eventLocated ?D ?L)))) |
Mid-level-ontology.kif 24357-24363 |
|
consequent |