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 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
If
an object
is a
deathplace
of
an animal
,
then there exists
a process
such that
the process
is an
instance
of
death
and
the animal
experience
s
the process
and
the process
is
located
at
the object
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
If
a content bearing physical
is an
instance
of
DeathCertificate
and
a process
is an
instance
of
death
and
an agent
is an
instance
of
human
and
the agent
experience
s
the process
,
then
the content bearing physical
contains the formula there exist
the process
AY,
another entity
,, ,
a third entity
and
the other entity
ROC such that
the process
AY is a
deathdate
of
the agent
and
the process
AY is an
instance
of
day
and
the other entity
is a
deathplace
of
the agent
and
the other entity
is an
instance
of
geographic area
and
the third entity
express
es
the agent
and
the third entity
is an
instance
of
name
and
the other entity
ROC
cause
s
the process
and
the other entity
ROC is an
instance
of
process
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