Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 24349-24352
(
domain
deathplace
1
Animal
)
Mid-level-ontology.kif 24354-24354
(
domain
deathplace
2
Object
)
Mid-level-ontology.kif 24355-24355
(
instance
deathplace
BinaryPredicate
)
Mid-level-ontology.kif 24353-24353
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
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