Term Intersection
: 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
Term 1:
Term 2:
(=>
(
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
(=>
(
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
(
subclass
OrganicObject
CorpuscularObject
)
Merge.kif 14346-14346
有機物
は
微粒子オブジェクト
の
subclass
では %n
(
subclass
OrganicObject
OrganicThing
)
Merge.kif 14347-14347
有機物
は
OrganicThing
の
subclass
では %n
(
subclass
Nucleotide
OrganicObject
)
VirusProteinAndCellPart.kif 50-50
Nucleotide
は
有機物
の
subclass
では %n
(
subclass
Biopolymer
OrganicObject
)
VirusProteinAndCellPart.kif 82-82
Biopolymer
は
有機物
の
subclass
では %n
(
subclass
Gene
OrganicObject
)
VirusProteinAndCellPart.kif 641-641
Gene
は
有機物
の
subclass
では %n
(
subclass
OrganismRemains
OrganicObject
)
Mid-level-ontology.kif 28-28
OrganismRemains
は
有機物
の
subclass
では %n
(
subclass
Organism
OrganicObject
)
Merge.kif 14354-14354
物
は
有機物
の
subclass
では %n
(
subclass
AnatomicalStructure
OrganicObject
)
Merge.kif 14913-14913
解剖学的構造
は
有機物
の
subclass
では %n
(
subclass
Miswak
OrganicObject
)
ArabicCulture.kif 351-351
Miswak
は
有機物
の
subclass
では %n
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