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
exists
Sigma KEE - exists
exists
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 65825-65825
antecedent
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.
FinancialOntology.kif 3920-3926
Intervalo Temporal
Loan
e' uma
instancia
de
Loan
agreementPeriod
Loan
and
Intervalo Temporal
interestEarned
Loan
,
Interest
and
Intervalo Temporal
loanInterest
Loan
and
Interest
No TPTP formula. May not be expressible in strict first order.
QoSontology.kif 989-992
ComputerProcess
programRunning
ComputerProcess
and
Programa de Computador
Programa de Computador
tem um
atributo
de
Executable
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 981-984
Numero
fixedInterestRate
FinancialAccount
and
Numero
FinancialAccount
e' uma
instancia
de
FixedRateAccount
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3051-3062
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3002-3013
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
CallOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
FinancialInstrument
Price
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 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.
FinancialOntology.kif 3015-3026
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
FinancialInstrument
Price e'
menos
que
Numero Real
inTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3064-3075
FinancialInstrument
FinancialInstrument
Price and
Numero Real
Agreement
e' uma
instancia
de
PutOption
underlier
Agreement
and
FinancialInstrument
price
FinancialInstrument
,
FinancialInstrument
Price
Unidade de Medida
(s) and
AutonomousAgent
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
strikePrice
Agreement
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
menos
que
FinancialInstrument
Price
outOfTheMoney
Agreement
and
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Medicine.kif 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.
Military.kif 772-778
Humano
e' um
cidadao
de
Nacao
Objeto
Humano
e'
situado
em
Objeto
Humano
e'
situado
em
Nacao
No TPTP formula. May not be expressible in strict first order.
Dining.kif 130-150
customer
Agente Cognitivo
and
AutonomousAgent
corkageFee
Medida de Divisa
,
Objeto
and
AutonomousAgent
Objeto
e' uma
instancia
de
Objeto
Processo
Processo
e' uma
instancia
de
Comprar
Objeto
e' um
patient
de
Processo
Processo
termina
em
Agente Cognitivo
Processo
tem como
origem
AutonomousAgent
Processo
e' uma
instancia
de
Beber
Processo
e' um
agente
de
Agente Cognitivo
Objeto
e' um
recurso
para
Processo
Processo
Processo
e' uma
instancia
de
Corkage
Processo
e' um
agente
de
Agente Cognitivo
Processo
inclui uma
referencia
a
Objeto
Processo
termina
em
AutonomousAgent
No TPTP formula. May not be expressible in strict first order.
Dining.kif 336-350
facility
AutonomousAgent
and
Objeto
customer
Agente Cognitivo
and
AutonomousAgent
Entidade
e' uma
instancia
de
Objeto
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Processo Intencional
Entidade
e' um
patient
de
Entidade
Entidade
e' um
agente
de
Agente Cognitivo
o argumento
AutonomousAgent
autoriza
Agente Cognitivo
a executar tarefas de tipo
Agente Cognitivo
usa
Entidade
tem a
forca
modal
de
Possibility
No TPTP formula. May not be expressible in strict first order.
Cars.kif 853-866
PhysicalSystem
e' uma
instancia
de
Automobile
PhysicalSystem
e' uma
instancia
de
Automobile
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
Objeto
Objeto
e' uma
instancia
de
AutomobileShock
Objeto
e' uma &parte de
PhysicalSystem
dampingRatio
PhysicalSystem
and
Numero Real
dampingRatio
PhysicalSystem
and
Numero Real
Numero Real
e'
maior
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
Dining.kif 772-795
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
potentialCustomer
Agente Cognitivo
and
AutonomousAgent
o argumento
Entidade
e' uma
instancia
de
Reserving
Entidade
termina
em
AutonomousAgent
tem a
forca
modal
de
Necessity
a
probabilidade
de
Entidade
ES1
Entidade
ES1 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES1
fulfillingEntity
AutonomousAgent
and
Entidade
ES1 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
a
probabilidade
de
Entidade
ES2
Entidade
ES2 e' uma
instancia
de
Reservation
reservingEntity
Agente Cognitivo
and
Entidade
ES2
fulfillingEntity
AutonomousAgent
and
Entidade
ES2 sabendo que
customer
Agente Cognitivo
and
AutonomousAgent
vale e'
Numero Real
Numero Real
e'
menos
que
Numero Real
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 759-775
LiabilityAccount
e' uma
instancia
de
LiabilityAccount
minimumPayment
LiabilityAccount
,
Numero Real
Unidade de Medida
(s) and
MonthDuration
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Processo
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Mes
Processo
termina
em
CurrencyFn
LiabilityAccount
paymentsPerPeriod
LiabilityAccount
,
Numero Real
Unidade de Medida
(s) and
Intervalo Temporal
Numero Real
e'
menos
que
Numero Real
Processo
Processo
e' uma
instancia
de
Penalty
Processo
termina
em
CurrencyFn
LiabilityAccount
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 5016-5025
Objeto
e' uma
instancia
de
Bubble
Objeto
Atributo
Atributo
e' um
atributo
de
Objeto
Objeto
e'
igual
a
Gas
Objeto
encontra
Objeto
ConvexRoundShape
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 3239-3259
Colecao
e' uma
instancia
de
Colecao
Numero Real
e' uma
instancia
de
Medida de Divisa
Numero Inteiro
e' uma
instancia
de
Numero Real
Numero Real
e'
igual
a
GMBFn
Colecao
Numero Inteiro
e'
igual
a o numero de
instancias
dentro de a
classe
descrita por
Sequencia Simbolica
ABPFn
Colecao
e'
igual
a
Numero Real
+
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Dining.kif 586-602
Processo
e' uma
instancia
de
CateringService
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Processo
UST
AutonomousAgent
e'
situado
em
Objeto
customer
Processo
UST and
AutonomousAgent
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Cozinhar
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
Comer
Processo
e' um
agente
de
Processo
UST
eventLocated
Processo
and
Objeto
Objeto
e'
igual
a
Objeto
No TPTP formula. May not be expressible in strict first order.
Cars.kif 1772-1786
Objeto
e' uma
instancia
de
Substancia Composta
Substancia Composta
e' uma
sub
-classe de
Substancia Composta
Objeto
Objeto
e' uma
instancia
de
Substancia Composta
Objeto
e' uma &parte de
Objeto
molecularRatio
Substancia Elementar
,
Numero Inteiro
and
Substancia Composta
Colecao
e' uma
instancia
de
Grupo
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Substancia Elementar
memberCount
Colecao
and
Numero Inteiro
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3905-3921
Entidade
e' uma
instancia
de
Electromagnet
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
Entidade
e' uma
instancia
de
Electricity
objectTransferred
Entidade
and
Entidade
Entidade
e' o
caminho
ao longo do qual
Entidade
ocorre
vale
durante
Entidade
1
Entidade
Entidade
e' uma
instancia
de
Magnetism
Entidade
e' um
instrumento
para
Entidade
vale
durante
Entidade
1
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1417-1436
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Organismo
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 1395-1413
Aparelho
e' uma
instancia
de
Gun
Unidade de Medida
e' uma
instancia
de
UnitOfLength
effectiveRange
Aparelho
and
Numero Real
Unidade de Medida
(s) a
distancia
entre
Aparelho
e
Objeto
e'
Numero Real
1
Unidade de Medida
(s)
Objeto
2
Objeto
2 esta'
entre
Objeto
e
Aparelho
Numero Real
1 e'
menor
ou igual a
Numero Real
Sequencia Simbolica
Aparelho
e'
capaz
de fazer a
classe
descrita por
Sequencia Simbolica
no role
instrument
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 1496-1518
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
_CLASS e' uma
sub
-classe de
Processo
AccessingWebPage
e' uma
instancia
de
AccessingWebPage
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AccessingWebPage
e' um
agente
de
AutonomousAgent
Intervalo Temporal
acontece
durante
AccessingWebPage
Fisico
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
2
Intervalo Temporal
2 e' uma
instancia
de
Intervalo Temporal
_CLASS
Intervalo Temporal
2 e' um
agente
de
AutonomousAgent
Intervalo Temporal
2 acontece
durante
AccessingWebPage
o
comeco
de
tempo
de existencia de
Intervalo Temporal
2 comeca
antes
de o
comeco
de
tempo
de existencia de
Intervalo Temporal
o
comeco
de
tempo
de existencia de
AccessingWebPage
e'
igual
a o
comeco
de
tempo
de existencia de
Fisico
o
comeco
de
tempo
de existencia de
Intervalo Temporal
e'
igual
a o
fim
de
tempo
de existencia de
Fisico
TTFxFn
Intervalo Temporal
_CLASS and
AccessingWebPage
e'
igual
a
Fisico
No TPTP formula. May not be expressible in strict first order.
MilitaryDevices.kif 1409-1418
Processo
e' uma
instancia
de
TakingOff
Entidade
e' um
patient
de
Processo
Processo
Processo
e' uma
instancia
de
Explosion
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
AbsoluteDud
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.
Mid-level-ontology.kif 30178-30188
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 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.
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.
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 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.
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 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.
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.
Mid-level-ontology.kif 23046-23051
aunt
Woman
and
Humano
Humano
sister
Woman
and
Humano
Humano
e' um
genitor
de
Humano
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.
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.
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.
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.
Mid-level-ontology.kif 23061-23076
cousin
Humano
and
Humano
Woman
Man
grandmother
Humano
and
Woman
grandfather
Humano
and
Man
grandmother
Humano
and
Woman
grandfather
Humano
and
Man
Organismo
Organismo
Organismo
e' a
mae
de
Humano
Organismo
e' o
pai
de
Humano
Organismo
e' a
mae
de
Humano
Organismo
e' o
pai
de
Humano
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
No TPTP formula. May not be expressible in strict first order.
Economy.kif 3668-3673
currencyExchangeRateInPeriod
UnitOfCurrency
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
currencyExchangeRate
UnitOfCurrency
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 7727-7733
customer
Agente Cognitivo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Processo
e' um
agente
de
AutonomousAgent
Processo
termina
em
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3635-3642
customerRepresentative
Agente Cognitivo
,
Agente Cognitivo
and
Organizacao
Processo
Processo
e' uma
instancia
de
Transacao Financeira
Organizacao
emprega
Agente Cognitivo
Processo
e' um
agente
de
Agente Cognitivo
Processo
termina
em
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2781-2786
earthAltitude
Objeto
and
Medida de Comprimento
Objeto auto-conectado
a
altitude
de
Objeto
e'
Objeto auto-conectado
Objeto auto-conectado
e' uma
superficie
de
PlanetEarth
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2819-2824
economicAidDonatedInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
economicAidDonated
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2859-2864
economicAidReceivedNetInPeriod
Area Geopolitica
,
Medida de Divisa
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
economicAidReceivedNet
Area Geopolitica
and
Medida de Divisa
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Economy.kif 2056-2061
electricityFractionFromSourceInPeriod
Area Geopolitica
,
PowerGeneration
,
Numero Real
and
Intervalo Temporal
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
electricityFractionFromSource
Area Geopolitica
,
PowerGeneration
and
Numero Real
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.
Government.kif 1160-1174
?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.
Mid-level-ontology.kif 18202-18219
?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.
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.
Merge.kif 6099-6106
Caminho do Grafo
Caminho do Grafo
Caminho do Grafo
e' uma
instancia
de o
conjunto
de caminhos que dividem
Grafo
em dois grafos distintos
Caminho do Grafo
e' uma
instancia
de o
conjunto
minimal de caminhos que dividem
Grafo
em dois grafos distintos o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
o
comprimento
de
Caminho do Grafo
e'
Inteiro positivo
Inteiro positivo
e'
menos
que
Inteiro positivo
appearance as argument number 0
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.
Medicine.kif 4590-4593
Agente Cognitivo
NewReporter
e' um
atributo
de
Agente Cognitivo
ProPublica
emprega
Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.
Food.kif 1902-1903
Meal
Regiao
MealAttributeFn
Meal
and
Regiao
e' um
atributo
de
Meal
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.
Cars.kif 5109-5112
Objeto
Objeto
e' uma
sub
-classe de
HandToolBox
manufacturer
Objeto
and
SortimoCorp
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
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