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
(
instance
?CS1 ?CLASS)
(
subclass
?CLASS
CompoundSubstance
)
(
not
(
exists
(?CS2)
(
and
(
instance
?CS2 ?CLASS)
(
part
?CS2 ?CS1))))
(
molecularRatio
?ECLASS ?N ?CLASS)
(
instance
?G
Group
)
(
member
?E ?G)
(
part
?E ?CS1)
(
instance
?E ?ECLASS))
(
memberCount
?G ?N))
Cars.kif 1778-1792
Wenn
Object
ist ein
fall
von
** CompoundSubstance
%n{nicht} und
** CompoundSubstance
ist eine
teilkategorie
von
CompoundSubstance
und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
** ** CompoundSubstance
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
molecularRatio
** ElementalSubstance
,
Integer
and
** ** CompoundSubstance
und
Collection
ist ein
fall
von
Group
%n{nicht} und
** Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
** ElementalSubstance
%n{nicht},
dann
memberCount
** Collection
and
** Integer
(
subclass
CompoundSubstance
PureSubstance
)
Merge.kif 1173-1173
CompoundSubstance
ist eine
teilkategorie
von
PureSubstance
(
subclass
ChemicalAgent
CompoundSubstance
)
WMD.kif 445-445
ChemicalAgent
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Saxitoxin
CompoundSubstance
)
WMD.kif 1453-1453
Saxitoxin
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Conotoxin
CompoundSubstance
)
WMD.kif 1468-1468
Conotoxin
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Tetrodotoxin
CompoundSubstance
)
WMD.kif 1477-1477
Tetrodotoxin
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
IllicitDrug
CompoundSubstance
)
TransnationalIssues.kif 81-81
IllicitDrug
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Wax
CompoundSubstance
)
Mid-level-ontology.kif 1701-1701
Wax
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
ConjugatedSubstance
CompoundSubstance
)
Mid-level-ontology.kif 6473-6473
ConjugatedSubstance
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
OrganicCompound
CompoundSubstance
)
Mid-level-ontology.kif 8558-8558
OrganicCompound
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
ChemicalAcid
CompoundSubstance
)
Mid-level-ontology.kif 8720-8720
ChemicalAcid
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
ChemicalBase
CompoundSubstance
)
Mid-level-ontology.kif 8737-8737
ChemicalBase
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
ChemicalSalt
CompoundSubstance
)
Mid-level-ontology.kif 8741-8741
ChemicalSalt
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Oil
CompoundSubstance
)
Mid-level-ontology.kif 8807-8807
Oil
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
AtomicGroup
CompoundSubstance
)
Mid-level-ontology.kif 21729-21729
AtomicGroup
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Water
CompoundSubstance
)
Merge.kif 14329-14329
Water
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Carbohydrate
CompoundSubstance
)
Merge.kif 14721-14721
Carbohydrate
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Molecule
CompoundSubstance
)
Merge.kif 15686-15686
Molecule
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Barite
CompoundSubstance
)
Geography.kif 1996-1996
Barite
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Chromite
CompoundSubstance
)
Geography.kif 2013-2013
Chromite
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
NaturalGas
CompoundSubstance
)
Geography.kif 2034-2034
NaturalGas
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Phosphate
CompoundSubstance
)
Geography.kif 2044-2044
Phosphate
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Potash
CompoundSubstance
)
Geography.kif 2050-2050
Potash
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
DDT
CompoundSubstance
)
Geography.kif 2639-2639
DDT
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
SulphurDioxide
CompoundSubstance
)
Geography.kif 7166-7166
SulphurDioxide
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
NitricOxide
CompoundSubstance
)
Geography.kif 7201-7201
NitricOxide
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
NitrogenDioxide
CompoundSubstance
)
Geography.kif 7226-7226
NitrogenDioxide
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
CarbonDioxide
CompoundSubstance
)
Food.kif 3409-3409
CarbonDioxide
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Alumina
CompoundSubstance
)
Economy.kif 5610-5610
Alumina
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
IronOre
CompoundSubstance
)
Economy.kif 5621-5621
IronOre
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
ChemicalProduct
CompoundSubstance
)
Economy.kif 5816-5816
ChemicalProduct
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Cement
CompoundSubstance
)
Economy.kif 5921-5921
Cement
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
PhosphoricAcid
CompoundSubstance
)
Economy.kif 5983-5983
PhosphoricAcid
ist eine
teilkategorie
von
CompoundSubstance
(
subclass
Chlorofluorocarbon
CompoundSubstance
)
Cars.kif 1794-1794
Chlorofluorocarbon
ist eine
teilkategorie
von
CompoundSubstance
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
