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
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 233-233
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 235-235
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
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
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 255-261
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 819-825
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 228-230
statement
(
subclass
(
DeadFn
Apple
)
GroceryProduce
)
Economy.kif 3938-3938
(
subclass
(
DeadFn
Avocado
)
GroceryProduce
)
Economy.kif 3964-3964
(
subclass
(
DeadFn
Banana
)
GroceryProduce
)
Economy.kif 3967-3967
(
subclass
(
DeadFn
Berry
)
GroceryProduce
)
Economy.kif 3935-3935
(
subclass
(
DeadFn
Breadfruit
)
GroceryProduce
)
Economy.kif 3970-3970
(
subclass
(
DeadFn
Cabbage
)
GroceryProduce
)
Economy.kif 3843-3843
(
subclass
(
DeadFn
Carrot
)
GroceryProduce
)
Economy.kif 3876-3876
(
subclass
(
DeadFn
Cassava
)
GroceryProduce
)
Economy.kif 3896-3896
(
subclass
(
DeadFn
Cauliflower
)
GroceryProduce
)
Economy.kif 3846-3846
(
subclass
(
DeadFn
CitrusFruit
)
GroceryProduce
)
Economy.kif 3944-3944
(
subclass
(
DeadFn
Coconut
)
GroceryProduce
)
Economy.kif 3973-3973
(
subclass
(
DeadFn
Cucumber
)
GroceryProduce
)
Economy.kif 3840-3840
(
subclass
(
DeadFn
DateFruit
)
GroceryProduce
)
Economy.kif 3976-3976
(
subclass
(
DeadFn
EdibleNut
)
GroceryProduce
)
Economy.kif 4019-4019
(
subclass
(
DeadFn
Eggplant
)
GroceryProduce
)
Economy.kif 3849-3849
(
subclass
(
DeadFn
Grape
)
GroceryProduce
)
Economy.kif 3927-3927
(
subclass
(
DeadFn
Groundnut
)
GroceryProduce
)
Economy.kif 4033-4033
(
subclass
(
DeadFn
LeafyGreenVegetable
)
GroceryProduce
)
Economy.kif 3837-3837
(
subclass
(
DeadFn
Mango
)
GroceryProduce
)
Economy.kif 3979-3979
(
subclass
(
DeadFn
Melon
)
GroceryProduce
)
Economy.kif 3930-3930
(
subclass
(
DeadFn
Olive
)
GroceryProduce
)
Economy.kif 3941-3941
(
subclass
(
DeadFn
Papaw
)
GroceryProduce
)
Economy.kif 3982-3982
(
subclass
(
DeadFn
Papaya
)
GroceryProduce
)
Economy.kif 3987-3987
(
subclass
(
DeadFn
PassionFruit
)
GroceryProduce
)
Economy.kif 3990-3990
(
subclass
(
DeadFn
Peanut
)
GroceryProduce
)
Economy.kif 4030-4030
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