Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLangua
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 4201-4225
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
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3450-3478
If
a wearable item
is an
instance
of
safety harness
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the entity
and
the animal
is a
patient
of
the entity
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
(=>
(
instance
?M
Meat
)
(
exists
(?DA ?AC)
(
and
(
instance
?DA
(
DeadFn
?AC))
(
part
?M ?DA)
(
subclass
?AC
Animal
))))
Food.kif 1915-1921
If
an object
is an
instance
of
meat
,
then there exist
another object
and
a kind of organic object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the object
is a
part
of
the other object
and
the kind of organic object
is a
subclass
of
animal
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2883-2889
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
animal fat
and
another kind of object
is a
subclass
of
fat tissue
,
then every
the other kind of object
is
initially
part
of a
animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 5285-5290
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
meat
,
then
a kind of organic object
is a
subclass
of
animal
(=>
(
and
(
instance
?X
Respirator
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?X))
(
hasPurpose
?X
(
exists
(?INHAL ?INJ ?PROTECT ?I)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?X)
(
prevents
?PROTECT ?INJ)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
patient
?I ?H)
(
instance
?INHAL
Inhaling
)
(
agent
?INHAL ?H)
(
causes
?I ?INHAL))))))))))
Cars.kif 3592-3613
If
a wearable item
is an
instance
of
respirator
and
an animal
is an
instance
of
animal
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the third entity
is an
instance
of
process
and
the wearable item
is an
instrument
for
the third entity
and
the third entity
prevent
s the occurrence of
the other entity
and
the other entity
is a
subclass
of the
class
described by
the fourth entity
(
subclass
Animal
Organism
)
Merge.kif 14584-14584
Animal
is a
subclass
of
organism
(
subclass
Biped
Animal
)
Mid-level-ontology.kif 4850-4850
Biped
is a
subclass
of
animal
(
subclass
DomesticAnimal
Animal
)
Mid-level-ontology.kif 21604-21604
Domestic animal
is a
subclass
of
animal
(
subclass
Vertebrate
Animal
)
Merge.kif 14638-14638
Vertebrate
is a
subclass
of
animal
(
subclass
Invertebrate
Animal
)
Merge.kif 14641-14641
Invertebrate
is a
subclass
of
animal
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
