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
est une
instance
de
ElectionFn
AutonomousAgent
processus
est une
instance
de
VotingFn
Election
processus
est un
agent
de
AutonomousAgent
suffrageAgeMinimum
AutonomousAgent
and
nombre r�el
YearDuration
(s)
nombre r�el
l'
AutonomousAgent
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
est une
instance
de
PopularElection
electionWinner
Election
,
r�le social
and
AutonomousAgent
voteFractionReceived
Election
,
r�le social
,
AutonomousAgent
and
nombre r�el
AutonomousAgent
nombre r�el
voteFractionReceived
Election
,
r�le social
,
AutonomousAgent
and
nombre r�el
AutonomousAgent
est
AutonomousAgent
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
Processus
est une
instance
de
Hurricane
SpeedScaleAttribute
est une
instance
de
SSHWSAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
unit� de mesure
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
est une
instance
de
BankTermLoan
agreementPeriod
Agreement
and
interval temporel
la
dur
�� de
interval temporel
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 1
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
Objet
est une
instance
de
Mutton
objet
est une
partie
de
objet
objet
est une
instance
de
Sheep
l'
objet
est
nombre r�el
MonthDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 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
Objet
est une
instance
de
SemiSkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.015 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.02 +
nombre r�el
(=>
(
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
Objet
est une
instance
de
SkimmedMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.005 +
nombre r�el
(=>
(
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
Objet
est une
instance
de
WholeMilk
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfVolume
objet
nombre r�el
2
objet
est une
instance
de
ButterFat
objet
est une
partie
de
objet
objet
objet
est une
instance
de
ButterFat
objet
est
objet
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
2
unit� de mesure
(s)
nombre r�el
2 est
plus
grand
ou �gal � 0.0325 +
nombre r�el
nombre r�el
2 est plus
petit
ou �gal � 0.05 +
nombre r�el
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Railway
est une
instance
de
Railway
Railway
a un
attribute
StandardGauge
trackWidth
Railway
and
nombre r�el
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 1.435
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
Physique
est une
instance
de
MerchantMarineShip
la
mesure
de
physique
est
nombre r�el
RegistryTon
(s)
nombre r�el
est
plus
grand
ou �gal � 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
Processus
est une
instance
de
Tornado
SpeedScaleAttribute
est une
instance
de
EFScaleAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
MilesPerHour
(s) and
nombre r�el
MilesPerHour
(s)
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
ThreeSecondGustSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
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
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
CurrencyFn
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
entit�
est une
instance
de
Currency
entit�
est un
patient
de
financial transaction
la
date
de
financial transaction
est
jour
nombre r�el
availableCash
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
Financial transaction
est une
instance
de
financial transaction
financial transaction
a pour
origine
FinancialAccount
transactionAmount
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
la
date
de
financial transaction
est
jour
nombre r�el
availableBalance
FinancialAccount
,
jour
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT)))
(
greaterThanOrEqualTo
?LENGTH2 ?LENGTH1))
Transportation.kif 587-592
Unit� de mesure
est une
instance
de
UnitOfLength
lengthOfExpresswaySystem
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
lengthOfPavedHighway
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
Processus
est une
instance
de
Wind
SpeedScaleAttribute
est une
instance
de
BeaufortNumberAttribute
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
SpeedScaleAttribute
speedScaleAttributeMinMax
SpeedScaleAttribute
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
agent cognitif
croit
surfaceWindSpeed
objet
and
nombre r�el
unit� de mesure
(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
Interval temporel
est une
instance
de
interval temporel
economyType
secteur g�opolitique
and
LowerMiddleIncomeCountry
pendant
interval temporel
nombre r�el
perCapitaGDPInPeriod
secteur g�opolitique
,
nombre r�el
UnitedStatesDollar
(s) and
interval temporel
nombre r�el
est
plus
grand
ou �gal � 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
Interval temporel
est une
instance
de
interval temporel
economyType
secteur g�opolitique
and
UpperMiddleIncomeCountry
pendant
interval temporel
nombre r�el
perCapitaGDPInPeriod
secteur g�opolitique
,
nombre r�el
UnitedStatesDollar
(s) and
interval temporel
nombre r�el
est
plus
grand
ou �gal � 2996.0
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
meltingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
and
(
memberCount
?GROUP ?NUMBER1)
(
memberTypeCount
?GROUP ?TYPE ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22679-22683
memberCount
collection
and
nombre entier
memberTypeCount
collection
,
classe
and
nombre entier non n�gatif
nombre entier
est
plus
grand
ou �gal �
nombre entier non n�gatif
(=>
(
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
secteur g�opolitique
and
nombre r�el
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
physique
est un
membre
de
MilitaryOrganization
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
secteur g�opolitique
and
nombre r�el
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
secteur g�opolitique
physique
est un
membre
de
MilitaryOrganization
nombre r�el
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
(=>
(
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
relation
,
nombre entier positif
and
nombre entier
relation
est une
instance
de
predicat
classe
entit�
and @ARGS
classe
est une
instance
de
ensemble ou classe
relation
@ARGS
entit�
est
nombre entier positif
th
entit�
est une
instance
de
classe
le nombre d'
instances
dans
classe
est
plus
grand
ou �gal �
nombre entier
(=>
(
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
nombre entier
fulfillingEntity
AutonomousAgent
and
HotelReservation
collection
nombre r�el
collection
est une
instance
de
GroupOfPeople
physique
physique
est un
membre
de
collection
physique
est une
instance
de
HumanAdult
l'
physique
est
nombre r�el
YearDuration
(s)
nombre r�el
est
plus
grand
ou �gal � 60
memberCount
collection
and
nombre entier
potentialCustomer
collection
and
AutonomousAgent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
seatsInOrganizationCount
organisation
and
nombre entier
memberCount
organisation
and
nombre entier
nombre entier
est
plus
grand
ou �gal �
nombre entier
(=>
(
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
,
nombre r�el
unit� de mesure
(s) and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
unit� de mesure
physique
nombre r�el
physique
est une
instance
de
d�palcement
physique
a un
attribute
SpeedScaleAttribute
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
nombre r�el
est plus
petit
ou �gal �
nombre r�el
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