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
greaterThan
Sigma KEE - greaterThan
greaterThan
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1731-1732
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1852-1854
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 339-340
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1848-1848
O argumento numero 1 de
greaterThan
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1849-1849
O argumento numero 2 de
greaterThan
e' uma
instancia
de
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1842-1842
greaterThan
e' uma
instancia
de
Predicado Binario
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1845-1845
greaterThan
e' uma
instancia
de
Relacao Irreflexiva
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1846-1846
greaterThan
e' uma
instancia
de
Relacao estendida a Quantidades
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1843-1843
greaterThan
e' uma
instancia
de
Relacao Total
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1844-1844
greaterThan
e' uma
instancia
de
Relacao Transitiva
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1850-1850
greaterThan
e'
inverso
de
lessThan
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1847-1847
greaterThan
e'
tricotomizado
en
Numero Real
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Geography.kif 4676-4676
comparativeArea
SouthernOcean
,
greaterThan
, 2.0 and
UnitedStates
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.
english_format.kif 111-111
No TPTP formula. May not be expressible in strict first order.
french_format.kif 77-77
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 121-121
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1904-1904
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 29-29
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 77-77
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 127-127
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 161-161
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 96-96
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 76-76
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 248-248
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 112-112
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26532-26532
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26531-26531
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 26530-26530
No TPTP formula. May not be expressible in strict first order.
terms-de.txt 37-37
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 249-249
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1007-1011
Entidade
e' uma
instancia
de
PersonalAccount
o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
e'
maior
que 1
Entidade
e' uma
instancia
de
JointAccount
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.
Medicine.kif 367-385
breathingRate
AutonomousAgent
,
Intervalo Temporal
and
Numero Inteiro
Intervalo Temporal
e' uma
instancia
de
Minuto
Numero Inteiro
Numero Inteiro
e' uma
instancia
de
Recreacao ou Exercicio
Numero Inteiro
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
tempo
de existencia de
Numero Inteiro
HumanAdult
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Numero Inteiro
e'
maior
que 16
Numero Inteiro
e'
menos
que 12
Healthy
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1370-1377
climateTypeInArea
Area Geografica
and
DesertClimateZone
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
Numero Real
e'
maior
que 18.0
climateTypeInArea
Area Geografica
and
SubtropicalDesertClimateZone
No TPTP formula. May not be expressible in strict first order.
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que 0
Intervalo Temporal
e' uma
instancia
de
Tremor
PhysicalSystem
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
1
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
2
Intervalo Temporal
1 acontece
durante
Intervalo Temporal
Intervalo Temporal
2 acontece
durante
Intervalo Temporal
Intervalo Temporal
1 acontence
antes
de
Intervalo Temporal
2
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 15515-15532
Edicao
Inteiro positivo
de
Objeto Representendo Conteudo Abstrato
e'
igual
a
Objeto Representendo Conteudo Abstrato
edicao
Inteiro positivo
de
Objeto Representendo Conteudo Abstrato
e'
igual
a
Objeto Representendo Conteudo Abstrato
Inteiro positivo
e'
maior
que
Inteiro positivo
Processo
e' uma
instancia
de
Publicacao
Processo
e' uma
instancia
de
Publicacao
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
e' uma
instancia
de
Objeto Representendo Conteudo Abstrato
Entidade
e' um
patient
de
Processo
Entidade
e' um
patient
de
Processo
a
data
de
Processo
e'
Dia
a
data
de
Processo
e'
Dia
o
fim
de
Dia
comeca
antes
de o
fim
de
Dia
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3277-3284
Numero Real
e'
igual
a
AverageFn
Lista
comprimento
de
Lista
e'
maior
que 0
Numero Real
e'
igual
a
ListSumFn
Lista
+
comprimento
de
Lista
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3258-3268
Numero Real
e'
igual
a
ListSumFn
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
FirstFn
Lista
+
ListSumFn
SubListFn
2,
comprimento
de
Lista
and
Lista
)
No TPTP formula. May not be expressible in strict first order.
Media.kif 3068-3089
Sequencia Simbolica
e'
igual
a
ReverseFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
igual
a
StringLengthFn
Sequencia Simbolica
Numero Inteiro nao-negativo
e'
maior
que 1
Numero Inteiro nao-negativo
e'
maior
que 0
Numero Inteiro nao-negativo
e'
menos
que
Numero Inteiro nao-negativo
Numero Inteiro
e'
igual
a o
teto
de (
Numero Inteiro nao-negativo
+ 1) + 2
Numero Inteiro nao-negativo
EW e'
igual
a ((
Numero Inteiro
+
Numero Inteiro nao-negativo
) +
Numero Inteiro
)
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
,
Numero Inteiro nao-negativo
and (1 +
Numero Inteiro nao-negativo
)
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
,
Numero Inteiro nao-negativo
EW and (1 +
Numero Inteiro nao-negativo
EW)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3190-3202
Lista
e'
igual
a
SubListFn
Inteiro positivo
,
Numero Inteiro
and
Lista
(
Numero Inteiro
+
Inteiro positivo
) e'
maior
que 1
Lista
e'
igual
a a
lista
composta de (
Inteiro positivo
th
elemento
de
Lista
) e
SubListFn
(1 +
Inteiro positivo
),
Numero Inteiro
and
Lista
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1453-1465
Numero Real
e'
igual
a
VarianceAverageFn
Numero
and
Lista
comprimento
de
Lista
e'
maior
que 1
Numero Real
e'
igual
a (
VarianceAverageFn
Numero
and 1th
elemento
de
Lista
+
VarianceAverageFn
Numero
and
SubListFn
2,
comprimento
de
Lista
and
Lista
)
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 1070-1075
fOCShipsByOrigin
MerchantMarine
,
Area Geopolitica
and
Numero Inteiro nao-negativo
Numero Inteiro nao-negativo
e'
maior
que 0
marineInventory
MerchantMarine
and
ShipRegister
ShipRegister
e' uma
instancia
de
FlagOfConvenienceRegister
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2884-2902
governorSpeed
SpeedGovernor
and
Funcao de Quantidade
Numero Real
MilesPerHour
(s) e'
igual
a
Medida de Comprimento
por
Duracao Temporal
Numero Real
MilesPerHour
(s) e'
igual
a
Medida de Comprimento
por
Duracao Temporal
Numero Real
e'
maior
que
Numero Real
Numero Real
PROB e'
igual
a a
probabilidade
de a
medida
de
SpeedGovernor
e'
Numero Real
MilesPerHour
(s)
Numero Real
PROB e'
igual
a a
probabilidade
de a
medida
de
SpeedGovernor
e'
Numero Real
MilesPerHour
(s)
Numero Real
PROB e'
maior
que
Numero Real
PROB
No TPTP formula. May not be expressible in strict first order.
WMD.kif 1017-1023
Entidade
e' uma
instancia
de
BiochemicalAgent
lethalDose
BiochemicalAgent
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
que 0.0
Entidade
e' uma
instancia
de
LifeThreateningAgent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1575-1582
Area Geografica
e' uma
instancia
de
Area Geografica
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s) 10.0 e'
maior
que
Numero Real
climateTypeInArea
Area Geografica
and
PolarClimateZone
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 354-365
Processo
e' uma
instancia
de
Auctioning
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Objeto
e' um
patient
de
Processo
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
bidPrice
Objeto
,
Numero Real
Unidade de Medida
(s) and
AutonomousAgent
Numero Real
e'
maior
que
Numero Real
Processo
termina
em
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8722-8729
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Ponto no tempo
e'
igual
a o
comeco
de
Intervalo Temporal
Inteiro positivo
e'
maior
que
Inteiro positivo
Ponto no tempo
comeca
antes
de
Ponto no tempo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8731-8736
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Intervalo Temporal
e' uma
instancia
de o
dia
Inteiro positivo
Inteiro positivo
e'
maior
que
Inteiro positivo
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 342-348
Entidade
e' uma
instancia
de
Humano
a
idade
de
Entidade
e'
Numero Real
YearDuration
(s)
vale
durante
Posicao Temporal
Numero Real
e'
maior
que 12
Numero Real
e'
menos
que 20
Entidade
e' uma
instancia
de
Teenager
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Transportation.kif 2942-2947
Objeto
e' uma
instancia
de
Harbor
equipmentCount
Objeto
,
ShipBerth
and
Numero Real
Numero Real
e'
maior
que 0
Objeto
e'
capaz
de fazer
ShipBerthing
no role
path
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 1753-1773
MusicalTone
e' uma
instancia
de
MusicalTone
soundFrequency
MusicalTone
and
Numero Real
Hertz
(s)
loudness
MusicalTone
and
Numero Real
Decibel
(s)
MusicalTone
e'
situado
em o lugar onde
Humano
estava em o
comeco
de
tempo
de existencia de
MusicalTone
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que
Numero Real
Numero Real
e'
maior
que 250 8000 e'
maior
que
Numero Real
Humano
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Listening
Processo
e' um
agente
de
Humano
hearingAcuity
Humano
,
Numero Real
Decibel
(s) and
Numero Real
Decibel
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13863-13878
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.
Weather.kif 1398-1405
Area Aquatica
e' uma
instancia
de
SurfZone
significantWaveHeight
Area Aquatica
,
tempo
de existencia de
Area Aquatica
and
Numero Real
FootLength
(s)
Numero Real
e'
maior
que 8.0
RedFlagSwimmingCondition
e' um
atributo
de
Area Aquatica
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 5997-6017
Intervalo Temporal
e' uma
instancia
de
TimePeriod
a
duracao
de
Intervalo Temporal
e'
Numero Real
MinuteDuration
(s)
Numero Real
e'
maior
que 5.0
Entidade
e' uma
instancia
de
Humano
Processo
Processo
e' uma
instancia
de
Respirar
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
Entidade
e' um
patient
de
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Morte
Entidade
experimenta
Entidade
Intervalo Temporal
encontra
tempo
de existencia de
Entidade
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13798-13807
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
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.
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.
People.kif 272-293
average
Lista
and
Numero Real
Lista
Inteiro positivo
comprimento
de
Lista
e'
igual
a
comprimento
de
Lista
1th
elemento
de
Lista
e'
igual
a 1th
elemento
de
Lista
Inteiro positivo
Inteiro positivo
e' um
membro
de
Lista
Numero Real
Numero Real
MINUSONE,
Inteiro positivo
and
Inteiro positivo
Numero Real
e'
maior
que 1
Numero Real
e'
menor
ou igual a
comprimento
de
Lista
Inteiro positivo
th
elemento
de
Lista
e'
igual
a
Numero Real
Inteiro positivo
e' um
membro
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e' um
membro
de
Lista
Numero Real
MINUSONE e'
igual
a (
Numero Real
+ 1)
Numero Real
MINUSONE e'
igual
a
Inteiro positivo
th
elemento
de
Lista
Inteiro positivo
e'
igual
a (
Inteiro positivo
+
Inteiro positivo
)
Inteiro positivo
e'
igual
a
comprimento
de
Lista
Numero Real
e'
igual
a
Inteiro positivo
th
elemento
de
Lista
+
Inteiro positivo
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1885-1889
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
igual
a
Numero Real
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1937-1941
Numero Real
e' uma
instancia
de
Numero Real positivo
Numero Real
e'
maior
que 0
Numero Real
e' uma
instancia
de
Numero Real
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.
Geography.kif 1754-1759
FlatTerrain
e' um
atributo
de
Objeto
Area terrestre
e' uma &parte de
Objeto
slopeGradient
Area terrestre
and
Numero Real nao-negativo
0.005 e'
maior
que
Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1766-1771
LowTerrain
e' um
atributo
de
Objeto
Area terrestre
e' uma &parte de
Objeto
slopeGradient
Area terrestre
and
Numero Real nao-negativo
0.03 e'
maior
que
Numero Real nao-negativo
No TPTP formula. May not be expressible in strict first order.
Dining.kif 1165-1176
FamilyStylePortion
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
FamilyStylePortion
e' um
atributo
de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
e'
maior
que
Numero Real
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.
Medicine.kif 3984-4004
ADHD
e' um
atributo
de
AutonomousAgent
ADHD
e' um
atributo
de
AutonomousAgent
AutonomousAgent
e'
igual
a
AutonomousAgent
Processo
e' uma
instancia
de
Classe
Processo
e' uma
instancia
de
Classe
Classe
e' uma
sub
-classe de
Processo Psicologico Intencional
Processo
e' um
agente
de
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
o argumento
Duracao Temporal
e'
maior
que
Duracao Temporal
tem a
forca
modal
de
Likely
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.
Mid-level-ontology.kif 24236-24246
birthdate
Humano
and
Dia
Dia
e' uma
instancia
de o
dia
Inteiro positivo
Dia
Numero Inteiro
birthday
Humano
and
Dia
Dia
e' uma
sub
-classe de
Dia
Numero Inteiro
e' uma
instancia
de
Numero Inteiro
Dia
e'
igual
a o
dia
Inteiro positivo
Numero Inteiro
e'
maior
que
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1538-1544
capitalExpendituresOfAreaInPeriod
Area Geopolitica
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
annualExpendituresOfAreaInPeriod
Area Geopolitica
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1522-1530
climateTypeInArea
Area Geografica
and
ColdClimateZone
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Mes
averageTemperatureForPeriod
Area Geografica
,
Intervalo Temporal
and
Numero Real
CelsiusDegree
(s)
10.0 e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1597-1603
climateTypeInArea
Area Geografica
and
PolarTypeFClimateZone
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
airTemperature
Area Geografica
and
Entidade
CelsiusDegree
(s)
vale
durante
Posicao Temporal
10.0 e'
maior
que
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Cars.kif 809-825
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que 0
Intervalo Temporal
e' uma
instancia
de
Tremor
PhysicalSystem
e' um
patient
de
Intervalo Temporal
Entidade
e' uma
instancia
de
UnitOfLength
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
1
physicalAmplitude
Intervalo Temporal
and
Numero Real
Entidade
(s)
vale
durante
Intervalo Temporal
2
Intervalo Temporal
1 acontece
durante
Intervalo Temporal
Intervalo Temporal
2 acontece
durante
Intervalo Temporal
Intervalo Temporal
1 acontence
antes
de
Intervalo Temporal
2
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18446-18451
defaultMaxValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Quantidade
e'
maior
que
Entidade
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13536-13545
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
tem a
forca
modal
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13547-13558
defaultMaximumMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Classe
e' uma
sub
-classe de
NonCompositeUnitOfMeasure
Unidade de Medida
e' uma
instancia
de
Classe
o argumento
Entidade
Numero Real
UANTITY and
Entidade
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Entidade
(s)
Entidade
e' uma
instancia
de
Classe
Numero Real
UANTITY
Entidade
(s) e'
maior
que
Numero Real
Unidade de Medida
(s) tem a
forca
modal
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13486-13497
defaultMaximumSphereRadius
Objeto
and
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Objeto
Sphere
e' um
atributo
de
Objeto
o argumento
Numero Real
ADIUS
sphereRadius
Objeto
and
Numero Real
ADIUS
Unidade de Medida
(s)
Numero Real
ADIUS e'
maior
que
Numero Real
tem a
forca
modal
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13566-13575
defaultMeasure
Objeto
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
CompositeUnitOfMeasure
o argumento
Entidade
Numero Real
UANTITY
Entidade
e' uma
instancia
de
Objeto
a
medida
de
Entidade
e'
Numero Real
UANTITY
Unidade de Medida
(s)
Numero Real
UANTITY e'
maior
que
Numero Real
+ 1.5 tem a
forca
modal
de
Unlikely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 18429-18434
defaultMinValue
Predicado
,
Inteiro positivo
and
Quantidade
Predicado
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
o argumento
Entidade
e'
maior
que
Quantidade
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2585-2603
engineIdleSpeed
InternalCombustionEngine
and
RotationFn
Numero Real
MilesPerHour
(s) and
Duracao Temporal
Objeto
e' uma
instancia
de
Automobile
Processo
e' uma
instancia
de
GasPedal
Processo
e' uma
instancia
de
Pushing
Processo
termina
em
Objeto
InternalCombustionEngine
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Crankshaft
Objeto
e' uma &parte de
InternalCombustionEngine
a
medida
de
Objeto
e'
RotationFn
Entidade
MilesPerHour
(s) and
Duracao Temporal
vale
durante
tempo
de existencia de
Processo
o argumento
Entidade
e'
maior
que
Numero Real
tem a
forca
modal
de
Likely
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4874-4888
O maior divisor comum de @ROW e'
igual
a
Numero Inteiro
Numero Inteiro
e'
igual
a 0
Numero Inteiro
Numero Inteiro
e'
maior
que
Numero Inteiro
Numero Inteiro
Numero Inteiro
e' um
membro
de (@ROW)
Numero Inteiro
mod
Numero Inteiro
e'
igual
a 0
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18343-18358
Organizacao
e'
igual
a
DepartmentOfFn
Organizacao
and
Fisico
Organizacao
2 e' uma parte da organizacao
Organizacao
Organizacao
e'
igual
a
Organizacao
2
Entidade
e' uma
instancia
de
Fisico
Organizacao
esta'
interessado
em
Entidade
Numero Real
e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
Entidade
2 e'
igual
a a
probabilidade
de
Entidade
e' um
agente
de
Organizacao
2
Numero Real
e'
maior
que
Entidade
2
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
greaterThan