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 4199-4223
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
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1088-1093
If
a class
is a
subclass
of
substance
and
a substance
is an
instance
of
the class
and
another substance
is a
piece
of
the substance
,
then
the other substance
is an
instance
of
the class
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1266-1274
If
a corpuscular object
is an
instance
of
corpuscular object
,
then there exist
a kind of substance
and
another kind of substance
such that
a kind of substance
is a
subclass
of
substance
and
another kind of substance
is a
subclass
of
substance
and
the corpuscular object
is
made
of
the kind of substance
and
the corpuscular object
is
made
of
the other kind of substance
and
equal
the kind of substance
and
the other kind of substance
(
subclass
Substance
SelfConnectedObject
)
Merge.kif 1076-1076
Substance
is a
subclass
of
self connected object
(
subclass
Fuel
Substance
)
Mid-level-ontology.kif 2156-2156
Fuel
is a
subclass
of
substance
(
subclass
Electricity
Substance
)
Mid-level-ontology.kif 3019-3019
Electricity
is a
subclass
of
substance
(
subclass
Wicker
Substance
)
Mid-level-ontology.kif 5034-5034
Wicker
is a
subclass
of
substance
(
subclass
Surfactant
Substance
)
Mid-level-ontology.kif 10023-10023
Surfactant
is a
subclass
of
substance
(
subclass
Powder
Substance
)
Mid-level-ontology.kif 10151-10151
Powder
is a
subclass
of
substance
(
subclass
ExplosiveSubstance
Substance
)
Mid-level-ontology.kif 19419-19419
Explosive substance
is a
subclass
of
substance
(
subclass
Rock
Substance
)
Mid-level-ontology.kif 19461-19461
Rock
is a
subclass
of
substance
(
subclass
SyntheticSubstance
Substance
)
Merge.kif 1102-1102
Synthetic substance
is a
subclass
of
substance
(
subclass
NaturalSubstance
Substance
)
Merge.kif 1115-1115
Natural substance
is a
subclass
of
substance
(
subclass
PureSubstance
Substance
)
Merge.kif 1119-1119
Pure substance
is a
subclass
of
substance
(
subclass
Mixture
Substance
)
Merge.kif 1217-1217
Mixture
is a
subclass
of
substance
(
subclass
Mineral
Substance
)
Merge.kif 14486-14486
Mineral
is a
subclass
of
substance
(
subclass
BiologicallyActiveSubstance
Substance
)
Merge.kif 14846-14846
Biologically active substance
is a
subclass
of
substance
(
subclass
BodySubstance
Substance
)
Merge.kif 14981-14981
Body substance
is a
subclass
of
substance
(
subclass
DrugCandidate
Substance
)
Medicine.kif 3083-3083
Drug candidate
is a
subclass
of
substance
(
subclass
Creatinine
Substance
)
Medicine.kif 3796-3796
Creatinine
is a
subclass
of
substance
(
subclass
Effluent
Substance
)
Geography.kif 4132-4132
Effluent
is a
subclass
of
substance
(
subclass
NoxiousSubstance
Substance
)
Geography.kif 4230-4230
Noxious substance
is a
subclass
of
substance
(
subclass
Crystal
Substance
)
Geography.kif 8759-8759
Crystal
is a
subclass
of
substance
(
subclass
LiquidDrop
Substance
)
Geography.kif 9137-9137
Liquid drop
is a
subclass
of
substance
(
subclass
ConductorSubstance
Substance
)
engineering.kif 1594-1594
Conductor substance
is a
subclass
of
substance
(
subclass
InsulatorSubstance
Substance
)
engineering.kif 1599-1599
Insulator substance
is a
subclass
of
substance
(
subclass
Sugar
Substance
)
Economy.kif 4490-4490
Sugar
is a
subclass
of
substance
(
subclass
GumArabic
Substance
)
Economy.kif 5085-5085
Gum arabic
is a
subclass
of
substance
(
subclass
ChemicalAcid
Substance
)
Cars.kif 2455-2455
Chemical acid
is a
subclass
of
substance
(
subclass
Lubricant
Substance
)
Cars.kif 3034-3034
Lubricant
is a
subclass
of
substance
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
