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
equal
Sigma KEE - equal
equal
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1391-1392
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 48-49
No TPTP formula. May not be expressible in strict first order.
spanish_format.kif 53-54
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 297-297
No TPTP formula. May not be expressible in strict first order.
english_format.kif 302-302
No TPTP formula. May not be expressible in strict first order.
french_format.kif 171-171
No TPTP formula. May not be expressible in strict first order.
relations-it.txt 96-96
No TPTP formula. May not be expressible in strict first order.
japanese_format.kif 1991-1991
No TPTP formula. May not be expressible in strict first order.
portuguese_format.kif 123-123
No TPTP formula. May not be expressible in strict first order.
relations-cz.txt 179-179
No TPTP formula. May not be expressible in strict first order.
relations-de.txt 387-387
No TPTP formula. May not be expressible in strict first order.
relations-hindi.txt 136-136
No TPTP formula. May not be expressible in strict first order.
relations-ro.kif 191-191
No TPTP formula. May not be expressible in strict first order.
relations-sv.txt 178-178
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 205-205
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 298-298
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22317-22317
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 22316-22316
No TPTP formula. May not be expressible in strict first order.
relations-tg.txt 206-206
antecedent
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4768-4779
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.
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.
People.kif 206-223
MaleToFemaleRatioFn
Area Geopolitica
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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1508-1513
Numero Real
e'
igual
a
StandardDeviationFn
Lista
Numero Real
e'
igual
a a
raiz
quadrada de
VarianceFn
Lista
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 3034-3042
FinancialInstrument
FinancialInstrument
Price and
Medida de Divisa
Agreement
e' uma
instancia
de
Option
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price and
AutonomousAgent
strikePrice
Agreement
and
Medida de Divisa
FinancialInstrument
Price e'
igual
a
Medida de Divisa
atTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14079-14089
agreementClause
Proposicao
,
Atributo Deontico
,
Agreement
and
Agente Cognitivo
Atributo Deontico
e'
igual
a
Obligation
Atributo Deontico
e'
igual
a
Promise
o argumento
Entidade
Entidade
exprime
o conteudo de
Proposicao
Entidade
e' um
agente
de
Agente Cognitivo
tem a
forca
modal
de
Likely
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.
Medicine.kif 172-187
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Female
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 12
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 155-170
Anemia
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Sangue
Objeto
e' uma &parte de
Objeto
Male
e' um
atributo
de
Objeto
a
medida
de
Objeto
e' 0.1
Liter
(s)
Objeto
E e' uma
instancia
de
Hemoglobin
Objeto
E e' uma &parte de
Objeto
Objeto
E2 e' uma
instancia
de
Hemoglobin
Objeto
E e'
igual
a
Objeto
E2
Objeto
2 e' uma &parte de
Objeto
a
medida
de
Objeto
E e'
Numero Real
Gram
(s)
Numero Real
e'
menos
que 13
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.
ComputingBrands.kif 2693-2704
Concave
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Outside
em relacao a
Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.
ComputingBrands.kif 2665-2676
Convex
e' um
atributo
de
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e' uma &parte de
Objeto auto-conectado
Objeto
e'
igual
a
LineFn
Objeto
and
Objeto
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e'
Inside
em relacao a
Objeto auto-conectado
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 4078-4095
GeometricFigure
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
FourPosterBed
GeometricFigure
e' uma
instancia
de
Quadrilateral
o
lado
de
GeometricFigure
e'
OneDimensionalFigure
o
lado
de
GeometricFigure
e'
OneDimensionalFigure
OneDimensionalFigure
e'
igual
a
OneDimensionalFigure
Objeto
Objeto
,
GeometricPoint
and
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Floor
Objeto
e'
On
em relacao a
Objeto
Objeto
e'
Vertical
em relacao a
Objeto
pointOfIntersection
OneDimensionalFigure
,
OneDimensionalFigure
and
GeometricPoint
GeometricPoint
e' um
atributo
de
Objeto
Objeto
encontra
Objeto
No TPTP formula. May not be expressible in strict first order.
Merge.kif 8086-8094
O
comeco
de
Intervalo Temporal
comeca
antes
de o
comeco
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Intervalo Temporal
termina
em
Intervalo Temporal
No TPTP formula. May not be expressible in strict first order.
Media.kif 2889-2895
codeMapping
ISO-4217-A
,
Sequencia Simbolica
and
UnitOfCurrency
codeMapping
ISO-3166-1-alpha-2
,
Sequencia Simbolica
and
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Area Geopolitica
Sequencia Simbolica
e'
igual
a
SubstringFn
Sequencia Simbolica
, 0 and 2
currencyType
Area Geopolitica
and
UnitOfCurrency
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.
Merge.kif 4768-4779
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.
Mid-level-ontology.kif 26329-26340
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.
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 751-762
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.
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.
People.kif 1528-1539
beliefGroupPercentInRegion
BeliefGroup
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Fisico
,
Fisico
2,
Numero Real
1 and
Numero Real
2
Fisico
e'
situado
em
Area Geografica
Fisico
e'
membro
de
BeliefGroup
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
1
Fisico
2 e'
situado
em
Area Geografica
Fisico
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
2
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.
People.kif 206-223
MaleToFemaleRatioFn
Area Geopolitica
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
No TPTP formula. May not be expressible in strict first order.
Weather.kif 1508-1513
Numero Real
e'
igual
a
StandardDeviationFn
Lista
Numero Real
e'
igual
a a
raiz
quadrada de
VarianceFn
Lista
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.
People.kif 1547-1558
ethnicityPercentInRegion
Grupo Etnico
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Fisico
,
Fisico
2,
Numero Real
1 and
Numero Real
2
Fisico
e'
situado
em
Area Geografica
Fisico
e'
membro
de
Grupo Etnico
Fisico
e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
1
Fisico
2 e'
situado
em
Area Geografica
Fisico
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
2
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.
Mid-level-ontology.kif 30223-30236
Alone
e' um
atributo
de
Entidade
vale
durante
Intervalo Temporal
Entidade
2
Processo
Entidade
e'
igual
a
Entidade
2
Entidade
2 e' uma
instancia
de
AutonomousAgent
Processo
e' uma
instancia
de
Interacao Social
tempo
de existencia de
Processo
acontece
durante
Intervalo Temporal
involvedInEvent
Processo
and
Entidade
involvedInEvent
Processo
and
Entidade
2
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3504-3513
Entidade
e' uma
instancia
de
Continente
Africa
e'
igual
a
Entidade
NorthAmerica
e'
igual
a
Entidade
SouthAmerica
e'
igual
a
Entidade
Antarctica
e'
igual
a
Entidade
Europe
e'
igual
a
Entidade
Asia
e'
igual
a
Entidade
Oceania
e'
igual
a
Entidade
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 6478-6488
Entidade
e' uma
instancia
de
ConjugatedSubstance
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e'
igual
a
Objeto
Processo
e' uma
instancia
de
Sintese Quimica
Objeto
e' um
recurso
para
Processo
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3488-3494
Entidade
e' uma
instancia
de
Hemisphere
Entidade
e'
igual
a
NorthernHemisphere
Entidade
e'
igual
a
SouthernHemisphere
Entidade
e'
igual
a
EasternHemisphere
Entidade
e'
igual
a
WesternHemisphere
No TPTP formula. May not be expressible in strict first order.
People.kif 1566-1577
languagePercentInRegion
Linguagem
,
Numero Real
and
Area Geografica
Colecao
Colecao
,
Agente Sentiente
,
Agente Sentiente
2,
Numero Real
1 and
Numero Real
2
Agente Sentiente
e'
situado
em
Area Geografica
Agente Sentiente
e'
membro
de
Colecao
speaksLanguage
Agente Sentiente
and
Linguagem
memberCount
Colecao
and
Numero Real
1
Agente Sentiente
2 e'
situado
em
Area Geografica
Agente Sentiente
2 e'
membro
de
Colecao
memberCount
Colecao
and
Numero Real
2
Numero Real
+ 100 e'
igual
a
Numero Real
1 +
Numero Real
2
No TPTP formula. May not be expressible in strict first order.
Merge.kif 1867-1871
Numero Real
e'
menor
ou igual a
Numero Real
Numero Real
e'
igual
a
Numero Real
Numero Real
e'
menos
que
Numero Real
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.
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.
Military.kif 933-946
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.
Mid-level-ontology.kif 13333-13336
Numero Real
Numero Real
OunceMass
(s) e'
igual
a
Numero Real
+ 16.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4736-4737
Numero Inteiro
(
Numero Inteiro
+2) e'
igual
a (
Numero Inteiro
+ 1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 4720-4721
Numero Inteiro
(
Numero Inteiro
+1) e'
igual
a (
Numero Inteiro
+ 1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3037-3040
@ROW
Entidade
comprimento
de (@ROW +
Entidade
) e'
igual
a (
comprimento
de (@ROW)+1)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 3042-3046
@ROW
Entidade
comprimento
de (@ROW +
Entidade
)th
elemento
de (@ROW +
Entidade
) e'
igual
a
Entidade
No TPTP formula. May not be expressible in strict first order.
Government.kif 2915-2915
BigSix
e'
igual
a
GroupOf6
appearance as argument number 0
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5265-5265
ArcCosineFn
o
coseno
de
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5275-5275
ArcSineFn
o
seno
de
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Merge.kif 5255-5255
ArcTangentFn
a
tangente
de
Numero Real
e'
igual
a
Numero Real
No TPTP formula. May not be expressible in strict first order.
Military.kif 872-881
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.
Merge.kif 14182-14182
O numero de
instancias
dentro de
Continente
e'
igual
a 7
No TPTP formula. May not be expressible in strict first order.
Media.kif 2003-2003
O numero de
instancias
dentro de
NativityMagi
e'
igual
a 3
No TPTP formula. May not be expressible in strict first order.
Military.kif 895-906
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.
Economy.kif 2008-2008
1
KilowattHour
(s) e'
igual
a 3.6 1
milhao
Joule
s(s)
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2009-2009
1
KilowattHour
(s) e'
igual
a 3600000.0
Joule
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7112-7114
1
WeekDuration
(s) e'
igual
a 7
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7139-7141
1
YearDuration
(s) e'
igual
a 365
DayDuration
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 382-382
1.0
AngularDegree
(s) e'
igual
a 60.0
ArcMinute
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 401-401
1.0
ArcMinute
(s) e'
igual
a 60.0
ArcSecond
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3842-3842
1.0
Fathom
(s) e'
igual
a 6.0
FootLength
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13601-13603
1.0
MetricTon
(s) e'
igual
a 2205.0
PoundMass
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3865-3867
1.0
NauticalMile
(s) e'
igual
a 1852.0
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3861-3863
1.0
NauticalMile
(s) e'
igual
a 6076.1
FootLength
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13696-13700
1.0
SquareMile
(s) e'
igual
a
PerFn
1.0
Mile
(s) and 1.0
Mile
(s)
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 13706-13710
1.0
SquareYard
(s) e'
igual
a
PerFn
1.0
YardLength
(s) and 1.0
YardLength
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 402-402
Numero Real
ArcMinute
(s) e'
igual
a 60.0 +
Numero Real
ArcSecond
(s)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 383-383
Numero Real
AngularDegree
(s) e'
igual
a 60.0 +
Numero Real
ArcMinute
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7151-7153
Numero Real
Amu
(s) e'
igual
a
Numero Real
+ 1.6605402E-24
Gram
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7173-7175
Numero Real
Angstrom
(s) e'
igual
a
Numero Real
+ 1.0E-10
Meter
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7367-7369
Numero Real
AngularDegree
(s) e'
igual
a
Numero Real
+
Pi
+ 180.0
Radian
(s)
No TPTP formula. May not be expressible in strict first order.
Merge.kif 7353-7355
Numero Real
BritishThermalUnit
(s) e'
igual
a
Numero Real
+ 1055.05585262
Joule
(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