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
Le nombre 1 argument de
DeadFn
est une
sous
-classe de
objet organique
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 114-114
DeadFn
est une
instance
de
function unaire
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
Les valeurs retourn�es par
DeadFn
sont des
sous
-classes de
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 18260-18260
DeadOrMissingBodyPartFn
est
reli
� � l'int�rieur de SUMO �
DeadFn
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20035-20035
Fodder
est
reli
� � l'int�rieur de SUMO �
DeadFn
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
est
reli
� � l'int�rieur de SUMO �
DeadFn
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
Produce
est
reli
� � l'int�rieur de SUMO �
DeadFn
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
SheddingPart
est
reli
� � l'int�rieur de SUMO �
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
Entit�
est une
instance
de
DeadFn
objet organique
processus
est une
instance
de
mort
entit�
est le
resultat
de
processus
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
objet organique
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Entit�
est une
instance
de
DeadFn
CerealGrain
objet en une partie
entit�
est une
instance
de
objet en une partie
objet en une partie
est
FoodForFn
animal
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
Entit�
est une
instance
de
DeadFn
CerealGrass
entit�
est une
instance
de
Grain
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
Entit�
est une
instance
de
DeadFn
WheatGrass
entit�
est une
instance
de
WheatGrain
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
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet
objet
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet
est une
instance
de
objet organique
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Processus
est une
instance
de
Felling
entit�
est le
resultat
de
processus
entit�
TEM
entit�
est une
instance
de
DeadFn
entit�
TEM
entit�
TEM est une
sous
-classe de
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18083-18091
Processus
est une
instance
de
Harvesting
entit�
est le
resultat
de
processus
entit�
RG
entit�
est une
instance
de
DeadFn
entit�
RG
entit�
RG est une
sous
-classe de
objet organique
(=>
(
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
Entit�
est une
instance
de
SheddingPart
entit�
entit�
and
entit�
entit�
est une
instance
de
entit�
RG
entit�
RG est une
sous
-classe de
organisme
entit�
ART
entit�
est une
instance
de
DeadFn
entit�
ART
initialPart
entit�
ART and
entit�
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
Entit�
est une
instance
de
OrganismRemains
processus
est une
instance
de
mort
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE est une
sous
-classe de
objet organique
entit�
est le
resultat
de
processus
entit�
est une
instance
de
DeadFn
AutonomousAgent
TYPE
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
Objet
est une
instance
de
viande
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
animal
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
Objet
est une
instance
de
Seafood
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
poisson
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
Objet
est une
instance
de
Spice
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
PlantAnatomicalStructure
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
Objet
est une
instance
de
FoodFromPlant
objet
objet organique
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet organique
est une
sous
-classe de
plante
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
Entit�
est une
instance
de
HumanCorpse
entit�
est une
instance
de
DeadFn
humain
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