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
DeadFn
Sigma KEE - DeadFn
DeadFn
appearance as argument number 1
(
documentation
DeadFn
EnglishLanguage
"(
DeadFn
?ORGCLASS) denotes the
Class
of all remains that were once part of
Living
Organism
s of the type ?ORGCLASS.")
Mid-level-ontology.kif 117-119
(
domainSubclass
DeadFn
1
OrganicObject
)
Mid-level-ontology.kif 115-115
DeadFn
的 1 数量 是
有机物体
的
subclass
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 114-114
DeadFn
是
一元函数
的
instance
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
DeadFn
的所得值 是
OrganismRemains
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
DeadFn
"一个
de
ad %1 ")
domainEnglishFormat.kif 3170-3170
(
format
ChineseTraditionalLanguage
DeadFn
"一個
de
ad %1 ")
domainEnglishFormat.kif 3169-3169
(
format
EnglishLanguage
DeadFn
"a
de
ad %1")
domainEnglishFormat.kif 3168-3168
(
relatedInternalConcept
DeadOrMissingBodyPartFn
DeadFn
)
Merge.kif 18238-18238
DeadOrMissingBodyPartFn
和
DeadFn
是 内部相关
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20036-20036
饲料
和
DeadFn
是 内部相关
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
和
DeadFn
是 内部相关
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
农产品
和
DeadFn
是 内部相关
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
SheddingPart
和
DeadFn
是 内部相关
(
termFormat
EnglishLanguage
DeadFn
"Dead fn")
domainEnglishFormat.kif 64745-64745
antecedent
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 121-127
如果
实体
是 一个
dead
有点 有机物体
的
instance
和
过程
是
死亡
的
instance
和
那个 实体
是
那个 过程
的
result
和
施事体
经历了
那个 过程
,
然后
那个 施事体
是
有点 有机物体
的
instance
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
如果
实体
是 一个
dead
谷物
的
instance
,
然后 有存在
有点 自身连接物体
这样
那个 实体
是
有点 自身连接物体
的
instance
和
那个 有点 自身连接物体
equal
food
for
动物
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
如果
实体
是 一个
dead
谷物草
的
instance
,
然后
那个 实体
是
Grain
的
instance
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
如果
实体
是 一个
dead
WheatGrass
的
instance
,
然后
那个 实体
是
小麦籽粒
的
instance
consequent
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
客体
的
subclass
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 另外 客体
是
那个 第三 客体
的
part
和
那个 第三 客体
是
那个 有点 有机物体
的
instance
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
如果
过程
是
砍伐
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
TEM 这样
那个 实体
是 一个
dead
那个 实体
TEM 的
instance
和
那个 实体
TEM 是
PlantStem
的
subclass
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
如果
过程
是
收获
的
instance
和
实体
是
那个 过程
的
result
,
然后 有存在
那个 实体
RG 这样
那个 实体
是 一个
dead
那个 实体
RG 的
instance
和
那个 实体
RG 是
有机物体
的
subclass
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6425-6434
如果
实体
是
SheddingPart
的
instance
和
那个 实体
另一个 实体
and
第三 实体
和
那个 另外 实体
是
那个 另外 实体
RG 的
instance
和
那个 另外 实体
RG 是
生物
的
subclass
,
然后 有存在
那个 第三 实体
ART 这样
那个 第三 实体
是 一个
dead
那个 第三 实体
ART 的
instance
和 %每个
那个 第三 实体
ART 是
那个 另外 实体
RG 的
initially
part
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
如果
实体
是
OrganismRemains
的
instance
和
过程
是
死亡
的
instance
和
施事体
经历了
那个 过程
和
那个 施事体
是
那个 施事体
TYPE 的
instance
和
那个 施事体
TYPE 是
有机物体
的
subclass
和
那个 实体
是
那个 过程
的
result
,
然后
那个 实体
是 一个
dead
那个 施事体
TYPE 的
instance
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
如果
客体
是
meat
的
instance
,
然后 有存在
另一个 客体
和
有点 有机物体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 有点 有机物体
是
动物
的
subclass
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
如果
客体
是
海鲜
的
instance
,
然后 有存在
另一个 客体
和
有点 有机物体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 有点 有机物体
是
鱼
的
subclass
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
如果
客体
是
香料
的
instance
,
然后 有存在
另一个 客体
和
有点 有机物体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 有点 有机物体
是
植物解剖结构
的
subclass
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
如果
客体
是
FoodFromPlant
的
instance
,
然后 有存在
另一个 客体
和
有点 有机物体
这样
那个 另外 客体
是 一个
dead
有点 有机物体
的
instance
和
那个 客体
是
那个 另外 客体
的
part
和
那个 有点 有机物体
是
植物
的
subclass
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
如果
实体
是
人类的尸体
的
instance
,
然后
那个 实体
是 一个
dead
人类
的
instance
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