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
Objeto Corpuscular
e' uma
instancia
de
ElectricalConductor
Substancia
Substancia
e' uma
sub
-classe de
ConductorSubstance
Substancia
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Fisico
e' uma
instancia
de
Iceberg
Classe
Classe
e' uma
sub
-classe de
Glacier
Classe
e'
feito
de
Fisico
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
(=>
(
instance
?COIN
CurrencyCoin
)
(
exists
(?METAL)
(
and
(
subclass
?METAL
Metal
)
(
material
?METAL ?COIN))))
Mid-level-ontology.kif 3600-3605
Objeto Corpuscular
e' uma
instancia
de
CurrencyCoin
Substancia
Substancia
e' uma
sub
-classe de
Metal
Substancia
e'
feito
de
Objeto Corpuscular
(=>
(
and
(
instance
?SKI
SnowSki
)
(
material
?MAT ?SKI))
(
or
(
subclass
?MAT
Metal
)
(
subclass
?MAT
Wood
)
(
subclass
?MAT
Plastic
)))
Sports.kif 1040-1047
Objeto Corpuscular
e' uma
instancia
de
SnowSki
Substancia
e'
feito
de
Objeto Corpuscular
Substancia
e' uma
sub
-classe de
Metal
Substancia
e' uma
sub
-classe de
Wood
Substancia
e' uma
sub
-classe de
Plastic
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
Objeto Corpuscular
e' uma
instancia
de
ResistorElement
Substancia
Substancia
e' uma
sub
-classe de
InsulatorSubstance
Substancia
e'
feito
de
Objeto Corpuscular
(=>
(
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
Objeto Corpuscular
e' uma
instancia
de
Objeto Corpuscular
Substancia
Substancia
Substancia
e' uma
sub
-classe de
Substancia
Substancia
e' uma
sub
-classe de
Substancia
Substancia
e'
feito
de
Objeto Corpuscular
Substancia
e'
feito
de
Objeto Corpuscular
Substancia
e'
igual
a
Substancia
(=>
(
instance
?CF
CharcoalFilter
)
(
exists
(?C)
(
and
(
subclass
?C
Charcoal
)
(
material
?C ?CF))))
Cars.kif 1688-1693
Objeto Corpuscular
e' uma
instancia
de
CharcoalFilter
Substancia
Substancia
e' uma
sub
-classe de
Charcoal
Substancia
e'
feito
de
Objeto Corpuscular
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