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 13914-13916
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13913-13913
O argumento numero 2 de
meltingPoint
e' uma
instancia
de
Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13912-13912
O argumento numero 1 de
meltingPoint
e' uma
sub
-classe de
Substancia Pura
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13911-13911
meltingPoint
e' uma
instancia
de
Predicado Binario
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 37012-37012
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 37011-37011
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 37010-37010
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13918-13933
Entidade
e' uma
instancia
de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Derreter
Entidade
e' um
patient
de
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13935-13948
Entidade
e' uma
instancia
de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s) a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
Intervalo Temporal
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Congelar
Entidade
e' um
patient
de
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13864-13873
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
menos
que
Numero Real
Liquid
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13875-13884
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
meltingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s)
barometricPressure
Objeto
and
Numero Real
InchMercury
(s)
Numero Real
e'
maior
que 29.92 a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
menos
que
Numero Real
Solid
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13950-13954
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29673-29673
meltingPoint
Actinium
and 1320.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29521-29521
meltingPoint
Aluminum
and 933.52
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29685-29685
meltingPoint
Americium
and 1267.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29597-29597
meltingPoint
Antimony
and 903.89
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29531-29531
meltingPoint
Argon
and 83.78
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29561-29561
meltingPoint
Arsenic
and 886.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29665-29665
meltingPoint
Astatine
and 575.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29607-29607
meltingPoint
Barium
and 998.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29689-29689
meltingPoint
Berkelium
and 1259.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29503-29503
meltingPoint
Beryllium
and 1551.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29661-29661
meltingPoint
Bismuth
and 544.5
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29505-29505
meltingPoint
Boron
and 2573.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29565-29565
meltingPoint
Bromine
and 265.9
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29591-29591
meltingPoint
Cadmium
and 594.1
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29605-29605
meltingPoint
Caesium
and 301.55
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29535-29535
meltingPoint
Calcium
and 1112.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29690-29690
meltingPoint
Californium
and 1173.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29507-29507
meltingPoint
Carbon
and 3823.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29611-29611
meltingPoint
Cerium
and 1071.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29529-29529
meltingPoint
Chlorine
and 172.17
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29543-29543
meltingPoint
Chromium
and 2130.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29549-29549
meltingPoint
Cobalt
and 1768.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29553-29553
meltingPoint
Copper
and 1356.6
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29688-29688
meltingPoint
Curium
and 1613.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29627-29627
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