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

Formal Language: 



KB Term:  Term intersection
English Word: 

  deathplace

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


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

Show without tree


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