greaterThanOrEqualTo
(=>
(
and
(
instance
?ELECTION
(
ElectionFn
?POLITY))
(
instance
?ACT
(
VotingFn
?ELECTION))
(
agent
?ACT ?AGENT)
(
suffrageAgeMinimum
?POLITY
(
MeasureFn
?VOTINGAGE
YearDuration
)))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?VOTINGAGE))))
Government.kif 990-1001
Election
e' uma
instancia
de
ElectionFn
AutonomousAgent
Processo
e' uma
instancia
de
VotingFn
Election
Processo
e' um
agente
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
Numero Real
YearDuration
(s)
Numero Real
a
idade
de
AutonomousAgent
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1))
(
not
(
exists
(?PERSON2 ?NUMBER2)
(
and
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2))
(
greaterThanOrEqualTo
?NUMBER2 ?NUMBER1)))))
Government.kif 1882-1892
Election
e' uma
instancia
de
PopularElection
electionWinner
Election
,
Role Social
and
AutonomousAgent
voteFractionReceived
Election
,
Role Social
,
AutonomousAgent
and
Numero Real
AutonomousAgent
Numero Real
voteFractionReceived
Election
,
Role Social
,
AutonomousAgent
and
Numero Real
AutonomousAgent
e'
igual
a
AutonomousAgent
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWSAttribute
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS))
(
speedScaleAttributeMinMax
?SS
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?WIND)
(
and
(
greaterThanOrEqualTo
?WIND ?MIN)
(
lessThanOrEqualTo
?WIND ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?WIND ?U)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2365-2384
Processo
e' uma
instancia
de
Hurricane
SpeedScaleAttribute
e' uma
instancia
de
SSHWSAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
Unidade de Medida
(s) e'
igual
a
Mean1MinuteWindSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
e' uma
instancia
de
BankTermLoan
agreementPeriod
Agreement
and
Intervalo Temporal
a
duracao
de
Intervalo Temporal
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 1
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
Objeto
e' uma
instancia
de
Mutton
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Sheep
a
idade
de
Objeto
e'
Numero Real
MonthDuration
(s)
Numero Real
e'
maior
ou igual a 12
(=>
(
and
(
instance
?M
SemiSkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.015 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.02 ?N)))))
Food.kif 2993-3011
Objeto
e' uma
instancia
de
SemiSkimmedMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.015 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.02 +
Numero Real
(=>
(
and
(
instance
?M
SkimmedMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.005 ?N)))))
Food.kif 3018-3036
Objeto
e' uma
instancia
de
SkimmedMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.005 +
Numero Real
(=>
(
and
(
instance
?M
WholeMilk
)
(
measure
?M
(
MeasureFn
?N ?U))
(
instance
?U
UnitOfVolume
))
(
exists
(?BF ?N2)
(
and
(
instance
?BF
ButterFat
)
(
part
?BF ?M)
(
not
(
exists
(?F2)
(
and
(
instance
?F2
ButterFat
)
(
not
(
equal
?BF ?F2))
(
part
?F2 ?M))))
(
measure
?BF
(
MeasureFn
?N2 ?U))
(
greaterThanOrEqualTo
?N2
(
MultiplicationFn
0.0325 ?N))
(
lessThanOrEqualTo
?N2
(
MultiplicationFn
0.05 ?N)))))
Food.kif 2851-2869
Objeto
e' uma
instancia
de
WholeMilk
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfVolume
Objeto
Numero Real
2
Objeto
e' uma
instancia
de
ButterFat
Objeto
e' uma &parte de
Objeto
Objeto
Objeto
e' uma
instancia
de
ButterFat
Objeto
e'
igual
a
Objeto
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
2
Unidade de Medida
(s)
Numero Real
2 e'
maior
ou igual a 0.0325 +
Numero Real
Numero Real
2 e'
menor
ou igual a 0.05 +
Numero Real
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Railway
e' uma
instancia
de
Railway
Railway
tem um
atributo
de
StandardGauge
trackWidth
Railway
and
Numero Real
Meter
(s)
Numero Real
e'
maior
ou igual a 1.435
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
Fisico
e' uma
instancia
de
MerchantMarineShip
a
medida
de
Fisico
e'
Numero Real
RegistryTon
(s)
Numero Real
e'
maior
ou igual a 1000
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?EF
EFScaleAttribute
)
(
eventLocated
?T ?AREA)
(
believes
?A
(
property
?T ?EF))
(
speedScaleAttributeMinMax
?EF
(
MeasureFn
?MIN
MilesPerHour
)
(
MeasureFn
?MAX
MilesPerHour
)))
(
exists
(?GUST)
(
and
(
greaterThanOrEqualTo
?GUST ?MIN)
(
lessThanOrEqualTo
?GUST ?MAX)
(
believes
?A
(
equal
(
MeasureFn
?GUST
MilesPerHour
)
(
ThreeSecondGustSpeedFn
?AREA
(
WhenFn
?T)))))))
Weather.kif 2096-2114
Processo
e' uma
instancia
de
Tornado
SpeedScaleAttribute
e' uma
instancia
de
EFScaleAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
MilesPerHour
(s) and
Numero Real
MilesPerHour
(s)
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
Numero Real
MilesPerHour
(s) e'
igual
a
ThreeSecondGustSpeedFn
Objeto
and
tempo
de existencia de
Processo
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction
(
CurrencyFn
?Account))
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
instance
?Cash
Currency
)
(
patient
?Transaction ?Cash)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableCash
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3838-3852
Transacao Financeira
e' uma
instancia
de
Transacao Financeira
Transacao Financeira
tem como
origem
CurrencyFn
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
Entidade
e' uma
instancia
de
Currency
Entidade
e' um
patient
de
Transacao Financeira
a
data
de
Transacao Financeira
e'
Dia
Numero Real
availableCash
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?Transaction
FinancialTransaction
)
(
origin
?Transaction ?Account)
(
transactionAmount
?Transaction
(
MeasureFn
?Amount1 ?U))
(
instance
?U
UnitOfCurrency
)
(
date
?Transaction ?Day))
(
exists
(?Amount2)
(
and
(
availableBalance
?Account ?Day
(
MeasureFn
?Amount2 ?U))
(
greaterThanOrEqualTo
?Amount1 ?Amount2))))
FinancialOntology.kif 3815-3827
Transacao Financeira
e' uma
instancia
de
Transacao Financeira
Transacao Financeira
tem como
origem
FinancialAccount
transactionAmount
Transacao Financeira
and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
UnitOfCurrency
a
data
de
Transacao Financeira
e'
Dia
Numero Real
availableBalance
FinancialAccount
,
Dia
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT)))
(
greaterThanOrEqualTo
?LENGTH2 ?LENGTH1))
Transportation.kif 587-592
Unidade de Medida
e' uma
instancia
de
UnitOfLength
lengthOfExpresswaySystem
Area Geografica
and
Numero Real
Unidade de Medida
(s)
lengthOfPavedHighway
Area Geografica
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
instance
?W
Wind
)
(
instance
?BN
BeaufortNumberAttribute
)
(
eventLocated
?W ?AREA)
(
believes
?A
(
property
?W ?BN))
(
speedScaleAttributeMinMax
?BN
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?SPEED)
(
and
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX)
(
believes
?A
(
surfaceWindSpeed
?AREA
(
MeasureFn
?SPEED ?U))))))
Weather.kif 349-366
Processo
e' uma
instancia
de
Wind
SpeedScaleAttribute
e' uma
instancia
de
BeaufortNumberAttribute
eventLocated
Processo
and
Objeto
Agente Cognitivo
acredita
que
Processo
tem um
atributo
de
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Numero Real
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
Agente Cognitivo
acredita
que
surfaceWindSpeed
Objeto
and
Numero Real
Unidade de Medida
(s)
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
LowerMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 756.0))))
Economy.kif 456-463
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
LowerMiddleIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
maior
ou igual a 756.0
(=>
(
and
(
instance
?YEAR
TimeInterval
)
(
holdsDuring
?YEAR
(
economyType
?AREA
UpperMiddleIncomeCountry
)))
(
exists
(?AMOUNT)
(
and
(
perCapitaGDPInPeriod
?AREA
(
MeasureFn
?AMOUNT
UnitedStatesDollar
) ?YEAR)
(
greaterThanOrEqualTo
?AMOUNT 2996.0))))
Economy.kif 481-488
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
economyType
Area Geopolitica
and
UpperMiddleIncomeCountry
vale
durante
Intervalo Temporal
Numero Real
perCapitaGDPInPeriod
Area Geopolitica
,
Numero Real
UnitedStatesDollar
(s) and
Intervalo Temporal
Numero Real
e'
maior
ou igual a 2996.0
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
meltingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
boilingPoint
Substancia Pura
and
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
memberCount
?GROUP ?NUMBER1)
(
memberTypeCount
?GROUP ?TYPE ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22679-22683
memberCount
Colecao
and
Numero Inteiro
memberTypeCount
Colecao
,
Classe
and
Numero Inteiro nao-negativo
Numero Inteiro
e'
maior
ou igual a
Numero Inteiro nao-negativo
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY))
(
exists
(?AGE)
(
and
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))))
Military.kif 840-850
militaryAge
Area Geopolitica
and
Numero Real
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
Fisico
e'
membro
de
MilitaryOrganization
Numero Real
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a
Numero Real
(=>
(
and
(
minCardinality
?REL ?ARG ?COUNT)
(
instance
?REL
Predicate
))
(
exists
(?S ?EL @ARGS)
(
and
(
instance
?S
SetOrClass
)
(=>
(
and
(?REL @ARGS)
(
equal
?EL
(
ListOrderFn
(
ListFn
@ARGS) ?ARG)))
(
and
(
instance
?EL ?S)
(
greaterThanOrEqualTo
(
CardinalityFn
?S) ?COUNT))))))
Media.kif 2174-2187
minCardinality
Relacao
,
Inteiro positivo
and
Numero Inteiro
Relacao
e' uma
instancia
de
Predicado
Classe
Entidade
and @ARGS
Classe
e' uma
instancia
de
Conjunto ou Classe
Relacao
@ARGS
Entidade
e'
igual
a
Inteiro positivo
th
elemento
de (@ARGS)
Entidade
e' uma
instancia
de
Classe
o numero de
instancias
dentro de
Classe
e'
maior
ou igual a
Numero Inteiro
(=>
(
and
(
numberSeniorOccupant
?RESERVE ?NUM)
(
fulfillingEntity
?HOTEL ?RESERVE))
(
exists
(?COL ?AGE)
(
and
(
instance
?COL
GroupOfPeople
)
(
forall
(?X)
(=>
(
member
?X ?COL)
(
and
(
instance
?X
HumanAdult
)
(
age
?X
(
MeasureFn
?AGE
YearDuration
))
(
greaterThanOrEqualTo
?AGE 60))))
(
memberCount
?COL ?NUM)
(
potentialCustomer
?COL ?HOTEL))))
Hotel.kif 2925-2940
numberSeniorOccupant
HotelReservation
and
Numero Inteiro
fulfillingEntity
AutonomousAgent
and
HotelReservation
Colecao
Numero Real
Colecao
e' uma
instancia
de
GroupOfPeople
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
HumanAdult
a
idade
de
Fisico
e'
Numero Real
YearDuration
(s)
Numero Real
e'
maior
ou igual a 60
memberCount
Colecao
and
Numero Inteiro
potentialCustomer
Colecao
and
AutonomousAgent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
seatsInOrganizationCount
Organizacao
and
Numero Inteiro
memberCount
Organizacao
and
Numero Inteiro
Numero Inteiro
e'
maior
ou igual a
Numero Inteiro
(=>
(
and
(
speedScaleAttributeMinMax
?ATTR
(
MeasureFn
?MIN ?U)
(
MeasureFn
?MAX ?U))
(
instance
?U
UnitOfMeasure
))
(
exists
(?X ?SPEED)
(
and
(
instance
?X
Motion
)
(
property
?X ?ATTR)
(
measure
?X
(
MeasureFn
?SPEED ?U))
(
greaterThanOrEqualTo
?SPEED ?MIN)
(
lessThanOrEqualTo
?SPEED ?MAX))))
Weather.kif 2130-2143
speedScaleAttributeMinMax
SpeedScaleAttribute
,
Numero Real
Unidade de Medida
(s) and
Numero Real
Unidade de Medida
(s)
Unidade de Medida
e' uma
instancia
de
Unidade de Medida
Fisico
Numero Real
Fisico
e' uma
instancia
de
Movimento
Fisico
tem um
atributo
de
SpeedScaleAttribute
a
medida
de
Fisico
e'
Numero Real
Unidade de Medida
(s)
Numero Real
e'
maior
ou igual a
Numero Real
Numero Real
e'
menor
ou igual a
Numero Real
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