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
deathplace
の数値 1 引数は
動物
の
instance
では %n
(
domain
deathplace
2
Object
)
Mid-level-ontology.kif 24298-24298
deathplace
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
deathplace
BinaryPredicate
)
Mid-level-ontology.kif 24296-24296
deathplace
は
2進述語
の
instance
では %n
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
deathplace
動物
and
オブジェクト
工程
工程
は
死
の
instance
では %n
動物
が
工程
を
experience
s %n{ない}
eventLocated
工程
and
オブジェクト
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
は
DeathCertificate
の
instance
では %n
工程
は
死
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
containsFormula
ContentBearingPhysical
and
工程
AY
エンティティー
,
エンティティー
and
エンティティー
ROC
deathdate
AutonomousAgent
and
工程
AY
工程
AY は
日
の
instance
では %n
deathplace
AutonomousAgent
and
エンティティー
エンティティー
は
地理的地域
の
instance
では %n
エンティティー
は
AutonomousAgent
を
express
es %n{ない}
エンティティー
は
Name
の
instance
では %n
エンティティー
ROC は
工程
を
cause
s %n{ない}
エンティティー
ROC は
工程
の
instance
では %n
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