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
Classe
e' uma
sub
-classe de
Substancia
Substancia
e' uma
instancia
de
Classe
Substancia
e' uma
peca
de
Substancia
Substancia
e' uma
instancia
de
Classe
(=>
(
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
(
subclass
Substance
SelfConnectedObject
)
Merge.kif 1041-1041
Substancia
e' uma
sub
-classe de
Objeto auto-conectado
(
subclass
Fuel
Substance
)
Mid-level-ontology.kif 1693-1693
Fuel
e' uma
sub
-classe de
Substancia
(
subclass
Electricity
Substance
)
Mid-level-ontology.kif 2556-2556
Electricity
e' uma
sub
-classe de
Substancia
(
subclass
Wicker
Substance
)
Mid-level-ontology.kif 4589-4589
Wicker
e' uma
sub
-classe de
Substancia
(
subclass
Surfactant
Substance
)
Mid-level-ontology.kif 8822-8822
Surfactant
e' uma
sub
-classe de
Substancia
(
subclass
Powder
Substance
)
Mid-level-ontology.kif 8950-8950
Powder
e' uma
sub
-classe de
Substancia
(
subclass
ExplosiveSubstance
Substance
)
Mid-level-ontology.kif 17862-17862
ExplosiveSubstance
e' uma
sub
-classe de
Substancia
(
subclass
Rock
Substance
)
Mid-level-ontology.kif 17904-17904
Rock
e' uma
sub
-classe de
Substancia
(
subclass
SyntheticSubstance
Substance
)
Merge.kif 1067-1067
SyntheticSubstance
e' uma
sub
-classe de
Substancia
(
subclass
NaturalSubstance
Substance
)
Merge.kif 1080-1080
NaturalSubstance
e' uma
sub
-classe de
Substancia
(
subclass
PureSubstance
Substance
)
Merge.kif 1084-1084
Substancia Pura
e' uma
sub
-classe de
Substancia
(
subclass
Mixture
Substance
)
Merge.kif 1182-1182
Mistura
e' uma
sub
-classe de
Substancia
(
subclass
Mineral
Substance
)
Merge.kif 14311-14311
Mineral
e' uma
sub
-classe de
Substancia
(
subclass
BiologicallyActiveSubstance
Substance
)
Merge.kif 14671-14671
Substancia Biologica Ativa
e' uma
sub
-classe de
Substancia
(
subclass
BodySubstance
Substance
)
Merge.kif 14806-14806
Substancia Corporal
e' uma
sub
-classe de
Substancia
(
subclass
DrugCandidate
Substance
)
Medicine.kif 3082-3082
DrugCandidate
e' uma
sub
-classe de
Substancia
(
subclass
Creatinine
Substance
)
Medicine.kif 3793-3793
Creatinine
e' uma
sub
-classe de
Substancia
(
subclass
Effluent
Substance
)
Geography.kif 2664-2664
Effluent
e' uma
sub
-classe de
Substancia
(
subclass
NoxiousSubstance
Substance
)
Geography.kif 2762-2762
NoxiousSubstance
e' uma
sub
-classe de
Substancia
(
subclass
Crystal
Substance
)
Geography.kif 7110-7110
Crystal
e' uma
sub
-classe de
Substancia
(
subclass
LiquidDrop
Substance
)
Geography.kif 7488-7488
LiquidDrop
e' uma
sub
-classe de
Substancia
(
subclass
ConductorSubstance
Substance
)
engineering.kif 1281-1281
ConductorSubstance
e' uma
sub
-classe de
Substancia
(
subclass
InsulatorSubstance
Substance
)
engineering.kif 1286-1286
InsulatorSubstance
e' uma
sub
-classe de
Substancia
(
subclass
Sugar
Substance
)
Economy.kif 4158-4158
Sugar
e' uma
sub
-classe de
Substancia
(
subclass
GumArabic
Substance
)
Economy.kif 4750-4750
GumArabic
e' uma
sub
-classe de
Substancia
(
subclass
ChemicalAcid
Substance
)
Cars.kif 2471-2471
ChemicalAcid
e' uma
sub
-classe de
Substancia
(
subclass
Lubricant
Substance
)
Cars.kif 2975-2975
Lubricant
e' uma
sub
-classe de
Substancia
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
