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
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
?PRES 29.92)
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
lessThan
?TEMP ?MELT))
(
attribute
?X
Solid
))
Merge.kif 13820-13829
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
barometricPressure
objet
and
nombre r�el
InchMercury
(s)
nombre r�el
est
plus
grand
que 29.92 la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
moins
que
nombre r�el
Solid
est un
attribut
de
objet
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
meltingPoint
?Y
(
MeasureFn
?MELT
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?MELT)
(
lessThan
?TEMP ?BOIL))
(
attribute
?X
Liquid
))
Merge.kif 13809-13818
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s)
meltingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
objet
(=>
(
and
(
instance
?X ?Y)
(
subclass
?Y
PureSubstance
)
(
barometricPressure
?X
(
MeasureFn
?PRES
InchMercury
))
(
greaterThan
29.92 ?PRES)
(
boilingPoint
?Y
(
MeasureFn
?BOIL
KelvinDegree
))
(
measure
?X
(
MeasureFn
?TEMP
KelvinDegree
))
(
greaterThan
?TEMP ?BOIL))
(
attribute
?X
Gas
))
Merge.kif 13798-13807
Objet
est une
instance
de
substance pure
substance pure
est une
sous
-classe de
substance pure
barometricPressure
objet
and
nombre r�el
InchMercury
(s) 29.92 est
plus
grand
que
nombre r�el
boilingPoint
substance pure
and
nombre r�el
KelvinDegree
(s) la
mesure
de
objet
est
nombre r�el
KelvinDegree
(s)
nombre r�el
est
plus
grand
que
nombre r�el
Gas
est un
attribut
de
objet
(
subclass
PureSubstance
Substance
)
Merge.kif 1084-1084
Substance pure
est une
sous
-classe de
substance
(
subclass
HydrophilicLipidHead
PureSubstance
)
VirusProteinAndCellPart.kif 514-514
HydrophilicLipidHead
est une
sous
-classe de
substance pure
(
subclass
HydrophobicLipidTail
PureSubstance
)
VirusProteinAndCellPart.kif 525-525
HydrophobicLipidTail
est une
sous
-classe de
substance pure
(
subclass
Ion
PureSubstance
)
Mid-level-ontology.kif 21665-21665
Ion
est une
sous
-classe de
substance pure
(
subclass
ElementalSubstance
PureSubstance
)
Merge.kif 1093-1093
Substance �l�mentaire
est une
sous
-classe de
substance pure
(
subclass
CompoundSubstance
PureSubstance
)
Merge.kif 1173-1173
Substance compos�e
est une
sous
-classe de
substance pure
(
subclass
Defoliant
PureSubstance
)
Geography.kif 2647-2647
Defoliant
est une
sous
-classe de
substance pure
(
subclass
GreenhouseGas
PureSubstance
)
Geography.kif 2735-2735
GreenhouseGas
est une
sous
-classe de
substance pure
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