MeasureFn
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
AngularDegree
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcMinute
)))
Geography.kif 378-380
La
mesure
de
physique
est
nombre r�el
AngularDegree
(s) la
mesure
de
physique
est 60.0 +
nombre r�el
ArcMinute
(s)
(<=>
(
measure
?OBJ
(
MeasureFn
?DEG
ArcMinute
))
(
measure
?OBJ
(
MeasureFn
(
MultiplicationFn
60.0 ?DEG)
ArcSecond
)))
Geography.kif 397-399
La
mesure
de
physique
est
nombre r�el
ArcMinute
(s) la
mesure
de
physique
est 60.0 +
nombre r�el
ArcSecond
(s)
(<=>
(
measure
?OBJECT
(
MeasureFn
?NUMBER
OunceMass
))
(
measure
?OBJECT
(
MeasureFn
(
DivisionFn
?NUMBER 16.0)
PoundMass
)))
Mid-level-ontology.kif 13326-13331
La
mesure
de
physique
est
nombre r�el
OunceMass
(s) la
mesure
de
physique
est
nombre r�el
+ 16.0
PoundMass
(s)
(<=>
(
measure
?SOLUTION
(
MeasureFn
?PH
PHValue
))
(
potentialOfHydrogen
?SOLUTION ?PH))
Geography.kif 2548-2551
La
mesure
de
solution
est
nombre r�el
PHValue
(s)
potentialOfHydrogen
solution
and
nombre r�el
(<=>
(
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
secteur g�opolitique
,
IndustryAttribute
,
nombre r�el
unit� de mesure
(s) and
interval temporel
position temporel
position temporel
est une
instance
de
interval temporel
sectorValueOfGDP
secteur g�opolitique
,
IndustryAttribute
and
nombre r�el
unit� de mesure
(s)
pendant
position temporel
(=>
(
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
amount
substance
,
objet corpusculaire
and
nombre r�el
UnitOfMass
(s)
substance
I est une
instance
de
substance
la
mesure
de
substance
I est
nombre r�el
2
UnitOfMass
(s)
substance
I est une
partie
de
objet corpusculaire
liste
nombre r�el
2
UnitOfMass
(s) est un
membre
de
liste
liste
est
AmountsFn
substance
,
objet corpusculaire
and
UnitOfMass
nombre r�el
est
ListSumFn
liste
(=>
(
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
approximateDiameter
objet en une partie
and
nombre r�el
nombre r�el
M(s)
sphereRadius
objet
and
nombre r�el
+ 2.0
nombre r�el
M(s) la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s) la
mesure
de
objet en une partie
est
nombre r�el
unit� de mesure
(s)
nombre r�el
M est une
instance
de
UnitOfLength
unit� de mesure
est une
instance
de
UnitOfVolume
nombre r�el
est
nombre r�el
(=>
(
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
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est une
instance
de
mesure d'aire
nombre r�el
est
nombre r�el
+
nombre r�el
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(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
arableLandArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
ou �gal � 0.0
totalArea
secteur g�ographique
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfArea
secteur g�ographique
secteur g�ographique
est une
instance
de
ArableLand
geographicSubregion
secteur g�ographique
and
secteur g�ographique
la
mesure
de
secteur g�ographique
est
nombre r�el
+
nombre r�el
unit� de mesure
(s)
(=>
(
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
FamilyStylePortion
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
FamilyStylePortion
est un
attribut
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
classe
objet
est une
instance
de
classe
unit� de mesure
est une
instance
de
unit� de mesure
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
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
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Female
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 12
(=>
(
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
Anemia
est un
attribut
de
objet
objet
est une
instance
de
sang
objet
est une
partie
de
objet
Male
est un
attribut
de
objet
la
mesure
de
objet
est 0.1
Liter
(s)
objet
E est une
instance
de
Hemoglobin
objet
E est une
partie
de
objet
objet
E2 est une
instance
de
Hemoglobin
objet
E est
objet
E2
objet
2 est une
partie
de
objet
la
mesure
de
objet
E est
nombre r�el
Gram
(s)
nombre r�el
est
moins
que 13
(=>
(
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
LimitOrder
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
acheter
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfCurrency
askPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est plus
petit
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
LimitOrder
est un
attribut
de
financial transaction
partyToAgreement
financial transaction
and
Agreement
Broker
est un
attribut
de
Agreement
orderFor
financial transaction
,
vendre
and
Security
la
mesure
de
Security
est
quantit� physique
limitPrice
financial transaction
and
nombre r�el
unit� de mesure
(s)
bidPrice
Security
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Agreement
est
oblig
� d'ex�cut� des t�ches du type la
classe
d�crite par
cha�ne sympbolique
(=>
(
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
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
entit�
est une
instance
de
substance pure
la
mesure
de
entit�
est
nombre r�el
unit� de mesure
(s)
pendant
interval temporel
unit� de mesure
est une
instance
de
UnitOfTemperature
nombre r�el
est
plus
grand
ou �gal �
nombre r�el
Gas
est un
attribut
de
entit�
pendant
interval temporel
processus
interval temporel
recouvre
temps
d'existence de
processus
processus
est une
instance
de
�vaporer
entit�
est un
patient
de
processus
(=>
(
and
(
capitalExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?CAPAMOUNT ?UNIT) ?PERIOD)
(
annualExpendituresOfAreaInPeriod
?AREA
(
MeasureFn
?TOTALAMOUNT ?UNIT) ?PERIOD))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1538-1544
capitalExpendituresOfAreaInPeriod
secteur g�opolitique
,
nombre r�el
unit� de mesure
(s) and
interval temporel
annualExpendituresOfAreaInPeriod
secteur g�opolitique
,
nombre r�el
unit� de mesure
(s) and
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
climateTypeInArea
?AREA
ColdClimateZone
)
(
forall
(?MO)
(
and
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))))
(
greaterThan
10.0 ?TEMP))
Geography.kif 1522-1530
climateTypeInArea
secteur g�ographique
and
ColdClimateZone
interval temporel
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
10.0 est
plus
grand
que
nombre r�el
(=>
(
and
(
climateTypeInArea
?AREA
DesertClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
))
(
greaterThan
?TEMP 18.0))
(
climateTypeInArea
?AREA
SubtropicalDesertClimateZone
))
Geography.kif 1370-1377
climateTypeInArea
secteur g�ographique
and
DesertClimateZone
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
que 18.0
climateTypeInArea
secteur g�ographique
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
climateTypeInArea
secteur g�ographique
and
PolarTypeFClimateZone
position temporel
est une
instance
de
position temporel
airTemperature
secteur g�ographique
and
entit�
CelsiusDegree
(s)
pendant
position temporel
10.0 est
plus
grand
que
entit�
pendant
position temporel
(=>
(
and
(
climateTypeInArea
?AREA
TemperateClimateZone
)
(
instance
?MO
Month
)
(
averageTemperatureForPeriod
?AREA ?MO
(
MeasureFn
?TEMP
CelsiusDegree
)))
(
greaterThanOrEqualTo
?TEMP -3.0))
Geography.kif 1419-1425
climateTypeInArea
secteur g�ographique
and
TemperateClimateZone
interval temporel
est une
instance
de
mois
averageTemperatureForPeriod
secteur g�ographique
,
interval temporel
and
nombre r�el
CelsiusDegree
(s)
nombre r�el
est
plus
grand
ou �gal � -3.0
(=>
(
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
climateTypeInArea
secteur g�ographique
and
TropicalClimateZone
mois
est une
instance
de
mois
averageRainfallForPeriod
secteur g�ographique
,
mois
and
nombre r�el
un
milli
�me de
Meter
(s)
nombre r�el
est
plus
grand
ou �gal � 60.0
climateTypeInArea
secteur g�ographique
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
comparativeArea
secteur g�ographique
,
BinaryRelationExtendedToQuantities
,
nombre r�el positif
and
secteur g�ographique
unit� de mesure
est une
instance
de
UnitOfArea
la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s) la
mesure
de
secteur g�ographique
est
nombre r�el
unit� de mesure
(s)
BinaryRelationExtendedToQuantities
nombre r�el
unit� de mesure
(s) and
nombre r�el positif
+
nombre r�el
unit� de mesure
(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
concentration
nombre r�el
unit� de mesure
(s),
substance
,
nombre r�el
unit� de mesure
2(s) and
mixture
substance
I est une
instance
de
substance
substance
I est une
partie
de
mixture
la
mesure
de
substance
I est
nombre r�el
unit� de mesure
3(s)
substance
I est une
partie
de
mixture
substance
I2 est une
instance
de
substance
substance
I est
substance
IE2
substance
I2 est une
partie
de
mixture
la
mesure
de
mixture
est
nombre r�el
unit� de mesure
2(s)
approximateValue
nombre r�el
and
nombre r�el
(=>
(
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
currentAccountBalance
FinancialAccount
,
jour
and
nombre r�el
UnitedStatesDollar
(s)
nombre r�el
est
moins
que 0
nombre r�el
est
nombre r�el
)
overdraft
FinancialAccount
,
nombre r�el
UnitedStatesDollar
(s) and
jour
(=>
(
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
dampingRatio
PhysicalSystem
and
nombre r�el
nombre r�el
est
plus
grand
que 0
interval temporel
est une
instance
de
Tremor
PhysicalSystem
est un
patient
de
interval temporel
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
interval temporel
and
nombre r�el
entit�
(s)
pendant
interval temporel
1
physicalAmplitude
interval temporel
and
nombre r�el
entit�
(s)
pendant
interval temporel
2
interval temporel
1 prend place
pendant
interval temporel
interval temporel
2 prend place
pendant
interval temporel
interval temporel
1 arrive
plus
t�t que
interval temporel
2
nombre r�el
est
plus
grand
que
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