Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
boilingPoint
Sigma KEE - boilingPoint
boilingPoint
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1418-1419
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13817-13818
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13816-13816
Le nombre 2 argument de
boilingPoint
est une
instance
de
mesure de temperature
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13815-13815
Le nombre 1 argument de
boilingPoint
est une
sous
-classe de
substance pure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13814-13814
boilingPoint
est une
instance
de
pr�dicat binaire
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 320-320
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 319-319
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 318-318
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11507-11507
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11506-11506
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11505-11505
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13863-13876
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Gas
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
�vaporer
entit�
est un
patient
de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13853-13861
Processus
est une
instance
de
�vaporer
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
entit�
est un
patient
de
processus
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
temps
d'existence de
processus
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13975-13988
Processus
est une
instance
de
Evaporating
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
substance pure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13885-13900
Entit�
est une
instance
de
substance pure
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
moins
que
nombre r�el
Liquid
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
mettre en fusion
entit�
est un
patient
de
processus
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13820-13829
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13831-13840
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13917-13921
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29346-29346
boilingPoint
Actinium
and 3470.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29194-29194
boilingPoint
Aluminum
and 2740.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29358-29358
boilingPoint
Americium
and 2880.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29270-29270
boilingPoint
Antimony
and 2023.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29204-29204
boilingPoint
Argon
and 87.29
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29234-29234
boilingPoint
Arsenic
and 886.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29338-29338
boilingPoint
Astatine
and 610.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29280-29280
boilingPoint
Barium
and 1913.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29176-29176
boilingPoint
Beryllium
and 3243.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29334-29334
boilingPoint
Bismuth
and 1833.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29178-29178
boilingPoint
Boron
and 2823.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29238-29238
boilingPoint
Bromine
and 331.93
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29264-29264
boilingPoint
Cadmium
and 1038.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29278-29278
boilingPoint
Caesium
and 963.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29208-29208
boilingPoint
Calcium
and 1760.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29180-29180
boilingPoint
Carbon
and 5100.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29284-29284
boilingPoint
Cerium
and 3530.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29202-29202
boilingPoint
Chlorine
and 238.55
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29216-29216
boilingPoint
Chromium
and 2755.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29222-29222
boilingPoint
Cobalt
and 3143.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29226-29226
boilingPoint
Copper
and 2868.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29300-29300
boilingPoint
Dysprosium
and 2608.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29304-29304
boilingPoint
Erbium
and 2783.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29294-29294
boilingPoint
Europium
and 1870.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29186-29186
boilingPoint
Fluorine
and 85.01
KelvinDegree
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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