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
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(=>
(
and
(
attribute
?G
ToxicandInfectiousSubstance
)
(
or
(
instance
?G
Substance
)
(
instance
?G
Microorganism
)))
(
exists
(?O ?P ?I ?CLASS)
(
and
(
or
(
instance
?O
Human
)
(
instance
?O
Animal
))
(
orientation
?G ?O
Near
)
(
or
(
instance
?P
Inhaling
)
(
instance
?P
Ingesting
)
(
instance
?P
Touching
))
(
agent
?P ?O)
(
patient
?P ?G)
(
causes
?P ?I)
(
patient
?I ?O)
(
instance
?I ?CLASS)
(
capability
?CLASS
resource
?G)
(
or
(
subclass
?CLASS
Injuring
)
(
subclass
?CLASS
Death
)))))
Transportation.kif 4203-4227
If
toxic and infectious substance
is an
attribute
of
an object
and
the object
is an
instance
of
substance
or
the object
is an
instance
of
microorganism
,
then there exist
an agent
,
a process
,, ,
another process
and
a third kind of process
such that
the agent
is an
instance
of
human
or
the agent
is an
instance
of
animal
and
the object
is
near
to
the agent
and
the process
is an
instance
of
inhaling
or
the process
is an
instance
of
ingesting
or
the process
is an
instance
of
touching
and
the agent
is an
agent
of
the process
and
the object
is a
patient
of
the process
and
the process
cause
s
the other process
and
the agent
is a
patient
of
the other process
and
the other process
is an
instance
of
a third kind of process
and
the object
is
capable
of doing
the third kind of process
as a
resource
and
the third kind of process
is a
subclass
of
injuring
or
the third kind of process
is a
subclass
of
death
(=>
(
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
organism remains
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 a
dead
the agent
TYPE
(
subclass
Death
OrganismProcess
)
Merge.kif 10346-10346
Death
is a
subclass
of
organism process
(
subclass
Asphyxiation
Death
)
Medicine.kif 6317-6317
Asphyxiation
is a
subclass
of
death
(
subclass
Bleedout
Death
)
Medicine.kif 6333-6333
Bleedout
is a
subclass
of
death
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
