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:
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13820-13829
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
kelvin degree
(s) is a
melting
point of
the kind of pure substance
and
another real number
inch mercury
(s) is a
barometric
pressure of
the object
and
the other real number
is
greater
than 29.92 and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
less
than
the real number
,
then
solid
is an
attribute
of
the object
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13798-13807
If
an object
is an
instance
of
a kind of pure substance
and
a kind of pure substance
is a
subclass
of
pure substance
and
a real number
inch mercury
(s) is a
barometric
pressure of
the object
and 29.92 is
greater
than
the real number
and
another real number
kelvin degree
(s) is a
boiling
point of
the kind of pure substance
and the
measure
of
the object
is
a third real number
kelvin degree
(s) and
the third real number
is
greater
than
the other real number
,
then
gas
is an
attribute
of
the object
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