Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - deathplace
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 24292-24295
(domain deathplace 1 Animal) Mid-level-ontology.kif 24297-24297 The number 1 argument of deathplace is an instance of animal
(domain deathplace 2 Object) Mid-level-ontology.kif 24298-24298 The number 2 argument of deathplace is an instance of object
(instance deathplace BinaryPredicate) Mid-level-ontology.kif 24296-24296 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 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 24300-24306

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners