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
は
ElectionFn
AutonomousAgent
の
instance
では %n
工程
は
VotingFn
Election
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
suffrageAgeMinimum
AutonomousAgent
and
実数
の
YearDuration
(s)
実数
AutonomousAgent
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
(=>
(
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
は
PopularElection
の
instance
では %n
electionWinner
Election
,
社会的役割
and
AutonomousAgent
voteFractionReceived
Election
,
社会的役割
,
AutonomousAgent
and
実数
AutonomousAgent
実数
voteFractionReceived
Election
,
社会的役割
,
AutonomousAgent
and
実数
AutonomousAgent
は
AutonomousAgent
と
equal
では
実数
は
実数
greater
では %n
(=>
(
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
工程
は
Hurricane
の
instance
では %n
SpeedScaleAttribute
は
SSHWSAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
測定単位
(s) は
Mean1MinuteWindSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Agreement
は
BankTermLoan
の
instance
では %n
agreementPeriod
Agreement
and
時間間隔
時間間隔
の
duration
は
実数
の
YearDuration
(s) では %n
実数
は 1
greater
では %n
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
オブジェクト
は
Mutton
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Sheep
の
instance
では %n
オブジェクト
の
age
は
実数
の
MonthDuration
(s) では
実数
は 12
greater
では %n
(=>
(
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
オブジェクト
は
SemiSkimmedMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.015 +
実数
greater
では %n
実数
2 は 0.02 +
実数
より
less
または同等 では %n
(=>
(
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
オブジェクト
は
SkimmedMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.0 +
実数
greater
では %n
実数
2 は 0.005 +
実数
より
less
または同等 では %n
(=>
(
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
オブジェクト
は
WholeMilk
の
instance
では %n
オブジェクト
の
measure
は
実数
の
測定単位
(s) では %n
測定単位
は
UnitOfVolume
の
instance
では %n
オブジェクト
実数
2
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
オブジェクト
は
ButterFat
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
の
measure
は
実数
2 の
測定単位
(s) では %n
実数
2 は 0.0325 +
実数
greater
では %n
実数
2 は 0.05 +
実数
より
less
または同等 では %n
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Railway
は
Railway
の
instance
では %n
Railway
には
attribute
StandardGauge
%n{ない}
trackWidth
Railway
and
実数
の
Meter
(s)
実数
は 1.435
greater
では %n
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
物理
は
MerchantMarineShip
の
instance
では %n
物理
の
measure
は
実数
の
RegistryTon
(s) では %n
実数
は 1000
greater
では %n
(=>
(
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
工程
は
Tornado
の
instance
では %n
SpeedScaleAttribute
は
EFScaleAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
MilesPerHour
(s) and
実数
の
MilesPerHour
(s)
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
実数
の
MilesPerHour
(s) は
ThreeSecondGustSpeedFn
オブジェクト
and
工程
の
time
の existence と
equal
では %n を
believe
s %n{ない}
(=>
(
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
金融取引
は
金融取引
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
エンティティー
は
Currency
の
instance
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
の
date
は
日
では
実数
availableCash
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
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
金融取引
は
金融取引
の
instance
では %n
金融取引
は
FinancialAccount
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
金融取引
の
date
は
日
では
実数
availableBalance
FinancialAccount
,
日
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT)))
(
greaterThanOrEqualTo
?LENGTH2 ?LENGTH1))
Transportation.kif 587-592
測定単位
は
UnitOfLength
の
instance
では %n
lengthOfExpresswaySystem
地理的地域
and
実数
の
測定単位
(s)
lengthOfPavedHighway
地理的地域
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
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
工程
は
Wind
の
instance
では %n
SpeedScaleAttribute
は
BeaufortNumberAttribute
の
instance
では %n
eventLocated
工程
and
オブジェクト
認識エージェント
は
工程
には
attribute
SpeedScaleAttribute
%n{ない} を
believe
s %n{ない}
speedScaleAttributeMinMax
SpeedScaleAttribute
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
実数
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
認識エージェント
は
surfaceWindSpeed
オブジェクト
and
実数
の
測定単位
(s) を
believe
s %n{ない}
(=>
(
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
時間間隔
は
時間間隔
の
instance
では %n
economyType
地政学的地域
and
LowerMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 756.0
greater
では %n
(=>
(
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
時間間隔
は
時間間隔
の
instance
では %n
economyType
地政学的地域
and
UpperMiddleIncomeCountry
は
時間間隔
の
during
holds %n{ない}
実数
perCapitaGDPInPeriod
地政学的地域
,
実数
の
UnitedStatesDollar
(s) and
時間間隔
実数
は 2996.0
greater
では %n
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
meltingPoint
純物質
and
実数
の
測定単位
(s)
boilingPoint
純物質
and
実数
の
測定単位
(s)
実数
は
実数
greater
では %n
(=>
(
and
(
memberCount
?GROUP ?NUMBER1)
(
memberTypeCount
?GROUP ?TYPE ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22679-22683
memberCount
コレクション
and
整数
memberTypeCount
コレクション
,
クラス
and
非負整数
整数
は
非負整数
greater
では %n
(=>
(
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
地政学的地域
and
実数
の
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
地政学的地域
物理
は
MilitaryOrganization
の
member
では %n
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
(=>
(
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
地政学的地域
and
実数
の
YearDuration
(s)
militaryOfArea
MilitaryOrganization
and
地政学的地域
物理
は
MilitaryOrganization
の
member
では %n
実数
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は
実数
greater
では %n
(=>
(
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
関係
,
正の整数
and
整数
関係
は
述語
の
instance
では %n
クラス
エンティティー
and @ARGS
クラス
は
同じセットまたはクラス
の
instance
では %n
関係
@ARGS
エンティティー
は (@ARGS) の
正の整数
th
element
と
equal
では %n
エンティティー
は
クラス
の
instance
では %n
クラス
の
instances
の数 は
整数
greater
では %n
(=>
(
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
整数
fulfillingEntity
AutonomousAgent
and
HotelReservation
コレクション
実数
コレクション
は
GroupOfPeople
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
HumanAdult
の
instance
では %n
物理
の
age
は
実数
の
YearDuration
(s) では
実数
は 60
greater
では %n
memberCount
コレクション
and
整数
potentialCustomer
コレクション
and
AutonomousAgent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
seatsInOrganizationCount
組織
and
整数
memberCount
組織
and
整数
整数
は
整数
greater
では %n
(=>
(
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
,
実数
の
測定単位
(s) and
実数
の
測定単位
(s)
測定単位
は
測定単位
の
instance
では %n
物理
実数
物理
は
motion
の
instance
では %n
物理
には
attribute
SpeedScaleAttribute
%n{ない}
物理
の
measure
は
実数
の
測定単位
(s) では %n
実数
は
実数
greater
では %n
実数
は
実数
より
less
または同等 では %n
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