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
The number 1 argument of
Dead fn
is a
subclass
of
organic object
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 114-114
Dead fn
is an
instance
of
unary function
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
The values returned by
Dead fn
are
subclasses
of
organism remains
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
Dead or missing body part fn
is
internally
related to
Dead fn
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20036-20036
Fodder
is
internally
related to
Dead fn
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
Organic object fn
is
internally
related to
Dead fn
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
Produce
is
internally
related to
Dead fn
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
Shedding part
is
internally
related to
Dead fn
(
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
If
an entity
is an
instance
of a
dead
a kind of organic object
and
a process
is an
instance
of
death
and
the entity
is a
result
of
the process
and
an agent
experience
s
the process
,
then
the agent
is an
instance
of
a kind of organic object
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
If
an entity
is an
instance
of a
dead
cereal grain
,
then there exists
a kind of self connected object
such that
the entity
is an
instance
of
a kind of self connected object
and
the kind of self connected object
is
equal
to
food
for
animal
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
If
an entity
is an
instance
of a
dead
cereal grass plant
,
then
the entity
is an
instance
of
grain
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
If
an entity
is an
instance
of a
dead
wheat grass
,
then
the entity
is an
instance
of
wheat grain
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
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the other object
is a
part
of
the third object
and
the third object
is an
instance
of
the kind of organic object
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
If
a process
is an
instance
of
felling
and
an entity
is a
result
of
the process
,
then there exists
the entity
TEM such that
the entity
is an
instance
of a
dead
the entity
TEM and
the entity
TEM is a
subclass
of
plant stem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
If
a process
is an
instance
of
harvesting
and
an entity
is a
result
of
the process
,
then there exists
the entity
RG such that
the entity
is an
instance
of a
dead
the entity
RG and
the entity
RG is a
subclass
of
organic object
(=>
(
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
If
an entity
is an
instance
of
shedding part
and
the entity
another entity
and
a third entity
and
the other entity
is an
instance
of
the other entity
RG and
the other entity
RG is a
subclass
of
organism
,
then there exists
the third entity
ART such that
the third entity
is an
instance
of a
dead
the third entity
ART and every
the third entity
ART is
initially
part
of a
the other entity
RG
(=>
(
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
If
an entity
is an
instance
of
organism remains
and
a process
is an
instance
of
death
and
an agent
experience
s
the process
and
the agent
is an
instance
of
the agent
TYPE and
the agent
TYPE is a
subclass
of
organic object
and
the entity
is a
result
of
the process
,
then
the entity
is an
instance
of a
dead
the agent
TYPE
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
If
an object
is an
instance
of
meat
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
animal
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
If
an object
is an
instance
of
seafood
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
fish
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
If
an object
is an
instance
of
spice
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
plant anatomical structure
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
If
an object
is an
instance
of
food from plant
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
plant
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
If
an entity
is an
instance
of
human corpse
,
then
the entity
is an
instance
of a
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