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 13850-13851
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13849-13849
O argumento numero 2 de
boilingPoint
e' uma
instancia
de
Medida de Temperatura
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13848-13848
O argumento numero 1 de
boilingPoint
e' uma
sub
-classe de
Substancia Pura
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13847-13847
boilingPoint
e' uma
instancia
de
Predicado Binario
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 11518-11518
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11517-11517
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 11516-11516
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13896-13909
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
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'
maior
ou igual a
Numero Real
Gas
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Processo
Intervalo Temporal
engloba
tempo
de existencia de
Processo
Processo
e' uma
instancia
de
Ferver
Entidade
e' um
patient
de
Processo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13886-13894
Processo
e' uma
instancia
de
Ferver
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e' um
patient
de
Processo
a
medida
de
Entidade
e'
Numero Real
Unidade de Medida
(s)
vale
durante
tempo
de existencia de
Processo
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Numero Real
e'
maior
ou igual a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 14008-14021
Processo
e' uma
instancia
de
Evaporating
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Substancia Pura
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfTemperature
Objeto
e' um
patient
de
Processo
Objeto
Objeto
e' uma &parte de
Objeto
Numero Real
e'
maior
que
Numero Real
Liquid
e' um
atributo
de
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Gas
e' um
atributo
de
Objeto
vale
durante o
fim
de
tempo
de existencia de
Processo
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 13853-13862
Objeto
e' uma
instancia
de
Substancia Pura
Substancia Pura
e' uma
sub
-classe de
Substancia Pura
barometricPressure
Objeto
and
Numero Real
InchMercury
(s) 29.92 e'
maior
que
Numero Real
boilingPoint
Substancia Pura
and
Numero Real
KelvinDegree
(s) a
medida
de
Objeto
e'
Numero Real
KelvinDegree
(s)
Numero Real
e'
maior
que
Numero Real
Gas
e' um
atributo
de
Objeto
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 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 29674-29674
boilingPoint
Actinium
and 3470.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29522-29522
boilingPoint
Aluminum
and 2740.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29686-29686
boilingPoint
Americium
and 2880.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29598-29598
boilingPoint
Antimony
and 2023.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29532-29532
boilingPoint
Argon
and 87.29
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29562-29562
boilingPoint
Arsenic
and 886.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29666-29666
boilingPoint
Astatine
and 610.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29608-29608
boilingPoint
Barium
and 1913.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29504-29504
boilingPoint
Beryllium
and 3243.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29662-29662
boilingPoint
Bismuth
and 1833.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29506-29506
boilingPoint
Boron
and 2823.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29566-29566
boilingPoint
Bromine
and 331.93
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29592-29592
boilingPoint
Cadmium
and 1038.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29606-29606
boilingPoint
Caesium
and 963.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29536-29536
boilingPoint
Calcium
and 1760.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29508-29508
boilingPoint
Carbon
and 5100.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29612-29612
boilingPoint
Cerium
and 3530.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29530-29530
boilingPoint
Chlorine
and 238.55
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29544-29544
boilingPoint
Chromium
and 2755.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29550-29550
boilingPoint
Cobalt
and 3143.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29554-29554
boilingPoint
Copper
and 2868.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29628-29628
boilingPoint
Dysprosium
and 2608.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29632-29632
boilingPoint
Erbium
and 2783.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29622-29622
boilingPoint
Europium
and 1870.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29514-29514
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