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
meltingPoint
Sigma KEE - meltingPoint
meltingPoint
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1420-1421
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13859-13861
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13858-13858
Le nombre 2 argument de
meltingPoint
est une
instance
de
mesure de temperature
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13857-13857
Le nombre 1 argument de
meltingPoint
est une
sous
-classe de
substance pure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13856-13856
meltingPoint
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 1679-1679
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1678-1678
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1677-1677
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36983-36983
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36982-36982
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36981-36981
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13863-13878
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 13880-13893
Entit�
est une
instance
de
substance pure
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s) 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
moins
que
nombre r�el
Solid
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
congeler
entit�
est un
patient
de
processus
No TPTP formula. May not be expressible in strict first order.
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
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
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
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13895-13899
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 29357-29357
meltingPoint
Actinium
and 1320.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29205-29205
meltingPoint
Aluminum
and 933.52
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29369-29369
meltingPoint
Americium
and 1267.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29281-29281
meltingPoint
Antimony
and 903.89
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29215-29215
meltingPoint
Argon
and 83.78
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29245-29245
meltingPoint
Arsenic
and 886.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29349-29349
meltingPoint
Astatine
and 575.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29291-29291
meltingPoint
Barium
and 998.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29373-29373
meltingPoint
Berkelium
and 1259.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29187-29187
meltingPoint
Beryllium
and 1551.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29345-29345
meltingPoint
Bismuth
and 544.5
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29189-29189
meltingPoint
Boron
and 2573.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29249-29249
meltingPoint
Bromine
and 265.9
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29275-29275
meltingPoint
Cadmium
and 594.1
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29289-29289
meltingPoint
Caesium
and 301.55
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29219-29219
meltingPoint
Calcium
and 1112.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29374-29374
meltingPoint
Californium
and 1173.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29191-29191
meltingPoint
Carbon
and 3823.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29295-29295
meltingPoint
Cerium
and 1071.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29213-29213
meltingPoint
Chlorine
and 172.17
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29227-29227
meltingPoint
Chromium
and 2130.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29233-29233
meltingPoint
Cobalt
and 1768.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29237-29237
meltingPoint
Copper
and 1356.6
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29372-29372
meltingPoint
Curium
and 1613.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29311-29311
meltingPoint
Dysprosium
and 1682.0
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