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
HeartBeatingAtFasterRate
Sigma KEE - instance
instance
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1359-1361
No TPTP formula. May not be expressible in strict first order.
Merge.kif 84-87
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 17-20
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 17-20
No TPTP formula. May not be expressible in strict first order.
Merge.kif 81-81
O argumento numero 1 de
instance
e' uma
instancia
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Merge.kif 82-82
O argumento numero 2 de
instance
e' uma
instancia
de
Classe
No TPTP formula. May not be expressible in strict first order.
Merge.kif 80-80
instance
e' uma
instancia
de
Predicado Binario
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 305-305
No TPTP formula. May not be expressible in strict first order.
english_format.kif 310-310
No TPTP formula. May not be expressible in strict first order.
french_format.kif 175-175
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 149-149
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1995-1995
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 127-127
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 173-173
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 400-400
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 188-188
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 195-195
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 184-184
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 302-302
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1281-1281
member
e'
relacionado
internamente por SUMO a
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5414-5414
element
e' uma
sub
-relacao de
instance
No TPTP formula. May not be expressible in strict first order.
Merge.kif 89-89
immediateInstance
e' uma
sub
-relacao de
instance
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30247-30247
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 306-306
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30246-30246
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 30245-30245
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 303-303
antecedent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1018-1022
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Empresa
FinancialAccount
e' uma
instancia
de
CorporateAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
FinancialAccount
e' uma
instancia
de
PersonalAccount
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1462-1467
A
altitude
de
Aircraft
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
Aircraft
e' uma
instancia
de
Aircraft
absoluteHeight
Aircraft
and
AltitudeMeasure
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4769-4780
O
valor
absoluto
de
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real
Numero Real nao-negativo
e' uma
instancia
de
Numero Real
Numero Real
e' uma
instancia
de
Numero Real nao-negativo
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real negativo
Numero Real nao-negativo
e'
igual
a (0.0 +
Numero Real
)
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2321-2326
FinancialAccount
e' uma
instancia
de
FinancialAccount
Agente Cognitivo
possui
FinancialAsset
FinancialAccount
e'
igual
a
AccountFn
FinancialAsset
accountHolder
FinancialAccount
and
Agente Cognitivo
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.
Mid-level-ontology.kif 30202-30212
Entidade
e' uma
instancia
de
Parte do Corpo
Bare
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
covers
Entidade
and
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 12512-12519
Processo
e' uma
instancia
de
Combinar
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
Objeto
e' uma &parte de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 26362-26373
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e'
igual
a
Proposicao
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.
ComputerInput.kif 1789-1793
Entidade
e' uma
instancia
de
WindowScrolling
Entidade
e' uma
instancia
de
UserSignifiedGraphicalAction
Entidade
e' uma
instancia
de
WindowScrollingByUser
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1818-1828
Processo
e' uma
instancia
de
Withdrawal
FinancialAccount
e' uma
instancia
de
FinancialAccount
Processo
tem como
origem
CurrencyFn
FinancialAccount
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
FinancialAccount
Processo
causa
Processo
liquidity
FinancialAccount
and
HighLiquidity
No TPTP formula. May not be expressible in strict first order.
Weather.kif 2663-2673
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 82-97
Ano
e' uma
instancia
de o
ano
Numero Inteiro
BirthsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 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 118-133
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 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 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.
People.kif 156-187
Ano
e' uma
instancia
de o
ano
Numero Inteiro
MigrantsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 1
Entidade
e' uma
instancia
de o
ano
Numero Inteiro
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
Numero Real
+ 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
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 52-64
Ano
e' uma
instancia
de o
ano
Numero Inteiro
PopulationGrowthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
P) e'
igual
a 1
Posicao Temporal
e' uma
instancia
de o
ano
Numero Inteiro
P
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
(
Numero Real
+ 1) e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24847-24852
PostalPlace
e'
situado
em
PostcodeArea
PostalPlace
e' uma
instancia
de
PostalPlace
PostcodeArea
e' uma
instancia
de
PostcodeArea
postPostcodeArea
PostalPlace
and
PostcodeArea
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24820-24825
PostalPlace
e'
situado
em
Cidade
PostalPlace
e' uma
instancia
de
PostalPlace
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
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.
FinancialOntology.kif 1018-1022
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Empresa
FinancialAccount
e' uma
instancia
de
CorporateAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 996-1000
accountHolder
FinancialAccount
and
Agente Cognitivo
Agente Cognitivo
e' uma
instancia
de
Humano
FinancialAccount
e' uma
instancia
de
PersonalAccount
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4769-4780
O
valor
absoluto
de
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real
Numero Real nao-negativo
e' uma
instancia
de
Numero Real
Numero Real
e' uma
instancia
de
Numero Real nao-negativo
Numero Real
e'
igual
a
Numero Real nao-negativo
Numero Real
e' uma
instancia
de
Numero Real negativo
Numero Real nao-negativo
e'
igual
a (0.0 +
Numero Real
)
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.
Mid-level-ontology.kif 30202-30212
Entidade
e' uma
instancia
de
Parte do Corpo
Bare
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
Entidade
Entidade
e' uma
instancia
de
Roupa
covers
Entidade
and
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 26362-26373
Processo
e' uma
instancia
de
Photocopying
ContentBearingPhysical
e' um
patient
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
ContentBearingPhysical
Proposicao
ContentBearingPhysical
e' o
resultado
de
Processo
ContentBearingPhysical
e' uma
instancia
de
VisualContentBearingObject
ContentBearingPhysical
contem
informacao
Proposicao
Proposicao
e'
igual
a
Proposicao
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.
ComputerInput.kif 1789-1793
Entidade
e' uma
instancia
de
WindowScrolling
Entidade
e' uma
instancia
de
UserSignifiedGraphicalAction
Entidade
e' uma
instancia
de
WindowScrollingByUser
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 82-97
Ano
e' uma
instancia
de o
ano
Numero Inteiro
BirthsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 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 118-133
Ano
e' uma
instancia
de o
ano
Numero Inteiro
DeathsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
PopulationFn
Area Geopolitica
+ 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 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.
People.kif 156-187
Ano
e' uma
instancia
de o
ano
Numero Inteiro
MigrantsPerThousandFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a 1
Entidade
e' uma
instancia
de o
ano
Numero Inteiro
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
Numero Real
+ 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
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
(
Numero Inteiro
+
Numero Inteiro
) e'
igual
a
Numero Real
Numero Real
+
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
People.kif 52-64
Ano
e' uma
instancia
de o
ano
Numero Inteiro
PopulationGrowthFn
Area Geopolitica
and
Ano
e'
igual
a
Numero Real
(
Numero Inteiro
+
Numero Inteiro
P) e'
igual
a 1
Posicao Temporal
e' uma
instancia
de o
ano
Numero Inteiro
P
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Ano
PopulationFn
Area Geopolitica
e'
igual
a
Numero Real
vale
durante
Posicao Temporal
Numero Real
+
Numero Real
e'
igual
a
Numero Real
(
Numero Real
+ 1) e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1517-1522
annualExpendituresOfAreaInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualExpendituresOfArea
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1488-1493
annualRevenuesOfAreaInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
annualRevenuesOfArea
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 744-755
PolyphonicMusic
e' um
atributo
de
Objeto
Processo
Processo
Objeto
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
MakingMusic
Processo
e' uma
instancia
de
MakingMusic
Processo
e' um
sub
-processo de
Objeto
Processo
e' um
sub
-processo de
Objeto
Processo
e'
igual
a
Processo
Processo
acontece
ao mesmo tempo que
Objeto
Processo
acontece
ao mesmo tempo que
Objeto
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.
FinancialOntology.kif 3943-3948
bankAccount
FinancialAccount
and
BankFinancialOrganization
FinancialAccount
FinancialAccount
e' uma
instancia
de
FinancialAccount
accountAt
FinancialAccount
and
BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.
Economy.kif 1565-1570
capitalExpendituresOfAreaInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
capitalExpendituresOfArea
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3661-3666
currencyExchangePerUSDollar
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
currencyExchangeRate
UnitedStatesDollar
and
Medida de Divisa
vale
durante
Posicao Temporal
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.
Geography.kif 3193-3193
agreementEffectiveDate
AntarcticTreaty
and ?D e' uma
instancia
de o
dia
23
No TPTP formula. May not be expressible in strict first order.
People.kif 456-469
Ano
e' uma
instancia
de o
ano
Numero Inteiro
ChildrenBornPerWomanFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Government.kif 1205-1212
?AGENT ?VOTER, ?ELECTION and ?VOTING
?ELECTION e' uma
instancia
de
ElectionFn
?AGENT ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
Male
e' um
atributo
de ?VOTER
contem
informacao
ExclusiveMaleSuffrage
No TPTP formula. May not be expressible in strict first order.
Government.kif 887-895
?COUNTRY ?ELECTION, ?VOTING and ?VOTER
?COUNTRY e' uma
instancia
de
Nacao
?ELECTION e' uma
instancia
de
ElectionFn
?COUNTRY ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
?VOTER e' um
cidadao
de ?COUNTRY
contem
informacao
VoterCitizenshipRequirement
No TPTP formula. May not be expressible in strict first order.
Government.kif 1056-1067
?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
?AGENT e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?AGENT e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?AGENT e'
capaz
de fazer
VotingFn
?ELECTION no role
agent
contem
informacao
UniversalSuffrageLaw
No TPTP formula. May not be expressible in strict first order.
Government.kif 1124-1138
?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
?VOTER e' um
cidadao
de ?POLITY
suffrageAgeMinimum
?POLITY and ?VOTINGAGE
YearDuration
(s) a
idade
de ?VOTER e' ?AGE
YearDuration
(s) ?AGE e'
maior
ou igual a ?VOTINGAGE ?ELECTION e' uma
instancia
de
ElectionFn
?POLITY
?VOTING ?VOTING e' uma
instancia
de
VotingFn
?ELECTION ?VOTING e' um
agente
de ?VOTER
contem
informacao
CompulsorySuffrageLaw
No TPTP formula. May not be expressible in strict first order.
WMD.kif 921-929
biochemicalAgentSyndrome
?AGENT and ?SYMPTOM
biochemicalAgentAntidote
?AGENT, ?SUBSTANCE and ?PROCESS ?SAMPLE e' uma
instancia
de ?SUBSTANCE ?THERAPY e' uma
instancia
de ?PROCESS ?ORGANISM
experimenta
?THERAPY ?SAMPLE e' um
patient
de ?THERAPY
diminui
a probabilidade de ?SYMPTOM e' um
atributo
de ?ORGANISM
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18229-18246
?X ?CUT, ?PAPER, ?CBO and ?INFO ?X e' uma
instancia
de
PaperShredder
?CUT e' uma
instancia
de
Cortar
?X e' um
instrumento
para ?CUT ?PAPER e' uma
instancia
de
Paper
?PAPER e' um
patient
de ?CUT ?CBO e'
situado
em ?PAPER ?CBO e' uma
instancia
de
VisualContentBearingObject
?CBO
contem
informacao ?INFO
diminui
a probabilidade de ?READ ?READ e' uma
instancia
de
Interpreting
?INFO e' um
patient
de ?READ
tempo
de existencia de ?CUT acontence
antes
de
tempo
de existencia de ?READ
No TPTP formula. May not be expressible in strict first order.
Military.kif 863-872
AvailableForMilitaryServiceMaleFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Military.kif 886-897
FitForMilitaryServiceMaleFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31766-31771
OrganismPopulationFn
Organismo
and
Area Geografica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Organismo
I
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 31744-31749
PopulationFn
Area Geopolitica
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Military.kif 924-937
ReachingMilitaryAgeAnnuallyMaleFn
Area Geopolitica
and
Ano
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4559-4564
Processo
Entidade
Processo
e' uma
instancia
de
Disseminar
Processo
e' um
agente
de
Netflix
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Filme
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 4566-4569
Processo
Processo
e' uma
instancia
de
FilmMaking
Processo
e' um
agente
de
Netflix
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2453-2457
Posicao Temporal
Posicao Temporal
e' uma
instancia
de o
ano
1976
coworker
SteveJobsOfApple
and
SteveWozniakOfApple
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2441-2445
Posicao Temporal
Posicao Temporal
e' uma
instancia
de o
ano
2002
coworker
SteveJobsOfApple
and
TimCookOfApple
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Merge.kif 825-826
Entidade
Entidade
e' uma
instancia
de
Entidade
No TPTP formula. May not be expressible in strict first order.
Media.kif 1970-1978
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
termina
em
tempo
de existencia de
JesusOfNazareth
Intervalo Temporal
comeca
em
tempo
de existencia de
TwelveApostles
Entidade
Entidade
e'
membro
de
TwelveApostles
vale
durante
Intervalo Temporal
friend
Entidade
and
JesusOfNazareth
vale
durante
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 3309-3315
IBookstore
tem por
fim
?D ?D e' uma
instancia
de
DownloadingOverNetwork
IBookstore
e' um
instrumento
para ?D ?T e' uma
instancia
de
Texto
objectTransferred
?D and ?T
No TPTP formula. May not be expressible in strict first order.
Media.kif 2501-2504
Serbia
e' uma
instancia
de
EuropeanNation
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2496-2499
Serbia
e' uma
instancia
de
IndependentState
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2506-2509
Serbia
se chama
nome
"Republic of Serbia"
Posicao Temporal
e' uma
instancia
de o
dia
5
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2528-2531
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
EuropeanNation
vale
durante
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2523-2526
Posicao Temporal
e' uma
instancia
de o
dia
3
Montenegro
e' uma
instancia
de
IndependentState
vale
durante
apos
Posicao Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1177-1177
CellPartFn
Celula
and
CellPart
e' uma
instancia
de
CellPart
No TPTP formula. May not be expressible in strict first order.
VirusProteinAndCellPart.kif 1166-1166
ViralPartFn
Virus
and
VirusPart
e' uma
instancia
de
VirusPart
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 2520-2520
AAA-Rating
e' uma
instancia
de
FinancialRating
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3220-3220
ABPFn
e' uma
instancia
de
funcao Unaria
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 4417-4417
ABTest
e' uma
instancia
de
ExperimentAttribute
No TPTP formula. May not be expressible in strict first order.
Languages.kif 5379-5379
APucikwarLanguage
e' uma
instancia
de
CentralGreatAndamaneseLanguage
No TPTP formula. May not be expressible in strict first order.
Government.kif 2838-2838
ASEANRegionalForum
e' uma
instancia
de
OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3265-3265
ASPFn
e' uma
instancia
de
funcao Unaria
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2122-2122
ATandTCorp
e' uma
instancia
de
Empresa
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6421-6421
AVPUAlertStatus
e' uma
instancia
de
AVPUStatus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6461-6461
AVPUPainStatus
e' uma
instancia
de
AVPUStatus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6484-6484
AVPUUnresponsiveStatus
e' uma
instancia
de
AVPUStatus
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 6439-6439
AVPUVerbalStatus
e' uma
instancia
de
AVPUStatus
No TPTP formula. May not be expressible in strict first order.
Media.kif 2560-2560
AalandIslands
e' uma
instancia
de
Archipelago
No TPTP formula. May not be expressible in strict first order.
Media.kif 2561-2561
AalandIslands
e' uma
instancia
de
DependencyOrSpecialSovereigntyArea
No TPTP formula. May not be expressible in strict first order.
Languages.kif 3771-3771
AariyaLanguage
e' uma
instancia
de
UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 2966-2966
AbbVie
e' uma
instancia
de
Empresa
No TPTP formula. May not be expressible in strict first order.
People.kif 1209-1209
Abbot
e' uma
instancia
de
ReligiousPosition
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 3851-3851
AbbottLaboratories
e' uma
instancia
de
Empresa
No TPTP formula. May not be expressible in strict first order.
Languages.kif 2923-2923
AbinomnLanguage
e' uma
instancia
de
SpokenHumanLanguage
No TPTP formula. May not be expressible in strict first order.
Languages.kif 3777-3777
AbishiraLanguage
e' uma
instancia
de
UnclassifiedSpokenLanguage
No TPTP formula. May not be expressible in strict first order.
Languages.kif 14550-14550
AbkhazLanguage
e' uma
instancia
de
NorthCaucasianLanguage
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2410-2410
AbortedFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2527-2527
AbortedLaunchFn
e' uma
instancia
de
Funcao Binaria
No TPTP formula. May not be expressible in strict first order.
MilitaryProcesses.kif 2430-2430
AbortedMissionFn
e' uma
instancia
de
Funcao Binaria
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