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 13866-13875
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s
NumeroReale
è
pi
ù grande di 29.92 la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Solid
(=>
(
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 13855-13864
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s
meltingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Oggetto
and
Liquid
(=>
(
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 13844-13853
Oggetto
è un'
istanza
di
SostanzaPura
SostanzaPura
è una
sottoclasse
di
SostanzaPura
barometricPressure
Oggetto
and
NumeroReale
InchMercury
(s 29.92 è
pi
ù grande di
NumeroReale
boilingPoint
SostanzaPura
and
NumeroReale
KelvinDegree
(s la
misura
Oggetto
è
NumeroReale
KelvinDegree
(s
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Gas
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