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
(
subclass
?OBJECTTYPE
Substance
)
(
instance
?OBJECT ?OBJECTTYPE)
(
piece
?PART ?OBJECT))
(
instance
?PART ?OBJECTTYPE))
Merge.kif 1053-1058
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 1231-1239
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
the kind of substance
is not
equal
to
the other kind of substance
(
subclass
Substance
SelfConnectedObject
)
Merge.kif 1041-1041
Substance
is a
subclass
of
self connected object
(
subclass
Fuel
Substance
)
Mid-level-ontology.kif 1693-1693
Fuel
is a
subclass
of
substance
(
subclass
Electricity
Substance
)
Mid-level-ontology.kif 2556-2556
Electricity
is a
subclass
of
substance
(
subclass
Wicker
Substance
)
Mid-level-ontology.kif 4589-4589
Wicker
is a
subclass
of
substance
(
subclass
Surfactant
Substance
)
Mid-level-ontology.kif 8822-8822
Surfactant
is a
subclass
of
substance
(
subclass
Powder
Substance
)
Mid-level-ontology.kif 8950-8950
Powder
is a
subclass
of
substance
(
subclass
ExplosiveSubstance
Substance
)
Mid-level-ontology.kif 17862-17862
Explosive substance
is a
subclass
of
substance
(
subclass
Rock
Substance
)
Mid-level-ontology.kif 17904-17904
Rock
is a
subclass
of
substance
(
subclass
SyntheticSubstance
Substance
)
Merge.kif 1067-1067
Synthetic substance
is a
subclass
of
substance
(
subclass
NaturalSubstance
Substance
)
Merge.kif 1080-1080
Natural substance
is a
subclass
of
substance
(
subclass
PureSubstance
Substance
)
Merge.kif 1084-1084
Pure substance
is a
subclass
of
substance
(
subclass
Mixture
Substance
)
Merge.kif 1182-1182
Mixture
is a
subclass
of
substance
(
subclass
Mineral
Substance
)
Merge.kif 14311-14311
Mineral
is a
subclass
of
substance
(
subclass
BiologicallyActiveSubstance
Substance
)
Merge.kif 14671-14671
Biologically active substance
is a
subclass
of
substance
(
subclass
BodySubstance
Substance
)
Merge.kif 14806-14806
Body substance
is a
subclass
of
substance
(
subclass
DrugCandidate
Substance
)
Medicine.kif 3082-3082
Drug candidate
is a
subclass
of
substance
(
subclass
Creatinine
Substance
)
Medicine.kif 3793-3793
Creatinine
is a
subclass
of
substance
(
subclass
Effluent
Substance
)
Geography.kif 2664-2664
Effluent
is a
subclass
of
substance
(
subclass
NoxiousSubstance
Substance
)
Geography.kif 2762-2762
Noxious substance
is a
subclass
of
substance
(
subclass
Crystal
Substance
)
Geography.kif 7110-7110
Crystal
is a
subclass
of
substance
(
subclass
LiquidDrop
Substance
)
Geography.kif 7488-7488
Liquid drop
is a
subclass
of
substance
(
subclass
ConductorSubstance
Substance
)
engineering.kif 1281-1281
Conductor substance
is a
subclass
of
substance
(
subclass
InsulatorSubstance
Substance
)
engineering.kif 1286-1286
Insulator substance
is a
subclass
of
substance
(
subclass
Sugar
Substance
)
Economy.kif 4158-4158
Sugar
is a
subclass
of
substance
(
subclass
GumArabic
Substance
)
Economy.kif 4750-4750
Gum arabic
is a
subclass
of
substance
(
subclass
ChemicalAcid
Substance
)
Cars.kif 2471-2471
Chemical acid
is a
subclass
of
substance
(
subclass
Lubricant
Substance
)
Cars.kif 2975-2975
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