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
MeasureFn
Sigma KEE - MeasureFn
MeasureFn
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 2434-2436
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6352-6356
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1125-1128
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6348-6348
O argumento numero 1 de
MeasureFn
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6349-6349
O argumento numero 2 de
MeasureFn
e' uma
instancia
de
Unidade de Medida
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6346-6346
MeasureFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6347-6347
MeasureFn
e' uma
instancia
de
Relacao Total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 6350-6350
O
contra
-dominio de
MeasureFn
e' uma instancia de
Quantidade Fisica
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 633-633
No TPTP formula. May not be expressible in strict first order.
english_format.kif 636-636
No TPTP formula. May not be expressible in strict first order.
french_format.kif 383-383
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 178-178
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 2113-2113
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 335-335
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 392-392
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 829-829
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 216-216
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 405-405
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 426-426
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36671-36671
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 634-634
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36670-36670
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 36669-36669
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 353-353
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7524-7530
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 500.0 e'
menos
que
Numero Real
Objeto auto-conectado
e' uma
instancia
de
Droplet
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7440-7451
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s) 10.0 e'
maior
que
Numero Real
Numero Real
e'
maior
que 2.5
Objeto
10
Objeto
10 e' uma
instancia
de
CoarseParticulateMatter
Objeto
10 e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 7469-7479
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto auto-conectado
e' uma &parte de
Objeto
approximateDiameter
Objeto auto-conectado
and
Numero Real
Micrometer
(s)
Numero Real
e'
maior
ou igual a 2.5
Objeto
25
Objeto
25 e' uma
instancia
de
FineParticulateMatter
Objeto
25 e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3731-3733
courseWRTTrueNorth
Objeto
,
Objeto
and 0.0
AngularDegree
(s)
Objeto
e'
North
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3755-3757
courseWRTTrueNorth
Objeto
,
Objeto
and 135.0
AngularDegree
(s)
Objeto
e'
Southeast
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3739-3741
courseWRTTrueNorth
Objeto
,
Objeto
and 180.0
AngularDegree
(s)
Objeto
e'
South
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3759-3761
courseWRTTrueNorth
Objeto
,
Objeto
and 225.0
AngularDegree
(s)
Objeto
e'
Southwest
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3743-3745
courseWRTTrueNorth
Objeto
,
Objeto
and 270.0
AngularDegree
(s)
Objeto
e'
West
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3763-3765
courseWRTTrueNorth
Objeto
,
Objeto
and 315.0
AngularDegree
(s)
Objeto
e'
Northwest
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3747-3749
courseWRTTrueNorth
Objeto
,
Objeto
and 360.0
AngularDegree
(s)
Objeto
e'
North
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3751-3753
courseWRTTrueNorth
Objeto
,
Objeto
and 45.0
AngularDegree
(s)
Objeto
e'
Northeast
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3735-3737
courseWRTTrueNorth
Objeto
,
Objeto
and 90.0
AngularDegree
(s)
Objeto
e'
East
em relacao a
Objeto
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1702-1708
Funcao de Quantidade
e'
igual
a
Numero Real
MilesPerHour
(s)
Funcao de Quantidade
e'
igual
a
Numero Real
Mile
(s)
por
1
HourDuration
(s)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1783-1787
hearingAcuity
Humano
, -10
Decibel
(s) and 15
Decibel
(s)
NormalHearingSensitivity
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1794-1798
hearingAcuity
Humano
, 16
Decibel
(s) and 25
Decibel
(s)
BorderlineHearingSensitivity
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1805-1809
hearingAcuity
Humano
, 26
Decibel
(s) and 40
Decibel
(s)
MildHearingLoss
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1815-1819
hearingAcuity
Humano
, 41
Decibel
(s) and 55
Decibel
(s)
ModerateHearingLoss
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1826-1830
hearingAcuity
Humano
, 56
Decibel
(s) and 70
Decibel
(s)
ModeratelySevereHearingLoss
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1837-1841
hearingAcuity
Humano
, 71
Decibel
(s) and 90
Decibel
(s)
SevereHearingLoss
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1848-1852
hearingAcuity
Humano
, 91
Decibel
(s) and 200
Decibel
(s)
ProfoundHearingLoss
e' um
atributo
de
Humano
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13605-13611
A
medida
de
Fisico
e'
Numero Real
MetricTon
(s) a
medida
de
Fisico
e'
Numero Real
+ 2205.0
PoundMass
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2680-2690
Entidade
e' uma
instancia
de
Regiao
Entidade
tem um
atributo
de
StandardAmbientTemperaturePressure
vale
durante
Posicao Temporal
airTemperature
Entidade
and 298.15
KelvinDegree
(s)
barometricPressure
Entidade
and 29.530
InchMercury
(s)
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
People.kif 357-390
Ano
e' uma
instancia
de o
ano
Ano
EAR
MaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 238-264
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandLiveBirthsFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+ 1000 e'
igual
a
Numero Real
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
Numero Inteiro
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 403-436
Ano
e' uma
instancia
de o
ano
Numero Inteiro
FemaleLifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 310-342
Ano
e' uma
instancia
de o
ano
Numero Inteiro
LifeExpectancyAtBirthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
Lista
Numero Inteiro
,
Sequencia Simbolica
,
Entidade
,
Entidade
and
Entidade
Lista
e' uma
instancia
de
Lista
comprimento
de
Lista
e' uma
instancia
de
Numero Inteiro
Lista
ITEM
Lista
ITEM e' um
membro
de
Lista
Lista
ITEM e' uma
instancia
de
Sequencia Simbolica
Entidade
Entidade
e' uma
instancia
de
Sequencia Simbolica
Entidade
e' um
membro
de
Lista
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
average
Lista
and
Numero Real
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4711-4720
OpenSea
e' um
atributo
de
Objeto
Fisico
Numero Real
Objeto
e' uma
instancia
de
Area Aquatica salgada
Objeto
e' uma
instancia
de
LandlockedWater
a
distancia
entre
Fisico
e
Objeto
e'
Numero Real
NauticalMile
(s)
Numero Real
e'
maior
que 5.0
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1928-1933
compressionRatio
Engine
and
Numero Real
minCylinderVolume
Engine
and
Numero Real
Unidade de Medida
(s)
maxCylinderVolume
Engine
and
Unidade de Medida
AX
Unidade de Medida
(s)
Numero Real
e'
igual
a
Numero Real
+
Unidade de Medida
AX
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1702-1708
Funcao de Quantidade
e'
igual
a
Numero Real
MilesPerHour
(s)
Funcao de Quantidade
e'
igual
a
Numero Real
Mile
(s)
por
1
HourDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7758-7766
Objeto
e'
maior
do que
Objeto
Numero Real
Numero Real
and
Unidade de Medida
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfLength
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13605-13611
A
medida
de
Fisico
e'
Numero Real
MetricTon
(s) a
medida
de
Fisico
e'
Numero Real
+ 2205.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 378-380
A
medida
de
Fisico
e'
Numero Real
AngularDegree
(s) a
medida
de
Fisico
e' 60.0 +
Numero Real
ArcMinute
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 397-399
A
medida
de
Fisico
e'
Numero Real
ArcMinute
(s) a
medida
de
Fisico
e' 60.0 +
Numero Real
ArcSecond
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13326-13331
A
medida
de
Fisico
e'
Numero Real
OunceMass
(s) a
medida
de
Fisico
e'
Numero Real
+ 16.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1129-1137
sectorValueOfGDPInPeriod
Area Geopolitica
,
IndustryAttribute
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
sectorValueOfGDP
Area Geopolitica
,
IndustryAttribute
and
Numero Real
Unidade de Medida
(s)
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7596-7611
amount
Substancia
,
Objeto Corpuscular
and
Numero Real
UnitOfMass
(s)
Substancia
I e' uma
instancia
de
Substancia
a
medida
de
Substancia
I e'
Numero Real
2
UnitOfMass
(s)
Substancia
I e' uma &parte de
Objeto Corpuscular
Lista
Numero Real
2
UnitOfMass
(s) e' um
membro
de
Lista
Lista
e'
igual
a
AmountsFn
Substancia
,
Objeto Corpuscular
and
UnitOfMass
Numero Real
e'
igual
a
ListSumFn
Lista
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2080-2090
arableLandArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
igual
a
Numero Real
+
Numero Real
arableLandArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2092-2106
arableLandArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a 0.0
totalArea
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfArea
Area Geografica
Area Geografica
e' uma
instancia
de
ArableLand
geographicSubregion
Area Geografica
and
Area Geografica
a
medida
de
Area Geografica
e'
Numero Real
+
Numero Real
Unidade de Medida
(s)
No TPTP formula. May not be expressible in strict first order.
ArabicCulture.kif 204-223
Muslim
e' um
atributo
de
AutonomousAgent
valor
da propriedade de
AutonomousAgent
e'
igual
a
Medida de Divisa
o argumento
Entidade
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Zakat
Entidade
e' uma
instancia
de
Ano
Entidade
acontece
durante
tempo
de existencia de
AutonomousAgent
FullyFormed
e' um
atributo
de
AutonomousAgent
vale
durante
Entidade
Entidade
e' um
agente
de
AutonomousAgent
Entidade
e' um
patient
de
Entidade
o
valor
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e' uma
instancia
de
UnitOfCurrency
Entidade
e'
maior
que
Medida de Divisa
+ 0.025 tem a
forca
modal
de
Obligation
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18728-18737
CollegeFreshman
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
menos
que 1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18743-18753
CollegeJunior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 2
Numero Real
e'
menos
que 3
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18759-18769
CollegeSenior
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 3
Numero Real
e'
menos
que 4
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18775-18785
CollegeSophomore
e' um
atributo
de
Posicao
Humano
ocupa a
posicao
de
Posicao
Organizacao
Numero Real
student
Humano
and
Organizacao
vale
durante
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 1
Numero Real
e'
menos
que 2
No TPTP formula. May not be expressible in strict first order.
Hotel.kif 1186-1201
Oversized
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
imediata de
Classe
Classe
e' uma
sub
-classe de
HotelUnit
Fisico
Numero Real
,
Numero Real
and
Unidade de Medida
Fisico
e' uma
instancia
imediata de
Classe
Unidade de Medida
e' uma
instancia
de
UnitOfArea
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e' uma
instancia
de
Medida de Area
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Government.kif 1132-1152
Humano
e' um
cidadao
de
Nacao
UniversalSuffrageLaw
e' uma &sub-proposicao de
RegionalLawFn
Nacao
RegionalLawFn
Nacao
autoriza
Humano
a executar tarefas de tipo
Entidade
Entidade
and
Entidade
Humano
e' um
cidadao
de
Nacao
suffrageAgeMinimum
Nacao
and
Entidade
YearDuration
(s) a
idade
de
Humano
e'
Entidade
YearDuration
(s)
Entidade
e'
maior
ou igual a
Entidade
Entidade
e' uma
instancia
de
ElectionFn
Nacao
Entidade
Entidade
e' uma
instancia
de
VotingFn
Entidade
Entidade
e' um
agente
de
Humano
No TPTP formula. May not be expressible in strict first order.
Geography.kif 659-669
comparativeArea
Area Geografica
,
BinaryRelationExtendedToQuantities
,
Numero Real positivo
and
Area Geografica
Unidade de Medida
e' uma
instancia
de
UnitOfArea
a
medida
de
Area Geografica
e'
Numero Real
Unidade de Medida
(s) a
medida
de
Area Geografica
e'
Numero Real
Unidade de Medida
(s)
BinaryRelationExtendedToQuantities
Numero Real
Unidade de Medida
(s) and
Numero Real positivo
+
Numero Real
Unidade de Medida
(s)
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
statement
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29358-29358
boilingPoint
Actinium
and 3470.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29206-29206
boilingPoint
Aluminum
and 2740.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29370-29370
boilingPoint
Americium
and 2880.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29282-29282
boilingPoint
Antimony
and 2023.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29216-29216
boilingPoint
Argon
and 87.29
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29246-29246
boilingPoint
Arsenic
and 886.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29350-29350
boilingPoint
Astatine
and 610.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29292-29292
boilingPoint
Barium
and 1913.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29188-29188
boilingPoint
Beryllium
and 3243.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29346-29346
boilingPoint
Bismuth
and 1833.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29190-29190
boilingPoint
Boron
and 2823.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29250-29250
boilingPoint
Bromine
and 331.93
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29276-29276
boilingPoint
Cadmium
and 1038.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29290-29290
boilingPoint
Caesium
and 963.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29220-29220
boilingPoint
Calcium
and 1760.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29192-29192
boilingPoint
Carbon
and 5100.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29296-29296
boilingPoint
Cerium
and 3530.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29214-29214
boilingPoint
Chlorine
and 238.55
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29228-29228
boilingPoint
Chromium
and 2755.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29234-29234
boilingPoint
Cobalt
and 3143.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29238-29238
boilingPoint
Copper
and 2868.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29312-29312
boilingPoint
Dysprosium
and 2608.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29316-29316
boilingPoint
Erbium
and 2783.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29306-29306
boilingPoint
Europium
and 1870.0
KelvinDegree
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 29198-29198
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