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
Le nombre 1 argument de
deathplace
est une
instance
de
animal
(
domain
deathplace
2
Object
)
Mid-level-ontology.kif 24355-24355
Le nombre 2 argument de
deathplace
est une
instance
de
objet
(
instance
deathplace
BinaryPredicate
)
Mid-level-ontology.kif 24353-24353
deathplace
est une
instance
de
pr�dicat binaire
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
deathplace
animal
and
objet
processus
processus
est une
instance
de
mort
animal
exp
�rimente
processus
eventLocated
processus
and
objet
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
est une
instance
de
DeathCertificate
processus
est une
instance
de
mort
AutonomousAgent
est une
instance
de
humain
AutonomousAgent
exp
�rimente
processus
containsFormula
ContentBearingPhysical
and
processus
AY
entit�
,
entit�
and
entit�
ROC
deathdate
AutonomousAgent
and
processus
AY
processus
AY est une
instance
de
jour
deathplace
AutonomousAgent
and
entit�
entit�
est une
instance
de
secteur g�ographique
entit�
d
�finie
AutonomousAgent
entit�
est une
instance
de
Name
entit�
ROC
cause
processus
entit�
ROC est une
instance
de
processus
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