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
SecondaryMarketFinancing
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.")
Merge.kif 18556-18558
(
domainSubclass
DeadFn
1
OrganicObject
)
Merge.kif 18554-18554
O argumento numero 1 de
DeadFn
e' uma
sub
-classe de
Objeto Organico
(
instance
DeadFn
UnaryFunction
)
Merge.kif 18553-18553
DeadFn
e' uma
instancia
de
funcao Unaria
(
rangeSubclass
DeadFn
OrganismRemains
)
Merge.kif 18555-18555
Os valores retornados por
DeadFn
sao as
sub
-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 18317-18317
DeadOrMissingBodyPartFn
e'
relacionado
internamente por SUMO a
DeadFn
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20063-20063
Fodder
e'
relacionado
internamente por SUMO a
DeadFn
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
e'
relacionado
internamente por SUMO a
DeadFn
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
Produce
e'
relacionado
internamente por SUMO a
DeadFn
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
SheddingPart
e'
relacionado
internamente por SUMO a
DeadFn
(
termFormat
EnglishLanguage
DeadFn
"Dead fn")
domainEnglishFormat.kif 64747-64747
antecedent
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 114-120
Entidade
e' uma
instancia
de
DeadFn
Objeto Organico
Processo
e' uma
instancia
de
Morte
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Objeto Organico
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
Entidade
e' uma
instancia
de
DeadFn
CerealGrain
Objeto auto-conectado
Entidade
e' uma
instancia
de
Objeto auto-conectado
Objeto auto-conectado
e'
igual
a
FoodForFn
Animal
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
Entidade
e' uma
instancia
de
DeadFn
CerealGrass
Entidade
e' uma
instancia
de
Grain
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
Entidade
e' uma
instancia
de
DeadFn
WheatGrass
Entidade
e' uma
instancia
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
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto Organico
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
Processo
e' uma
instancia
de
Felling
Entidade
e' o
resultado
de
Processo
Entidade
TEM
Entidade
e' uma
instancia
de
DeadFn
Entidade
TEM
Entidade
TEM e' uma
sub
-classe de
PlantStem
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18111-18119
Processo
e' uma
instancia
de
Harvesting
Entidade
e' o
resultado
de
Processo
Entidade
RG
Entidade
e' uma
instancia
de
DeadFn
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Objeto Organico
(=>
(
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
Entidade
e' uma
instancia
de
SheddingPart
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Organismo
Entidade
ART
Entidade
e' uma
instancia
de
DeadFn
Entidade
ART
initialPart
Entidade
ART and
Entidade
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 122-130
Entidade
e' uma
instancia
de
OrganismRemains
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE e' uma
sub
-classe de
Objeto Organico
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
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
Objeto
e' uma
instancia
de
Carne
Objeto
Objeto Organico
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto Organico
e' uma
sub
-classe de
Animal
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
Objeto
e' uma
instancia
de
Seafood
Objeto
Objeto Organico
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto Organico
e' uma
sub
-classe de
Peixe
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
Objeto
e' uma
instancia
de
Spice
Objeto
Objeto Organico
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto Organico
e' uma
sub
-classe de
PlantAnatomicalStructure
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
Objeto
e' uma
instancia
de
FoodFromPlant
Objeto
Objeto Organico
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto Organico
e' uma
sub
-classe de
Planta
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
Entidade
e' uma
instancia
de
HumanCorpse
Entidade
e' uma
instancia
de
DeadFn
Humano
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