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
Wenn
Election
ist ein
fall
von
ElectionFn
AutonomousAgent
%n{nicht} und
Process
ist ein
fall
von
VotingFn
** Election
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffrageAgeMinimum
** AutonomousAgent
and
RealNumber
YearDuration
(s),
dann es gibt
** RealNumber
um das
alter
von
** ** AutonomousAgent
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Election
ist ein
fall
von
PopularElection
%n{nicht} und
electionWinner
** Election
,
SocialRole
and
AutonomousAgent
und
voteFractionReceived
** Election
,
** SocialRole
,
** AutonomousAgent
and
RealNumber
,
dann es gibt nicht
** AutonomousAgent
und
** RealNumber
um
voteFractionReceived
** Election
,
** SocialRole
,
** ** AutonomousAgent
and
** ** RealNumber
und
** AutonomousAgent
ist gleich
** ** AutonomousAgent
nicht und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Hurricane
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
SSHWSAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
** UnitOfMeasure
(s) ist gleich
Mean1MinuteWindSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?Loan
BankTermLoan
)
(
agreementPeriod
?Loan ?Period)
(
duration
?Period
(
MeasureFn
?Duration
YearDuration
)))
(
greaterThanOrEqualTo
?Duration 1))
FinancialOntology.kif 1497-1502
Wenn
Agreement
ist ein
fall
von
BankTermLoan
%n{nicht} und
agreementPeriod
** Agreement
and
TimeInterval
und
dauer
von
** TimeInterval
ist
RealNumber
YearDuration
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
1 %n{nicht}
(=>
(
and
(
instance
?M
Mutton
)
(
part
?M ?S)
(
instance
?S
Sheep
)
(
age
?S
(
MeasureFn
?A
MonthDuration
)))
(
greaterThanOrEqualTo
?A 12))
Economy.kif 4962-4968
Wenn
Object
ist ein
fall
von
Mutton
%n{nicht} und
** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Sheep
%n{nicht} und das
alter
von
** ** Object
ist
RealNumber
MonthDuration
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
12 %n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
SemiSkimmedMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.015 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.02 und
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
SkimmedMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.0 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.005 und
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Object
ist ein
fall
von
WholeMilk
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann es gibt
** Object
und
** RealNumber
2 um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und es gibt nicht
** Object
um
** ** Object
ist ein
fall
von
ButterFat
%n{nicht} und
** ** Object
ist gleich
** ** Object
nicht und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist
** RealNumber
2
** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
2 ist
groesserAlsOderGleich
0.0325 und
** RealNumber
%n{nicht} und
** RealNumber
2 ist
kleinerAlsOderGleich
0.05 und
** RealNumber
%n{nicht}
(=>
(
and
(
instance
?RR
Railway
)
(
property
?RR
StandardGauge
)
(
trackWidth
?RR
(
MeasureFn
?WIDTH
Meter
)))
(
greaterThanOrEqualTo
?WIDTH 1.435))
Transportation.kif 427-433
Wenn
Railway
ist ein
fall
von
Railway
%n{nicht} und
** Railway
hat ein
attribut
StandardGauge
%n{nicht} und
trackWidth
** Railway
and
RealNumber
Meter
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
1.435 %n{nicht}
(=>
(
and
(
instance
?SHIP
MerchantMarineShip
)
(
measure
?SHIP
(
MeasureFn
?GRT
RegistryTon
)))
(
greaterThanOrEqualTo
?GRT 1000))
Transportation.kif 1029-1033
Wenn
Physical
ist ein
fall
von
MerchantMarineShip
%n{nicht} und das
mass
von
** Physical
ist
RealNumber
RegistryTon
(s) %n{nicht},
dann
** RealNumber
ist
groesserAlsOderGleich
1000 %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Tornado
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
EFScaleAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
MilesPerHour
(s) and
** RealNumber
MilesPerHour
(s),
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
** ** RealNumber
MilesPerHour
(s) ist gleich
ThreeSecondGustSpeedFn
** Object
and die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
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
Wenn
FinancialTransaction
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** FinancialTransaction
beginnet an
CurrencyFn
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
Entity
ist ein
fall
von
Currency
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
datum
von
** FinancialTransaction
ist
Day
%n{nicht},
dann es gibt
** RealNumber
um
availableCash
** FinancialAccount
,
** Day
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
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
Wenn
FinancialTransaction
ist ein
fall
von
FinancialTransaction
%n{nicht} und
** FinancialTransaction
beginnet an
FinancialAccount
%n{nicht} und
transactionAmount
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
datum
von
** FinancialTransaction
ist
Day
%n{nicht},
dann es gibt
** RealNumber
um
availableBalance
** FinancialAccount
,
** Day
and
** ** RealNumber
** UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
instance
?UNIT
UnitOfLength
)
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH1 ?UNIT))
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH2 ?UNIT)))
(
greaterThanOrEqualTo
?LENGTH2 ?LENGTH1))
Transportation.kif 587-592
Wenn
UnitOfMeasure
ist ein
fall
von
UnitOfLength
%n{nicht} und
lengthOfExpresswaySystem
GeographicArea
and
RealNumber
** UnitOfMeasure
(s) und
lengthOfPavedHighway
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
Wind
%n{nicht} und
SpeedScaleAttribute
ist ein
fall
von
BeaufortNumberAttribute
%n{nicht} und
eventLocated
** Process
and
Object
und
CognitiveAgent
glaubt %n{nicht}, dass
** Process
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und
speedScaleAttributeMinMax
** SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
** RealNumber
um
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht} und
** CognitiveAgent
glaubt %n{nicht}, dass
surfaceWindSpeed
** Object
and
** ** RealNumber
** UnitOfMeasure
(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
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
LowerMiddleIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
groesserAlsOderGleich
756.0 %n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
economyType
GeopoliticalArea
and
UpperMiddleIncomeCountry
haelt
waehrend
** TimeInterval
%n{nicht},
dann es gibt
RealNumber
um
perCapitaGDPInPeriod
** GeopoliticalArea
,
** RealNumber
UnitedStatesDollar
(s) and
** TimeInterval
und
** RealNumber
ist
groesserAlsOderGleich
2996.0 %n{nicht}
(=>
(
and
(
meltingPoint
?TYPE
(
MeasureFn
?MELT ?U))
(
boilingPoint
?TYPE
(
MeasureFn
?BOIL ?U)))
(
greaterThanOrEqualTo
?BOIL ?MELT))
Merge.kif 13895-13899
Wenn
meltingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
boilingPoint
** PureSubstance
and
** RealNumber
** UnitOfMeasure
(s),
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
and
(
memberCount
?GROUP ?NUMBER1)
(
memberTypeCount
?GROUP ?TYPE ?NUMBER2))
(
greaterThanOrEqualTo
?NUMBER1 ?NUMBER2))
Mid-level-ontology.kif 22679-22683
Wenn
memberCount
Collection
and
Integer
und
memberTypeCount
** Collection
,
Class
and
NonnegativeInteger
,
dann
** Integer
ist
groesserAlsOderGleich
** NonnegativeInteger
%n{nicht}
(=>
(
and
(
militaryAge
?AREA
(
MeasureFn
?MILITARYAGE
YearDuration
))
(
militaryOfArea
?MILITARY ?AREA)
(
member
?AGENT ?MILITARY)
(
age
?AGENT
(
MeasureFn
?AGE
YearDuration
)))
(
greaterThanOrEqualTo
?AGE ?MILITARYAGE))
Military.kif 852-860
Wenn
militaryAge
GeopoliticalArea
and
RealNumber
YearDuration
(s) und
militaryOfArea
MilitaryOrganization
and
** GeopoliticalArea
und
Physical
ist ein
Mitglied
von
** MilitaryOrganization
%n{nicht} und das
alter
von
** Physical
ist
** RealNumber
YearDuration
(s) %n{nicht},
dann
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
militaryAge
GeopoliticalArea
and
RealNumber
YearDuration
(s) und
militaryOfArea
MilitaryOrganization
and
** GeopoliticalArea
und
Physical
ist ein
Mitglied
von
** MilitaryOrganization
%n{nicht},
dann es gibt
** RealNumber
um das
alter
von
** Physical
ist
** ** RealNumber
YearDuration
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht}
(=>
(
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
Wenn
minCardinality
Relation
,
PositiveInteger
and
Integer
und
** Relation
ist ein
fall
von
Predicate
%n{nicht},
dann es gibt
Class
,
Entity
, and und @ARGS um
** Class
ist ein
fall
von
SetOrClass
%n{nicht} und
wenn
** Relation
@ARGS und
** Entity
ist gleich
** PositiveInteger
te
mitglied
von (@ARGS) %n{nicht},
dann
** Entity
ist ein
fall
von
** Class
%n{nicht} und die Zahl
Faellen
in
** Class
ist
groesserAlsOderGleich
** Integer
%n{nicht}
(=>
(
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
Wenn
numberSeniorOccupant
HotelReservation
and
Integer
und
fulfillingEntity
AutonomousAgent
and
** HotelReservation
,
dann es gibt
Collection
und
RealNumber
um
** Collection
ist ein
fall
von
GroupOfPeople
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
HumanAdult
%n{nicht} und das
alter
von
** Physical
ist
** RealNumber
YearDuration
(s) %n{nicht} und
** RealNumber
ist
groesserAlsOderGleich
60 %n{nicht}
und
memberCount
** Collection
and
** Integer
und
potentialCustomer
** Collection
and
** AutonomousAgent
(=>
(
and
(
seatsInOrganizationCount
?ORG ?SEATS)
(
memberCount
?ORG ?MEMBERS))
(
greaterThanOrEqualTo
?SEATS ?MEMBERS))
Government.kif 2074-2078
Wenn
seatsInOrganizationCount
Organization
and
Integer
und
memberCount
** Organization
and
** Integer
,
dann
** Integer
ist
groesserAlsOderGleich
** ** Integer
%n{nicht}
(=>
(
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
Wenn
speedScaleAttributeMinMax
SpeedScaleAttribute
,
RealNumber
UnitOfMeasure
(s) and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann es gibt
Physical
und
** RealNumber
um
** Physical
ist ein
fall
von
Motion
%n{nicht} und
** Physical
hat ein
attribut
** SpeedScaleAttribute
%n{nicht} und das
mass
von
** Physical
ist
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht} und
** ** RealNumber
ist
kleinerAlsOderGleich
** ** RealNumber
%n{nicht}
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