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
est une
sous
-classe de
substance
substance
est une
instance
de
classe
substance
est une
pi
�ce de
substance
substance
est une
instance
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
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
(
subclass
Substance
SelfConnectedObject
)
Merge.kif 1041-1041
Substance
est une
sous
-classe de
objet en une partie
(
subclass
Fuel
Substance
)
Mid-level-ontology.kif 1693-1693
Fuel
est une
sous
-classe de
substance
(
subclass
Electricity
Substance
)
Mid-level-ontology.kif 2556-2556
Electricity
est une
sous
-classe de
substance
(
subclass
Wicker
Substance
)
Mid-level-ontology.kif 4589-4589
Wicker
est une
sous
-classe de
substance
(
subclass
Surfactant
Substance
)
Mid-level-ontology.kif 8822-8822
Surfactant
est une
sous
-classe de
substance
(
subclass
Powder
Substance
)
Mid-level-ontology.kif 8950-8950
Powder
est une
sous
-classe de
substance
(
subclass
ExplosiveSubstance
Substance
)
Mid-level-ontology.kif 17862-17862
ExplosiveSubstance
est une
sous
-classe de
substance
(
subclass
Rock
Substance
)
Mid-level-ontology.kif 17904-17904
Rock
est une
sous
-classe de
substance
(
subclass
SyntheticSubstance
Substance
)
Merge.kif 1067-1067
SyntheticSubstance
est une
sous
-classe de
substance
(
subclass
NaturalSubstance
Substance
)
Merge.kif 1080-1080
NaturalSubstance
est une
sous
-classe de
substance
(
subclass
PureSubstance
Substance
)
Merge.kif 1084-1084
Substance pure
est une
sous
-classe de
substance
(
subclass
Mixture
Substance
)
Merge.kif 1182-1182
Mixture
est une
sous
-classe de
substance
(
subclass
Mineral
Substance
)
Merge.kif 14311-14311
Mineral
est une
sous
-classe de
substance
(
subclass
BiologicallyActiveSubstance
Substance
)
Merge.kif 14671-14671
Substance biologique active
est une
sous
-classe de
substance
(
subclass
BodySubstance
Substance
)
Merge.kif 14806-14806
Substance corporel
est une
sous
-classe de
substance
(
subclass
DrugCandidate
Substance
)
Medicine.kif 3082-3082
DrugCandidate
est une
sous
-classe de
substance
(
subclass
Creatinine
Substance
)
Medicine.kif 3793-3793
Creatinine
est une
sous
-classe de
substance
(
subclass
Effluent
Substance
)
Geography.kif 2664-2664
Effluent
est une
sous
-classe de
substance
(
subclass
NoxiousSubstance
Substance
)
Geography.kif 2762-2762
NoxiousSubstance
est une
sous
-classe de
substance
(
subclass
Crystal
Substance
)
Geography.kif 7110-7110
Crystal
est une
sous
-classe de
substance
(
subclass
LiquidDrop
Substance
)
Geography.kif 7488-7488
LiquidDrop
est une
sous
-classe de
substance
(
subclass
ConductorSubstance
Substance
)
engineering.kif 1281-1281
ConductorSubstance
est une
sous
-classe de
substance
(
subclass
InsulatorSubstance
Substance
)
engineering.kif 1286-1286
InsulatorSubstance
est une
sous
-classe de
substance
(
subclass
Sugar
Substance
)
Economy.kif 4158-4158
Sugar
est une
sous
-classe de
substance
(
subclass
GumArabic
Substance
)
Economy.kif 4750-4750
GumArabic
est une
sous
-classe de
substance
(
subclass
ChemicalAcid
Substance
)
Cars.kif 2471-2471
ChemicalAcid
est une
sous
-classe de
substance
(
subclass
Lubricant
Substance
)
Cars.kif 2975-2975
Lubricant
est une
sous
-classe de
substance
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