and
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24762-24767
PostalPlace
e'
situado
em
Cidade
PostalPlace
e' uma
instancia
de
PostalPlace
Cidade
e' uma
instancia
de
Cidade
postCity
PostalPlace
and
Cidade
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24675-24680
PostalPlace
e'
situado
em
Neighborhood
PostalPlace
e' uma
instancia
de
PostalPlace
Neighborhood
e' uma
instancia
de
Neighborhood
postNeighborhood
PostalPlace
and
Neighborhood
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24746-24751
PostalPlace
e'
situado
em
Estado ou Provincia
PostalPlace
e' uma
instancia
de
PostalPlace
Estado ou Provincia
e' uma
instancia
de
Estado ou Provincia
postDistrict
PostalPlace
and
Estado ou Provincia
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24712-24719
PostalPlace
e'
situado
em
Area Geopolitica
PostalPlace
e' uma
instancia
de
PostalPlace
Area Geopolitica
e' uma
instancia
de
Nacao
Area Geopolitica
e' uma
instancia
de
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
Area Geopolitica
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.
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.
Merge.kif 17276-17284
Entidade
e' uma
instancia
de
Humano
Entidade
Entidade
nao
emprega
%n
Entidade
vale
durante
Posicao Temporal
Unemployed
e' um
atributo
de
Entidade
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23251-23257
Role em Caso
Processo
and
Objeto
Role em Caso
e' uma
instancia
de
Role em Caso
Processo
e' uma
instancia
de
Processo
Objeto
e' uma
instancia
de
Objeto
playsRoleInEvent
Objeto
,
Role em Caso
and
Processo
No TPTP formula. May not be expressible in strict first order.
Media.kif 3165-3169
abbreviatedDisplayTitle
Sequencia Simbolica
,
Entidade
-TYPE and
Linguagem
Entidade
e' uma
instancia
de
Entidade
-TYPE
abbreviation
Sequencia Simbolica
and
Entidade
No TPTP formula. May not be expressible in strict first order.
UXExperimentalTerms.kif 881-885
accountAtSite
UserAccount
and
WebSite
hasAccount
AutonomousAgent
and
UserAccount
registeredUser
AutonomousAgent
and
WebSite
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 3621-3625
accountHolder
FinancialAccount
and
Agente Cognitivo
accountAt
FinancialAccount
and
FinancialOrganization
customer
Agente Cognitivo
and
FinancialOrganization
No TPTP formula. May not be expressible in strict first order.
Media.kif 3041-3045
acronym
Sequencia Simbolica
and
Entidade
inString
Caracter
and
Sequencia Simbolica
Caracter
e' uma
instancia
de
AlphabeticCharacter
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20759-20766
actedIn
Humano
and
ContentBearingPhysical
Processo
e' uma
instancia
de
DramaticActing
Humano
e' um
patient
de
Processo
ContentBearingPhysical
e' o
resultado
de
Processo
Actor
e' um
atributo
de
Humano
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 18836-18842
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto de Arte
Artist
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 487-499
Processo
e' um
agente
de
AutonomousAgent
Processo
tem como
origem
Objeto
Fisico
e' um
patient
de
Processo
o
valor
de
Fisico
e'
Medida de Divisa
Transacao Financeira
Transacao Financeira
e' um
sub
-processo de
Processo
Transacao Financeira
e' uma
instancia
de
Payment
transactionAmount
Transacao Financeira
and
Medida de Divisa
Transacao Financeira
tem como
origem
AutonomousAgent
Transacao Financeira
termina
em
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14078-14088
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.
Government.kif 714-719
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
obriga
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
e'
obrigado
a executar tarefas de tipo
Formula
vale
durante imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Government.kif 721-726
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
autoriza
Agente Cognitivo
a executar tarefas de tipo
Formula
Posicao Temporal
e' uma
instancia
de
Ponto no tempo
Agente Cognitivo
tem o
direito
de executar
Formula
vale
durante imediatemente
apos
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 722-726
agreementEffectiveDate
FinancialAccount
and
Ponto no tempo
currentAccountBalance
FinancialAccount
,
Ponto no tempo
and
Medida de Divisa
originalBalance
FinancialAccount
and
Medida de Divisa
No TPTP formula. May not be expressible in strict first order.
Government.kif 766-772
agreementEffectiveDuring
Proposicao
and
Posicao Temporal
Posicao Temporal
e' uma
instancia
de
Posicao Temporal
Formula
e' uma
instancia
de
Formula
Formula
contem
informacao
Proposicao
Formula
vale
durante
Posicao Temporal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 14015-14020
agreementPeriod
Agreement
and
Intervalo Temporal
agreementEffectiveDate
Agreement
and
Ponto no tempo
Agreement
tem um
atributo
de
ActiveAgreement
vale
durante
TimePeriodFn
Ponto no tempo
and
Intervalo Temporal
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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