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:
(=>
(
instance
?C
ElectricalConductor
)
(
exists
(?S)
(
and
(
subclass
?S
ConductorSubstance
)
(
material
?S ?C))))
engineering.kif 826-831
Wenn
CorpuscularObject
ist ein
fall
von
ElectricalConductor
%n{nicht},
dann es gibt
** Substance
um
** Substance
ist eine
teilkategorie
von
ConductorSubstance
und
** ** Substance
ist von
** CorpuscularObject
gebildet
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Wenn
Physical
ist ein
fall
von
Iceberg
%n{nicht},
dann es gibt
Class
um
** Class
ist eine
teilkategorie
von
Glacier
und
** Class
ist von
** Physical
gebildet haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Physical
%n{nicht}
(=>
(
instance
?COIN
CurrencyCoin
)
(
exists
(?METAL)
(
and
(
subclass
?METAL
Metal
)
(
material
?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
Wenn
CorpuscularObject
ist ein
fall
von
CurrencyCoin
%n{nicht},
dann es gibt
** Substance
um
** Substance
ist eine
teilkategorie
von
Metal
und
** ** Substance
ist von
** CorpuscularObject
gebildet
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
)))
Sports.kif 1040-1047
Wenn
CorpuscularObject
ist ein
fall
von
SnowSki
%n{nicht} und
** Substance
ist von
** CorpuscularObject
gebildet,
dann
** Substance
ist eine
teilkategorie
von
Metal
oder
** ** Substance
ist eine
teilkategorie
von
Wood
oder
** ** Substance
ist eine
teilkategorie
von
Plastic
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
Wenn
CorpuscularObject
ist ein
fall
von
ResistorElement
%n{nicht},
dann es gibt
** Substance
um
** Substance
ist eine
teilkategorie
von
InsulatorSubstance
und
** ** Substance
ist von
** CorpuscularObject
gebildet
(=>
(
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
Wenn
CorpuscularObject
ist ein
fall
von
CorpuscularObject
%n{nicht},
dann es gibt
** Substance
und
** ** Substance
um
** Substance
ist eine
teilkategorie
von
Substance
und
** ** Substance
ist eine
teilkategorie
von
Substance
und
** ** Substance
ist von
** CorpuscularObject
gebildet und
** ** ** Substance
ist von
** CorpuscularObject
gebildet und
** ** Substance
ist gleich
** ** ** Substance
nicht
(=>
(
instance
?CF
CharcoalFilter
)
(
exists
(?C)
(
and
(
subclass
?C
Charcoal
)
(
material
?C ?CF))))
Cars.kif 1688-1693
Wenn
CorpuscularObject
ist ein
fall
von
CharcoalFilter
%n{nicht},
dann es gibt
** Substance
um
** Substance
ist eine
teilkategorie
von
Charcoal
und
** ** Substance
ist von
** CorpuscularObject
gebildet
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