instance
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24676-24681
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 24747-24752
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 24713-24720
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 17254-17262
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 20200-20204
Objeto
e' uma
instancia
de
Bull
Objeto
e' uma
instancia
de
Cattle
Female
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20218-20222
Objeto
e' uma
instancia
de
Bull
Objeto
e' uma
instancia
de
Cattle
Male
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11682-11689
Objeto
e' uma
instancia
de
Osso
Objeto
Objeto
e' uma
instancia
de
Skeleton
Objeto
e' uma
instancia
de
Exoskeleton
Objeto
e' uma &parte de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20209-20213
Objeto
e' uma
instancia
de
Calf
Objeto
e' uma
instancia
de
Cattle
NonFullyFormed
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8333-8335
Area Geopolitica
e' uma
instancia
de
Cidade
o
governo
de
Area Geopolitica
e' uma
instancia
de
CityGovernment
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.
FinancialOntology.kif 1321-1326
Collateral
e' uma
instancia
de
Collateral
FinancialAccount
FinancialAccount
e' uma
instancia
de
SecuredLoan
securedBy
FinancialAccount
and
Collateral
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8080-8085
Area Geopolitica
e' uma
instancia
de
CityDistrict
Area Geopolitica
Area Geopolitica
e' uma
instancia
de
Cidade
sub-divisao geopolitica
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 30094-30098
Objeto
e' uma
instancia
de
DamagedVehicle
Objeto
e' uma
instancia
de
Vehicle
DeviceDamaged
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 20232-20236
Objeto
e' uma
instancia
de
Hen
Objeto
e' uma
instancia
de
Chicken
Female
e' um
atributo
de
Objeto
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.
QoSontology.kif 63-68
Objeto Corpuscular
e' uma
instancia
de
ComputerHardware
Objeto Corpuscular
Objeto Corpuscular
e' uma
instancia
de
Computer
Objeto Corpuscular
e' um
componente
de
Objeto Corpuscular
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 8979-8983
Objeto
e' uma
instancia
de
Ice
Objeto
e' uma
instancia
de
Agua
Solid
e' um
atributo
de
Objeto
No TPTP formula. May not be expressible in strict first order.
FinancialOntology.kif 1668-1673
PerformanceMeasure
e' uma
instancia
de
InflationIndex
Abstrato
Abstrato
e' uma
instancia
de
Inflation
benchmark
Abstrato
and
PerformanceMeasure
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