Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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 236-238
(
domainSubclass
DeadFn
1
Organism
)
Mid-level-ontology.kif 234-234
The number 1 argument of
DeadFn
is a
subclass
of
organism
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 233-233
DeadFn
is an
instance
of
unary function
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 235-235
The values returned by
DeadFn
are
subclasses
of
OrganismRemains
appearance as argument number 2
(
format
ChineseLanguage
DeadFn
"一个 dead %1 ")
domainEnglishFormat.kif 3175-3175
(
format
ChineseTraditionalLanguage
DeadFn
"一個 dead %1 ")
domainEnglishFormat.kif 3174-3174
(
format
EnglishLanguage
DeadFn
"a dead %1")
domainEnglishFormat.kif 3173-3173
antecedent
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 241-247
If
an entity
is an
instance
of a
dead
a kind of organism
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 organism
consequent
(=>
(
and
(
instance
?REM
OrganicObject
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORG
Organism
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 250-258
If
an entity
is an
instance
of
organic object
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
is a
subclass
of
organism
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 255-261
If
an object
is an
instance
of
meat
,
then there exist
another object
and
a kind of organism
such that
the other object
is an
instance
of a
dead
a kind of organism
and
the object
is a
part
of
the other object
and
the kind of organism
is a
subclass
of
animal
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 819-825
If
an object
is an
instance
of
seafood
,
then there exist
another object
and
a kind of organism
such that
the other object
is an
instance
of a
dead
a kind of organism
and
the object
is a
part
of
the other object
and
the kind of organism
is a
subclass
of
fish
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 228-230
If
an entity
is an
instance
of
human corpse
,
then
the entity
is an
instance
of a
dead
human
statement
(
subclass
(
DeadFn
Apple
)
GroceryProduce
)
Economy.kif 3938-3938
A
dead
apple
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Avocado
)
GroceryProduce
)
Economy.kif 3964-3964
A
dead
avocado
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Banana
)
GroceryProduce
)
Economy.kif 3967-3967
A
dead
banana
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Berry
)
GroceryProduce
)
Economy.kif 3935-3935
A
dead
berry
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Breadfruit
)
GroceryProduce
)
Economy.kif 3970-3970
A
dead
breadfruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cabbage
)
GroceryProduce
)
Economy.kif 3843-3843
A
dead
cabbage
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Carrot
)
GroceryProduce
)
Economy.kif 3876-3876
A
dead
carrot
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cassava
)
GroceryProduce
)
Economy.kif 3896-3896
A
dead
cassava
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cauliflower
)
GroceryProduce
)
Economy.kif 3846-3846
A
dead
cauliflower
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
CitrusFruit
)
GroceryProduce
)
Economy.kif 3944-3944
A
dead
citrus fruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Coconut
)
GroceryProduce
)
Economy.kif 3973-3973
A
dead
coconut
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Cucumber
)
GroceryProduce
)
Economy.kif 3840-3840
A
dead
cucumber
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
DateFruit
)
GroceryProduce
)
Economy.kif 3976-3976
A
dead
date fruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
EdibleNut
)
GroceryProduce
)
Economy.kif 4019-4019
A
dead
edible nut
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Eggplant
)
GroceryProduce
)
Economy.kif 3849-3849
A
dead
eggplant
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Grape
)
GroceryProduce
)
Economy.kif 3927-3927
A
dead
grape
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Groundnut
)
GroceryProduce
)
Economy.kif 4033-4033
A
dead
groundnut
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
LeafyGreenVegetable
)
GroceryProduce
)
Economy.kif 3837-3837
A
dead
leafy green vegetable
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Mango
)
GroceryProduce
)
Economy.kif 3979-3979
A
dead
mango
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Melon
)
GroceryProduce
)
Economy.kif 3930-3930
A
dead
melon
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Olive
)
GroceryProduce
)
Economy.kif 3941-3941
A
dead
olive
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Papaw
)
GroceryProduce
)
Economy.kif 3982-3982
A
dead
papaw
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Papaya
)
GroceryProduce
)
Economy.kif 3987-3987
A
dead
papaya
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
PassionFruit
)
GroceryProduce
)
Economy.kif 3990-3990
A
dead
passion fruit
is a
subclass
of
grocery produce
(
subclass
(
DeadFn
Peanut
)
GroceryProduce
)
Economy.kif 4030-4030
A
dead
peanut
is a
subclass
of
grocery produce
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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