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
Objet corpusculaire
est une
instance
de
ElectricalConductor
substance
substance
est une
sous
-classe de
ConductorSubstance
substance
est
fait
de
objet corpusculaire
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Physique
est une
instance
de
Iceberg
classe
classe
est une
sous
-classe de
Glacier
classe
est
fait
de
physique
pendant
immediatement
avant
temps
d'existence de
physique
(=>
(
instance
?COIN
CurrencyCoin
)
(
exists
(?METAL)
(
and
(
subclass
?METAL
Metal
)
(
material
?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
Objet corpusculaire
est une
instance
de
CurrencyCoin
substance
substance
est une
sous
-classe de
m�tal
substance
est
fait
de
objet corpusculaire
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
)))
Sports.kif 1040-1047
Objet corpusculaire
est une
instance
de
SnowSki
substance
est
fait
de
objet corpusculaire
substance
est une
sous
-classe de
m�tal
substance
est une
sous
-classe de
Wood
substance
est une
sous
-classe de
Plastic
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
Objet corpusculaire
est une
instance
de
ResistorElement
substance
substance
est une
sous
-classe de
InsulatorSubstance
substance
est
fait
de
objet corpusculaire
(=>
(
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
Objet corpusculaire
est une
instance
de
objet corpusculaire
substance
substance
substance
est une
sous
-classe de
substance
substance
est une
sous
-classe de
substance
substance
est
fait
de
objet corpusculaire
substance
est
fait
de
objet corpusculaire
substance
est
substance
(=>
(
instance
?CF
CharcoalFilter
)
(
exists
(?C)
(
and
(
subclass
?C
Charcoal
)
(
material
?C ?CF))))
Cars.kif 1688-1693
Objet corpusculaire
est une
instance
de
CharcoalFilter
substance
substance
est une
sous
-classe de
Charcoal
substance
est
fait
de
objet corpusculaire
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