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 | Il numero 1 argomenti di deathplace è un istanza di Animale |
(domain deathplace 2 Object) | Mid-level-ontology.kif 24355-24355 | Il numero 2 argomenti di deathplace è un istanza di Oggetto |
(instance deathplace BinaryPredicate) | Mid-level-ontology.kif 24353-24353 | deathplace è un' istanza di PredicatoBinario |
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 |
(=> (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 |
|