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
DeadFn
の数値 1 引数は
有機物
の
subclass
では %n
(
instance
DeadFn
UnaryFunction
)
Mid-level-ontology.kif 114-114
DeadFn
は
1変数関数
の
instance
では %n
(
rangeSubclass
DeadFn
OrganismRemains
)
Mid-level-ontology.kif 116-116
DeadFn
が返す値は
OrganismRemains
の
subclasses
では %n
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
は
DeadFn
に
internally
関連して %n
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 20036-20036
Fodder
は
DeadFn
に
internally
関連して %n
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
は
DeadFn
に
internally
関連して %n
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4186-4186
Produce
は
DeadFn
に
internally
関連して %n
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6407-6407
SheddingPart
は
DeadFn
に
internally
関連して %n
(
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
エンティティー
は
DeadFn
有機物
の
instance
では %n
工程
は
死
の
instance
では %n
エンティティー
は
工程
の
result
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
有機物
の
instance
では %n
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4035-4040
エンティティー
は
DeadFn
CerealGrain
の
instance
では %n
自己接続オブジェクト
エンティティー
は
自己接続オブジェクト
の
instance
では %n
自己接続オブジェクト
は
FoodForFn
動物
と
equal
では %n
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4031-4033
エンティティー
は
DeadFn
CerealGrass
の
instance
では %n
エンティティー
は
Grain
の
instance
では %n
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4055-4057
エンティティー
は
DeadFn
WheatGrass
の
instance
では %n
エンティティー
は
WheatGrain
の
instance
では %n
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
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
オブジェクト
オブジェクト
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
有機物
の
instance
では %n
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5485-5493
工程
は
Felling
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
TEM
エンティティー
は
DeadFn
エンティティー
TEM の
instance
では %n
エンティティー
TEM は
PlantStem
の
subclass
では %n
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 18084-18092
工程
は
Harvesting
の
instance
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
RG
エンティティー
は
DeadFn
エンティティー
RG の
instance
では %n
エンティティー
RG は
有機物
の
subclass
では %n
(=>
(
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
エンティティー
は
SheddingPart
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
RG の
instance
では %n
エンティティー
RG は
物
の
subclass
では %n
エンティティー
ART
エンティティー
は
DeadFn
エンティティー
ART の
instance
では %n
initialPart
エンティティー
ART and
エンティティー
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
エンティティー
は
OrganismRemains
の
instance
では %n
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
は
AutonomousAgent
TYPE の
instance
では %n
AutonomousAgent
TYPE は
有機物
の
subclass
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
DeadFn
AutonomousAgent
TYPE の
instance
では %n
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1909-1915
オブジェクト
は
肉
の
instance
では %n
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
有機物
は
動物
の
subclass
では %n
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3377-3383
オブジェクト
は
Seafood
の
instance
では %n
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
有機物
は
魚
の
subclass
では %n
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4365-4372
オブジェクト
は
Spice
の
instance
では %n
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
有機物
は
PlantAnatomicalStructure
の
subclass
では %n
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
オブジェクト
は
FoodFromPlant
の
instance
では %n
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
有機物
は
植物
の
subclass
では %n
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
エンティティー
は
HumanCorpse
の
instance
では %n
エンティティー
は
DeadFn
人[人間]
の
instance
では %n
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