MeasureFn
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
Das
mass
von
Physical
ist
RealNumber
AngularDegree
(s) %n{nicht} genau dann wenn das
mass
von
** Physical
ist 60.0 und
** RealNumber
ArcMinute
(s) %n{nicht}
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
Das
mass
von
Physical
ist
RealNumber
ArcMinute
(s) %n{nicht} genau dann wenn das
mass
von
** Physical
ist 60.0 und
** RealNumber
ArcSecond
(s) %n{nicht}
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13326-13331
Das
mass
von
Physical
ist
RealNumber
OunceMass
(s) %n{nicht} genau dann wenn das
mass
von
** Physical
ist
** RealNumber
und 16.0
PoundMass
(s) %n{nicht}
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2548-2551
Das
mass
von
Solution
ist
RealNumber
PHValue
(s) %n{nicht} genau dann wenn
potentialOfHydrogen
** Solution
and
** RealNumber
(<=>
(
sectorValueOfGDPInPeriod
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT) ?PERIOD)
(
exists
(?TIME)
(
and
(
instance
?TIME ?PERIOD)
(
holdsDuring
?TIME
(
sectorValueOfGDP
?AREA ?SECTOR
(
MeasureFn
?AMOUNT ?CUNIT))))))
Economy.kif 1129-1137
sectorValueOfGDPInPeriod
GeopoliticalArea
,
IndustryAttribute
,
RealNumber
UnitOfMeasure
(s) and
** TimeInterval
genau dann wenn es gibt
TimePosition
um
** TimePosition
ist ein
fall
von
** TimeInterval
%n{nicht} und
sectorValueOfGDP
** GeopoliticalArea
,
** IndustryAttribute
and
** RealNumber
** UnitOfMeasure
(s) haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
amount
?S ?CO
(
MeasureFn
?N ?U))
(
instance
?SI ?S)
(
measure
?SI
(
MeasureFn
?N2 ?U))
(
part
?SI ?CO))
(
exists
(?L)
(
and
(
inList
(
MeasureFn
?N2 ?U) ?L)
(
equal
?L
(
AmountsFn
?S ?CO ?U))
(
equal
?N
(
ListSumFn
?L)))))
Merge.kif 7596-7611
Wenn
amount
** Substance
,
CorpuscularObject
and
RealNumber
UnitOfMass
(s) und
** Substance
I ist ein
fall
von
** ** Substance
%n{nicht} und das
mass
von
** ** Substance
I ist
** RealNumber
2
** UnitOfMass
(s) %n{nicht} und
** ** Substance
I ist ein
teil
von
** CorpuscularObject
%n{nicht},
dann es gibt
List
um
** RealNumber
2
** UnitOfMass
(s) ist ein
Mitglied
von
** List
und
** List
ist gleich
AmountsFn
** ** Substance
,
** CorpuscularObject
and
** UnitOfMass
%n{nicht} und
** RealNumber
ist gleich
ListSumFn
** List
%n{nicht}
(=>
(
and
(
approximateDiameter
?O
(
MeasureFn
?L ?LM))
(
sphereRadius
?S
(
MeasureFn
(
DivisionFn
?L 2.0) ?LM))
(
measure
?S
(
MeasureFn
?V1 ?VM))
(
measure
?O
(
MeasureFn
?V2 ?VM))
(
instance
?LM
UnitOfLength
)
(
instance
?VM
UnitOfVolume
))
(
equal
?V1 ?V2))
Mid-level-ontology.kif 17948-17959
Wenn
approximateDiameter
SelfConnectedObject
and
RealNumber
** RealNumber
M(s) und
sphereRadius
Object
and
** RealNumber
und 2.0
** RealNumber
M(s) und das
mass
von
** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** SelfConnectedObject
ist
** RealNumber
** ** UnitOfMeasure
(s) %n{nicht} und
** RealNumber
M ist ein
fall
von
UnitOfLength
%n{nicht} und
** ** UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht},
dann
** ** RealNumber
ist gleich
** ** RealNumber
%n{nicht}
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?TOTAL
AreaMeasure
)
(
equal
?AMOUNT
(
MultiplicationFn
?FRACTION ?TOTAL)))
(
arableLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT)))
Geography.kif 2080-2090
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** ** RealNumber
ist ein
fall
von
AreaMeasure
%n{nicht} und
** RealNumber
ist gleich
** RealNumber
und
** ** RealNumber
%n{nicht},
dann
arableLandArea
** GeographicArea
and
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2092-2106
Wenn
arableLandArea
GeographicArea
and
RealNumber
UnitOfMeasure
(s) und
** RealNumber
ist
groesserAlsOderGleich
0.0 %n{nicht} und
totalArea
** GeographicArea
and
** RealNumber
** UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht},
dann es gibt
** GeographicArea
um
** ** GeographicArea
ist ein
fall
von
ArableLand
%n{nicht} und
geographicSubregion
** ** GeographicArea
and
** GeographicArea
und das
mass
von
** ** GeographicArea
ist
** RealNumber
und
** ** RealNumber
** UnitOfMeasure
(s) %n{nicht}
(=>
(
and
(
attribute
?FOOD1
FamilyStylePortion
)
(
measure
?FOOD1
(
MeasureFn
?MEAS1 ?U))
(
not
(
attribute
?FOOD2
FamilyStylePortion
))
(
measure
?FOOD2
(
MeasureFn
?MEAS2 ?U))
(
instance
?FOOD1 ?CLASS)
(
instance
?FOOD2 ?CLASS)
(
instance
?U
UnitOfMeasure
))
(
greaterThan
?MEAS1 ?MEAS2))
Dining.kif 1165-1176
Wenn
FamilyStylePortion
ist ein
attribut
von
Object
%n{nicht} und das
mass
von
** Object
ist
RealNumber
UnitOfMeasure
(s) %n{nicht} und
FamilyStylePortion
ist ein
attribut
von
** Object
nicht und das
mass
von
** ** Object
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} und
** Object
ist ein
fall
von
Class
%n{nicht} und
** ** Object
ist ein
fall
von
** Class
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfMeasure
%n{nicht},
dann
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht}
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Female
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 12))
Medicine.kif 172-187
Wenn
Anemia
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Blood
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Female
ist ein
attribut
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist 0.1
Liter
(s) %n{nicht} und
** Object
E ist ein
fall
von
Hemoglobin
%n{nicht} und
** Object
E ist ein
teil
von
** ** Object
%n{nicht} und
** Object
E2 ist ein
fall
von
Hemoglobin
nicht und
** Object
E ist gleich
** Object
E2 nicht und
** Object
2 ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** Object
E ist
RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAls
12 %n{nicht}
(=>
(
and
(
attribute
?H
Anemia
)
(
instance
?B
Blood
)
(
part
?B ?H)
(
attribute
?H
Male
)
(
measure
?B
(
MeasureFn
0.1
Liter
))
(
instance
?HE
Hemoglobin
)
(
part
?HE ?B)
(
not
(
instance
?HE2
Hemoglobin
))
(
not
(
equal
?HE ?HE2))
(
part
?H2 ?B)
(
measure
?HE
(
MeasureFn
?N
Gram
)))
(
lessThan
?N 13))
Medicine.kif 155-170
Wenn
Anemia
ist ein
attribut
von
Object
%n{nicht} und
** Object
ist ein
fall
von
Blood
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
Male
ist ein
attribut
von
** Object
%n{nicht} und das
mass
von
** ** Object
ist 0.1
Liter
(s) %n{nicht} und
** Object
E ist ein
fall
von
Hemoglobin
%n{nicht} und
** Object
E ist ein
teil
von
** ** Object
%n{nicht} und
** Object
E2 ist ein
fall
von
Hemoglobin
nicht und
** Object
E ist gleich
** Object
E2 nicht und
** Object
2 ist ein
teil
von
** ** Object
%n{nicht} und das
mass
von
** Object
E ist
RealNumber
Gram
(s) %n{nicht},
dann
** RealNumber
ist
kleinerAls
13 %n{nicht}
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 2008-2029
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Buying
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
askPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 2031-2052
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Selling
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
bidPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Gas
))
(
exists
(?BOIL)
(
and
(
overlapsTemporally
(
WhenFn
?BOIL) ?TIME)
(
instance
?BOIL
Boiling
)
(
patient
?BOIL ?SUBSTANCE)))))
Merge.kif 13841-13854
Wenn
boilingPoint
** PureSubstance
and
RealNumber
UnitOfMeasure
(s) und
Entity
ist ein
fall
von
** PureSubstance
%n{nicht} und das
mass
von
** Entity
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht} haelt
waehrend
TimeInterval
%n{nicht} und
** UnitOfMeasure
ist ein
fall
von
UnitOfTemperature
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
Gas
ist ein
attribut
von
** Entity
%n{nicht} haelt
waehrend
** TimeInterval
%n{nicht} oder es gibt
Process
um
** TimeInterval
deckt
sich mit die
zeit
des Bestehens von
** Process
%n{nicht} und
** Process
ist ein
fall
von
Boiling
%n{nicht} und
** Entity
ist ein
patient
von
** Process
%n{nicht}
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
Wenn
capitalExpendituresOfAreaInPeriod
GeopoliticalArea
,
RealNumber
UnitOfMeasure
(s) and
** TimeInterval
und
annualExpendituresOfAreaInPeriod
** GeopoliticalArea
,
** RealNumber
** UnitOfMeasure
(s) and
** TimeInterval
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
Wenn
climateTypeInArea
GeographicArea
and
ColdClimateZone
und fuer alle
TimeInterval
** TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s),
dann 10.0 ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
Wenn
climateTypeInArea
GeographicArea
and
DesertClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s) und
** RealNumber
ist
groesserAls
18.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
and
SubtropicalDesertClimateZone
(=>
(
and
(
climateTypeInArea
?AREA
PolarTypeFClimateZone
)
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
airTemperature
?AREA
(
MeasureFn
?TEMP
CelsiusDegree
))))
(
holdsDuring
?TIME
(
greaterThan
10.0 ?TEMP)))
Geography.kif 1597-1603
Wenn
climateTypeInArea
GeographicArea
and
PolarTypeFClimateZone
und
TimePosition
ist ein
fall
von
TimePosition
%n{nicht} und
airTemperature
** GeographicArea
and
entity
CelsiusDegree
(s) haelt
waehrend
** TimePosition
%n{nicht},
dann 10.0 ist
groesserAls
** entity
%n{nicht} haelt
waehrend
** TimePosition
%n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
Wenn
climateTypeInArea
GeographicArea
and
TemperateClimateZone
und
TimeInterval
ist ein
fall
von
Month
%n{nicht} und
averageTemperatureForPeriod
** GeographicArea
,
** TimeInterval
and
RealNumber
CelsiusDegree
(s),
dann
** RealNumber
ist
groesserAlsOderGleich
-3.0 %n{nicht}
(=>
(
and
(
climateTypeInArea
?AREA
TropicalClimateZone
)
(
instance
?MO
Month
)
(
averageRainfallForPeriod
?AREA ?MO
(
MeasureFn
?AMOUNT
(
MilliFn
Meter
)))
(
greaterThanOrEqualTo
?AMOUNT 60.0))
(
climateTypeInArea
?AREA
WetTropicalClimateZone
))
Geography.kif 1316-1323
Wenn
climateTypeInArea
GeographicArea
and
TropicalClimateZone
und
Month
ist ein
fall
von
Month
%n{nicht} und
averageRainfallForPeriod
** GeographicArea
,
** Month
and
RealNumber
ein
tausendstes
einer
Meter
(s) und
** RealNumber
ist
groesserAlsOderGleich
60.0 %n{nicht},
dann
climateTypeInArea
** GeographicArea
and
WetTropicalClimateZone
(=>
(
and
(
comparativeArea
?REGION1 ?RELATION ?FACTOR ?REGION2)
(
instance
?UNIT
UnitOfArea
)
(
measure
?REGION1
(
MeasureFn
?NUM1 ?UNIT))
(
measure
?REGION2
(
MeasureFn
?NUM2 ?UNIT)))
(?RELATION
(
MeasureFn
?NUM1 ?UNIT)
(
MeasureFn
(
MultiplicationFn
?FACTOR ?NUM2) ?UNIT)))
Geography.kif 659-669
Wenn
comparativeArea
GeographicArea
,
BinaryRelationExtendedToQuantities
,
PositiveRealNumber
and
** GeographicArea
und
UnitOfMeasure
ist ein
fall
von
UnitOfArea
%n{nicht} und das
mass
von
** GeographicArea
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** GeographicArea
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann
** BinaryRelationExtendedToQuantities
** RealNumber
** UnitOfMeasure
(s) and
** PositiveRealNumber
und
** ** RealNumber
** UnitOfMeasure
(s)
(=>
(
and
(
concentration
(
MeasureFn
?N1 ?U) ?S
(
MeasureFn
?N2 ?U2) ?M)
(
instance
?SI ?S)
(
part
?SI ?M)
(
measure
?SI
(
MeasureFn
?N3 ?U3))
(
part
?SI ?M)
(
not
(
instance
?SI2 ?S))
(
not
(
equal
?SI ?SIE2))
(
part
?SI2 ?M)
(
measure
?M
(
MeasureFn
?N2 ?U2)))
(
approximateValue
?N1 ?N3))
Medicine.kif 234-249
Wenn
concentration
RealNumber
UnitOfMeasure
(s),
** Substance
,
** RealNumber
** UnitOfMeasure
2(s) and
Mixture
und
** Substance
I ist ein
fall
von
** ** Substance
%n{nicht} und
** ** Substance
I ist ein
teil
von
** Mixture
%n{nicht} und das
mass
von
** ** Substance
I ist
** RealNumber
** UnitOfMeasure
3(s) %n{nicht} und
** ** Substance
I ist ein
teil
von
** Mixture
%n{nicht} und
** ** Substance
I2 ist ein
fall
von
** ** Substance
nicht und
** ** Substance
I ist gleich
** ** Substance
IE2 nicht und
** ** Substance
I2 ist ein
teil
von
** Mixture
%n{nicht} und das
mass
von
** Mixture
ist
** ** RealNumber
** UnitOfMeasure
2(s) %n{nicht},
dann
approximateValue
** RealNumber
and
** ** RealNumber
(=>
(
and
(
currentAccountBalance
?Account ?Date
(
MeasureFn
?Balance
UnitedStatesDollar
))
(
lessThan
?Balance 0)
(
equal
?Overdraft
(
SubtractionFn
0 ?Balance)))
(
overdraft
?Account
(
MeasureFn
?Overdraft
UnitedStatesDollar
) ?Date))
FinancialOntology.kif 783-788
Wenn
currentAccountBalance
FinancialAccount
,
Day
and
RealNumber
UnitedStatesDollar
(s) und
** RealNumber
ist
kleinerAls
0 %n{nicht} und
** RealNumber
ist gleich (0 und
** RealNumber
) %n{nicht},
dann
overdraft
** FinancialAccount
,
** ** RealNumber
UnitedStatesDollar
(s) and
** Day
(=>
(
and
(
dampingRatio
?P ?R)
(
greaterThan
?R 0)
(
instance
?T
Tremor
)
(
patient
?T ?P)
(
instance
?U
UnitOfLength
)
(
holdsDuring
?T1
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
?T2
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U)))
(
during
?T1 ?T)
(
during
?T2 ?T)
(
earlier
?T1 ?T2))
(
greaterThan
?A1 ?A2))
Cars.kif 809-825
Wenn
dampingRatio
PhysicalSystem
and
RealNumber
und
** RealNumber
ist
groesserAls
0 %n{nicht} und
TimeInterval
ist ein
fall
von
Tremor
%n{nicht} und
** PhysicalSystem
ist ein
patient
von
** TimeInterval
%n{nicht} und
Entity
ist ein
fall
von
UnitOfLength
%n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
1 %n{nicht} und
physicalAmplitude
** TimeInterval
and
** RealNumber
** Entity
(s) haelt
waehrend
** TimeInterval
2 %n{nicht} und
** TimeInterval
1 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
2 geschieht
waehrend
** TimeInterval
%n{nicht} und
** TimeInterval
1 geschieht frueh als
** TimeInterval
2 %n{nicht},
dann
** ** RealNumber
ist
groesserAls
** ** 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