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 24291-24294
(
domain
deathplace
1
Animal
)
Mid-level-ontology.kif 24296-24296
Il numero 1 argomenti di
deathplace
è un
istanza
di
Animale
(
domain
deathplace
2
Object
)
Mid-level-ontology.kif 24297-24297
Il numero 2 argomenti di
deathplace
è un
istanza
di
Oggetto
(
instance
deathplace
BinaryPredicate
)
Mid-level-ontology.kif 24295-24295
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 24299-24305
deathplace
Animale
and
Oggetto
Processo
Processo
è un'
istanza
di
Morte
Animale
esperisce
s
Processo
eventLocated
Processo
and
Oggetto
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
ContentBearingPhysical
è un'
istanza
di
DeathCertificate
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entit�
,
Entit�
and
Entit�
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY è un'
istanza
di
Giorno
deathplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
Name
Entit�
ROC
causa
s
Processo
Entit�
ROC è un'
istanza
di
Processo
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