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
Die Zahl 1 Argument von
DeadFn
ist eine
teilkategorie
von
OrganicObject
%n{nicht}
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 114-114
DeadFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
Die werte die
DeadFn
zurueckgibt sind
teilkategorien
von
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
ist innerlich verwandt mit
DeadFn
%n{nicht}
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20036-20036
Fodder
ist innerlich verwandt mit
DeadFn
%n{nicht}
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
ist innerlich verwandt mit
DeadFn
%n{nicht}
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
Produce
ist innerlich verwandt mit
DeadFn
%n{nicht}
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
SheddingPart
ist innerlich verwandt mit
DeadFn
%n{nicht}
(
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
Wenn
Entity
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
Process
ist ein
fall
von
Death
%n{nicht} und
** Entity
ist ein
resultat
von
** Process
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann
** AutonomousAgent
ist ein
fall
von
** OrganicObject
%n{nicht}
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Wenn
Entity
ist ein
fall
von
DeadFn
CerealGrain
%n{nicht},
dann es gibt
** SelfConnectedObject
um
** Entity
ist ein
fall
von
** SelfConnectedObject
%n{nicht} und
** ** SelfConnectedObject
ist gleich
FoodForFn
Animal
%n{nicht}
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
Wenn
Entity
ist ein
fall
von
DeadFn
CerealGrass
%n{nicht},
dann
** Entity
ist ein
fall
von
Grain
%n{nicht}
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
Wenn
Entity
ist ein
fall
von
DeadFn
WheatGrass
%n{nicht},
dann
** Entity
ist ein
fall
von
WheatGrain
%n{nicht}
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
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Object
,
dann es gibt
** Object
und
** Object
um
** ** Object
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
** ** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ** OrganicObject
%n{nicht}
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Wenn
Process
ist ein
fall
von
Felling
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Entity
TEM um
** Entity
ist ein
fall
von
DeadFn
** Entity
TEM %n{nicht} und
** Entity
TEM ist eine
teilkategorie
von
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
Wenn
Process
ist ein
fall
von
Harvesting
%n{nicht} und
Entity
ist ein
resultat
von
** Process
%n{nicht},
dann es gibt
** Entity
RG um
** Entity
ist ein
fall
von
DeadFn
** Entity
RG %n{nicht} und
** Entity
RG ist eine
teilkategorie
von
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
Wenn
Entity
ist ein
fall
von
SheddingPart
%n{nicht} und
** Entity
** Entity
and
** Entity
und
** ** Entity
ist ein
fall
von
** ** Entity
RG %n{nicht} und
** ** Entity
RG ist eine
teilkategorie
von
Organism
,
dann es gibt
** ** Entity
ART um
** ** Entity
ist ein
fall
von
DeadFn
** ** Entity
ART %n{nicht} und
initialPart
** ** Entity
ART and
** ** 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
Wenn
Entity
ist ein
fall
von
OrganismRemains
%n{nicht} und
Process
ist ein
fall
von
Death
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
** AutonomousAgent
TYPE %n{nicht} und
** AutonomousAgent
TYPE ist eine
teilkategorie
von
OrganicObject
und
** Entity
ist ein
resultat
von
** Process
%n{nicht},
dann
** Entity
ist ein
fall
von
DeadFn
** AutonomousAgent
TYPE %n{nicht}
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Wenn
Object
ist ein
fall
von
Meat
%n{nicht},
dann es gibt
** Object
und
** OrganicObject
um
** ** Object
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** OrganicObject
ist eine
teilkategorie
von
Animal
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
Wenn
Object
ist ein
fall
von
Seafood
%n{nicht},
dann es gibt
** Object
und
** OrganicObject
um
** ** Object
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** OrganicObject
ist eine
teilkategorie
von
Fish
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
Wenn
Object
ist ein
fall
von
Spice
%n{nicht},
dann es gibt
** Object
und
** OrganicObject
um
** ** Object
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** OrganicObject
ist eine
teilkategorie
von
PlantAnatomicalStructure
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
Wenn
Object
ist ein
fall
von
FoodFromPlant
%n{nicht},
dann es gibt
** Object
und
** OrganicObject
um
** ** Object
ist ein
fall
von
DeadFn
** OrganicObject
%n{nicht} und
** Object
ist ein
teil
von
** ** Object
%n{nicht} und
** ** OrganicObject
ist eine
teilkategorie
von
Plant
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
Wenn
Entity
ist ein
fall
von
HumanCorpse
%n{nicht},
dann
** Entity
ist ein
fall
von
DeadFn
Human
%n{nicht}
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