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 and
OrganicObject
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 114-114
例
DeadFn
and
UnaryFunction
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
範圍子類
DeadFn
and
OrganismRemains
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
and
DeadFn
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20036-20036
相關的內部概念
飼料
and
DeadFn
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
相關的內部概念
OrganicObjectFn
and
DeadFn
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
相關的內部概念
農産品
and
DeadFn
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
相關的內部概念
SheddingPart
and
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
例
Entity
and 一個
dead
OrganicObject
例
Process
and
Death
結果
Process
and
Entity
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
OrganicObject
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
例
Entity
and 一個
dead
穀物
SelfConnectedObject
例
Entity
and
SelfConnectedObject
等於
SelfConnectedObject
and
food
for
Animal
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
例
Entity
and 一個
dead
穀物草
例
Entity
and
Grain
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
例
Entity
and 一個
dead
WheatGrass
例
Entity
and
小麥籽粒
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
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Object
Object
Object
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
例
Object
and
OrganicObject
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
例
Process
and
砍伐
結果
Process
and
Entity
Entity
TEM
例
Entity
and 一個
dead
Entity
TEM
子類
Entity
TEM and
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
例
Process
and
收穫
結果
Process
and
Entity
Entity
RG
例
Entity
and 一個
dead
Entity
RG
子類
Entity
RG and
OrganicObject
(=>
(
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
例
Entity
and
SheddingPart
Entity
Entity
and
Entity
例
Entity
and
Entity
RG
子類
Entity
RG and
Organism
Entity
ART
例
Entity
and 一個
dead
Entity
ART %每個
Entity
ART 是
Entity
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
例
Entity
and
OrganismRemains
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
TYPE
子類
AutonomousAgent
TYPE and
OrganicObject
結果
Process
and
Entity
例
Entity
and 一個
dead
AutonomousAgent
TYPE
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
例
Object
and
Meat
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
Animal
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
例
Object
and
海鮮
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
Fish
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
例
Object
and
香料
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
植物解剖結構
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
例
Object
and
FoodFromPlant
Object
OrganicObject
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
子類
OrganicObject
and
Plant
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
例
Entity
and
人類的屍體
例
Entity
and 一個
dead
Human
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