Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
termFormat
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 122-130
If
an entity
is an
instance
of
OrganismRemains
and
a process
is an
instance
of
death
and
an agent
experience
s
the process
and
the agent
is an
instance
of
the agent
TYPE and
the agent
TYPE is a
subclass
of
organic object
and
the entity
is a
result
of
the process
,
then
the entity
is an
instance
of
DeadFn
the agent
TYPE
(=>
(
and
(
instance
?H
Harvesting
)
(
result
?H ?O))
(
exists
(?ORG)
(
and
(
instance
?O
(
DeadFn
?ORG))
(
subclass
?ORG
OrganicObject
))))
Mid-level-ontology.kif 19641-19649
If
a process
is an
instance
of
Harvesting
and
an entity
is a
result
of
the process
,
then there exists
the entity
RG such that
the entity
is an
instance
of
DeadFn
the entity
RG and
the entity
RG is a
subclass
of
organic object
(
subclass
OrganicObject
CorpuscularObject
)
Merge.kif 14521-14521
Organic object
is a
subclass
of
corpuscular object
(
subclass
OrganicObject
OrganicThing
)
Merge.kif 14522-14522
Organic object
is a
subclass
of
OrganicThing
(
subclass
Nucleotide
OrganicObject
)
VirusProteinAndCellPart.kif 51-51
Nucleotide
is a
subclass
of
organic object
(
subclass
Biopolymer
OrganicObject
)
VirusProteinAndCellPart.kif 85-85
Biopolymer
is a
subclass
of
organic object
(
subclass
Gene
OrganicObject
)
VirusProteinAndCellPart.kif 647-647
Gene
is a
subclass
of
organic object
(
subclass
OrganismRemains
OrganicObject
)
Mid-level-ontology.kif 28-28
OrganismRemains
is a
subclass
of
organic object
(
subclass
Organism
OrganicObject
)
Merge.kif 14529-14529
Organism
is a
subclass
of
organic object
(
subclass
AnatomicalStructure
OrganicObject
)
Merge.kif 15088-15088
Anatomical structure
is a
subclass
of
organic object
(
subclass
Miswak
OrganicObject
)
ArabicCulture.kif 351-351
Miswak
is a
subclass
of
organic object
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
