Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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.")
Merge.kif 18665-18667
(
domainSubclass
DeadFn
1
OrganicObject
)
Merge.kif 18663-18663
DeadFn
の数値 1 引数は
有機物
の
subclass
では
(
instance
DeadFn
UnaryFunction
)
Merge.kif 18662-18662
DeadFn
は
1変数関数
の
instance
では
(
rangeSubclass
DeadFn
OrganismRemains
)
Merge.kif 18664-18664
DeadFn
が返す値は
OrganismRemains
の
subclasses
では
appearance as argument number 2
(
format
ChineseLanguage
DeadFn
"一个
de
ad %1 ")
domainEnglishFormat.kif 3166-3166
(
format
ChineseTraditionalLanguage
DeadFn
"一個
de
ad %1 ")
domainEnglishFormat.kif 3165-3165
(
format
EnglishLanguage
DeadFn
"a
de
ad %1")
domainEnglishFormat.kif 3164-3164
(
relatedInternalConcept
DeadOrMissingBodyPartFn
DeadFn
)
Merge.kif 18425-18425
DeadOrMissingBodyPartFn
は
DeadFn
に
internally
関連して
(
relatedInternalConcept
Fodder
DeadFn
)
Mid-level-ontology.kif 21623-21623
Fodder
は
DeadFn
に
internally
関連して
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5589-5589
OrganicObjectFn
は
DeadFn
に
internally
関連して
(
relatedInternalConcept
Produce
DeadFn
)
Economy.kif 4523-4523
Produce
は
DeadFn
に
internally
関連して
(
relatedInternalConcept
SheddingPart
DeadFn
)
Geography.kif 6710-6710
SheddingPart
は
DeadFn
に
internally
関連して
(
termFormat
EnglishLanguage
DeadFn
"Dead fn")
domainEnglishFormat.kif 64739-64739
SheddingPart
は
DeadFn
に
internally
関連して
antecedent
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 114-120
エンティティー
は
DeadFn
有機物
の
instance
では
工程
は
死
の
instance
では
エンティティー
は
工程
の
result
では
AutonomousAgent
が
工程
を
experience
s
AutonomousAgent
は
有機物
の
instance
では
(=>
(
instance
?X
(
DeadFn
CerealGrain
))
(
exists
(?CLASS)
(
and
(
instance
?X ?CLASS)
(
equal
?CLASS
(
FoodForFn
Animal
)))))
Economy.kif 4372-4377
エンティティー
は
DeadFn
CerealGrain
の
instance
では
自己接続オブジェクト
エンティティー
は
自己接続オブジェクト
の
instance
では
equal
自己接続オブジェクト
and
FoodForFn
動物
(=>
(
instance
?X
(
DeadFn
CerealGrass
))
(
instance
?X
Grain
))
Economy.kif 4368-4370
エンティティー
は
DeadFn
CerealGrass
の
instance
では
エンティティー
は
Grain
の
instance
では
(=>
(
instance
?X
(
DeadFn
WheatGrass
))
(
instance
?X
WheatGrain
))
Economy.kif 4392-4394
エンティティー
は
DeadFn
WheatGrass
の
instance
では
エンティティー
は
WheatGrain
の
instance
では
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 5608-5617
equal
オブジェクト
and
OrganicObjectFn
有機物
オブジェクト
は
オブジェクト
の
subclass
では
オブジェクト
オブジェクト
オブジェクト
は
DeadFn
有機物
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
オブジェクト
は
有機物
の
instance
では
(=>
(
and
(
instance
?F
Felling
)
(
result
?F ?S))
(
exists
(?STEM)
(
and
(
instance
?S
(
DeadFn
?STEM))
(
subclass
?STEM
PlantStem
))))
Economy.kif 5827-5835
工程
は
Felling
の
instance
では
エンティティー
は
工程
の
result
では
エンティティー
TEM
エンティティー
は
DeadFn
エンティティー
TEM の
instance
では
エンティティー
TEM は
PlantStem
の
subclass
では
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 19655-19663
工程
は
Harvesting
の
instance
では
エンティティー
は
工程
の
result
では
エンティティー
RG
エンティティー
は
DeadFn
エンティティー
RG の
instance
では
エンティティー
RG は
有機物
の
subclass
では
(=>
(
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 6728-6737
エンティティー
は
SheddingPart
の
instance
では
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
RG の
instance
では
エンティティー
RG は
物
の
subclass
では
エンティティー
ART
エンティティー
は
DeadFn
エンティティー
ART の
instance
では
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 122-130
エンティティー
は
OrganismRemains
の
instance
では
工程
は
死
の
instance
では
AutonomousAgent
が
工程
を
experience
s
AutonomousAgent
は
AutonomousAgent
TYPE の
instance
では
AutonomousAgent
TYPE は
有機物
の
subclass
では
エンティティー
は
工程
の
result
では
エンティティー
は
DeadFn
AutonomousAgent
TYPE の
instance
では
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1915-1921
オブジェクト
は
肉
の
instance
では
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
有機物
は
動物
の
subclass
では
(=>
(
instance
?S
Seafood
)
(
exists
(?DA ?F)
(
and
(
instance
?DA
(
DeadFn
?F))
(
part
?S ?DA)
(
subclass
?F
Fish
))))
Food.kif 3384-3390
オブジェクト
は
Seafood
の
instance
では
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
有機物
は
魚
の
subclass
では
(=>
(
instance
?S
Spice
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?S ?P)
(
subclass
?CLASS
PlantAnatomicalStructure
))))
Economy.kif 4703-4710
オブジェクト
は
Spice
の
instance
では
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
有機物
は
PlantAnatomicalStructure
の
subclass
では
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
オブジェクト
は
FoodFromPlant
の
instance
では
オブジェクト
有機物
オブジェクト
は
DeadFn
有機物
の
instance
では
オブジェクト
は
オブジェクト
の
part
では
有機物
は
植物
の
subclass
では
(=>
(
instance
?X
HumanCorpse
)
(
instance
?X
(
DeadFn
Human
)))
Mid-level-ontology.kif 105-107
エンティティー
は
HumanCorpse
の
instance
では
エンティティー
は
DeadFn
人[人間]
の
instance
では
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