greaterThan
(=>
(
and
(
instance
?D
Decelerating
)
(
agent
?D ?A))
(
exists
(?L1 ?L2 ?T1 ?T2 ?U1 ?U2)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L1 ?U1)
(
MeasureFn
?T1 ?U2))))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
measure
?A
(
SpeedFn
(
MeasureFn
?L2 ?U1)
(
MeasureFn
?T2 ?U2))))
(
or
(
greaterThan
?L1 ?L2)
(
greaterThan
?T1 ?T2)))))
Mid-level-ontology.kif 17198-17218
Processus
est une
instance
de
Decelerating
processus
est un
agent
de
AutonomousAgent
nombre r�el
nombre r�el
,
nombre r�el
,
nombre r�el
,
entit�
and
entit�
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
la
mesure
de
AutonomousAgent
est
nombre r�el
entit�
(s)
par
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10052-10073
Objet
est une
instance
de
Diuretic
d�palcement
est une
instance
de
ing�rer
d�palcement
est un
agent
de
AutonomousAgent
moves
d�palcement
and
objet
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
est une
instance
de
Urination
entit�
est le
resultat
de
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
interval temporel
arrive
plus
t�t que
d�palcement
d�palcement
arrive
plus
t�t que
interval temporel
unit� de mesure
est une
instance
de
UnitOfVolume
la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s) la
mesure
de
interval temporel
est
nombre r�el
unit� de mesure
(s)
l'argument
nombre r�el
est
plus
grand
que
nombre r�el
a la
force
modale
de
Likely
(=>
(
and
(
instance
?D
Dune
)
(
height
?D
(
MeasureFn
?N
Centimeter
)))
(
greaterThan
?D 7.0))
Geography.kif 4401-4405
Objet en une partie
est une
instance
de
Dune
la
hauteur
de
objet en une partie
est
nombre r�el
Centimeter
(s)
objet en une partie
est
plus
grand
que 7.0
(=>
(
and
(
instance
?D
Increasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
greaterThan
?N1 ?N2))))
Merge.kif 10933-10946
Processus
est une
instance
de
augmenter
entit�
est un
patient
de
processus
nombre r�el
nombre r�el
,
interval temporel
,
interval temporel
and
entit�
interval temporel
arrive
plus
t�t que
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
la
mesure
de
entit�
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1259-1280
Processus
est une
instance
de
DustStorm
processus
est une
instance
de
Wind
processus
est un
sous
-processus de
processus
transf�re
objet
,
objet
,
objet
,
objet
and
nombre r�el
objet
est une
instance
de
zone de terre
eventLocated
processus
and
objet
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
nombre r�el
est
plus
grand
que 30.0
transf�re
est une
instance
de
Translocation
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
ParticulateMatter
objet
est une
instance
de
Sand
objet
est une
instance
de
zone de terre
transf�re
aboutit
�
objet
objet
ne
recouvre
%n{pas}
objet
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
Processus
est une
instance
de
Downtick
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
unit� de mesure
est une
instance
de
UnitOfCurrency
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
processus
AutonomousAgent
and
nombre r�el
processus
est une
instance
de
StockMarketTransaction
physique
est un
patient
de
processus
temps
d'existence de
processus
est
AutonomousAgent
AutonomousAgent
rencontre
AutonomousAgent
price
physique
,
nombre r�el
unit� de mesure
(s) and
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processus
est une
instance
de
d�palcement
processus
est une
instance
de
Tremor
objet
est une
instance
de
Damper
objet
est un
patient
de
processus
objet
est une
partie
de
objet
processus
cause
processus
entit�
est une
instance
de
UnitOfLength
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
physicalAmplitude
processus
and
nombre r�el
entit�
(s)
pendant
immediatement
apr
�s
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
Entit�
est une
instance
de
EngineChoke
DeviceOn
est un
attribut
de
entit�
pendant
processus
DeviceOff
est un
attribut
de
entit�
pendant
processus
objet en une partie
est une
instance
de
EngineCylinder
capacity
objet en une partie
and
quantit� constante
processus
est une
instance
de
FourStrokeCompression
processus
est une
instance
de
FourStrokeCompression
eventLocated
processus
and
objet en une partie
eventLocated
processus
and
objet en une partie
objet
est une
instance
de
Air
objet
est une
instance
de
Fuel
objet
est une
partie
de
quantit� constante
IX1
objet
est une
partie
de
quantit� constante
IX1 la
mesure
de
quantit� constante
IX1 est
quantit� constante
objet
est une
instance
de
Air
objet
est une
instance
de
Fuel
objet
est une
partie
de
quantit� constante
IX2
objet
est une
partie
de
quantit� constante
IX2 la
mesure
de
quantit� constante
IX2 est
quantit� constante
unit� de mesure
est une
instance
de
unit� de mesure
la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s) la
mesure
de
objet
est
objet
M
unit� de mesure
(s)
objet
M +
objet
M est
plus
grand
que
objet
M +
objet
M
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1881-1900
Processus
est une
instance
de
EngineCycle
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
eventLocated
processus
and
objet
entit�
est une
instance
de
UnitOfVolume
maxCylinderVolume
objet
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
nombre r�el
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1851-1870
Processus
est une
instance
de
EngineCycle
objet
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
CombustionChamber
objet
est une
partie
de
objet
eventLocated
processus
and
objet
entit�
est une
instance
de
UnitOfVolume
minCylinderVolume
objet
and
nombre r�el
entit�
(s)
pendant
temps
d'existence de
processus
nombre r�el
interval temporel
interval temporel
prend place
pendant
temps
d'existence de
processus
la
mesure
de
objet
est
nombre r�el
entit�
(s)
pendant
interval temporel
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1926-1948
Processus
est une
instance
de
EngineCycle
Engine
est une
instance
de
InternalCombustionEngine
objet
est une
instance
de
Piston
unit� de mesure
est une
instance
de
UnitOfLength
objet
est une
partie
de
Engine
objet
est un
patient
de
processus
eventLocated
processus
and
Engine
pistonStroke
Engine
and
nombre r�el
unit� de mesure
(s)
interval temporel
interval temporel
,
physique
,
physique
and
nombre r�el
interval temporel
prend place
pendant
temps
d'existence de
processus
interval temporel
prend place
pendant
temps
d'existence de
processus
objet
est
situ
� �
physique
pendant
interval temporel
objet
est
situ
� �
physique
pendant
interval temporel
la
distance
entre
physique
et
physique
est
nombre r�el
unit� de mesure
(s)
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?E
Engine
)
(
connectedEngineeringComponents
?EG ?E)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?R ?P ?M)
(
and
(
instance
?P
Device
)
(
part
?P ?E)
(
instance
?R
Rotating
)
(
holdsDuring
(
WhenFn
?R)
(
and
(
measure
?P
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2913-2931
Composant d'un appareil
est une
instance
de
EngineGovernor
composant d'un appareil
est une
instance
de
Engine
composant d'un appareil
est
connect
� �
composant d'un appareil
governorSpeed
composant d'un appareil
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
appareil
entit�
est une
partie
de
composant d'un appareil
entit�
est une
instance
de
Rotating
la
mesure
de
entit�
est
entit�
MilesPerHour
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
entit�
(=>
(
and
(
instance
?EG
EngineGovernor
)
(
instance
?V
Vehicle
)
(
connectedEngineeringComponents
?EG ?V)
(
governorSpeed
?E
(
MeasureFn
?S
MilesPerHour
)))
(
hasPurpose
?EG
(
not
(
exists
(?T ?M)
(
and
(
instance
?T
Translocation
)
(
holdsDuring
(
WhenFn
?T)
(
and
(
measure
?V
(
MeasureFn
?M
MilesPerHour
))
(
greaterThan
?M ?S))))))))
Cars.kif 2940-2956
Composant d'un appareil
est une
instance
de
EngineGovernor
composant d'un appareil
est une
instance
de
Vehicle
composant d'un appareil
est
connect
� �
composant d'un appareil
governorSpeed
SpeedGovernor
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
a pour
but
entit�
entit�
entit�
est une
instance
de
Translocation
la
mesure
de
composant d'un appareil
est
entit�
MilesPerHour
(s)
entit�
est
plus
grand
que
nombre r�el
pendant
temps
d'existence de
entit�
(=>
(
and
(
instance
?ELECTION
PopularElection
)
(
electionWinner
?ELECTION ?POSITION ?PERSON1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON1 ?NUMBER1)
(
voteFractionReceived
?ELECTION ?POSITION ?PERSON2 ?NUMBER2)
(
not
(
equal
?PERSON1 ?PERSON2)))
(
greaterThan
?NUMBER1 ?NUMBER2))
Government.kif 1857-1864
Election
est une
instance
de
PopularElection
electionWinner
Election
,
r�le social
and
AutonomousAgent
voteFractionReceived
Election
,
r�le social
,
AutonomousAgent
and
nombre r�el
voteFractionReceived
Election
,
r�le social
,
AutonomousAgent
and
nombre r�el
AutonomousAgent
est
AutonomousAgent
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?EVAP
Evaporating
)
(
boilingPoint
?CLASS
(
MeasureFn
?BOILVAL ?MEAS))
(
instance
?OBJ ?CLASS)
(
measure
?OBJ
(
MeasureFn
?VAL ?MEAS))
(
instance
?MEAS
UnitOfTemperature
)
(
patient
?EVAP ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
greaterThan
?BOILVAL ?VAL)
(
holdsDuring
(
BeginFn
(
WhenFn
?EVAP))
(
attribute
?PART
Liquid
))
(
holdsDuring
(
EndFn
(
WhenFn
?EVAP))
(
attribute
?PART
Gas
)))))
Merge.kif 13999-14012
Processus
est une
instance
de
Evaporating
boilingPoint
substance pure
and
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
substance pure
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
unit� de mesure
est une
instance
de
UnitOfTemperature
objet
est un
patient
de
processus
objet
objet
est une
partie
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
Liquid
est un
attribut
de
objet
pendant
le
d
�but de
temps
d'existence de
processus
Gas
est un
attribut
de
objet
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17612-17627
Processus
est une
instance
de
Flooding
eventLocated
processus
and
objet
nombre r�el
nombre r�el
and
entit�
entit�
est une
instance
de
UnitOfLength
waterDepth
objet
and
nombre r�el
entit�
(s)
pendant
le
d
�but de
temps
d'existence de
processus
waterDepth
objet
and
nombre r�el
entit�
(s)
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?G
SpeedGovernor
)
(
governorSpeed
?V
(
MeasureFn
?S
MilesPerHour
))
(
connectedEngineeringComponents
?G ?V))
(
hasPurpose
?G
(
not
(
exists
(?SP2)
(
and
(
measure
?V
(
MeasureFn
?SP2
MilesPerHour
))
(
greaterThan
?SP2 ?S))))))
Cars.kif 2892-2904
Composant d'un appareil
est une
instance
de
SpeedGovernor
governorSpeed
composant d'un appareil
and
nombre r�el
MilesPerHour
(s)
composant d'un appareil
est
connect
� �
composant d'un appareil
composant d'un appareil
a pour
but
nombre r�el
P2 la
mesure
de
composant d'un appareil
est
nombre r�el
P2
MilesPerHour
(s)
nombre r�el
P2 est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?H
Human
)
(
attribute
?H
Fever
))
(
exists
(?N)
(
and
(
measure
?H
(
MeasureFn
?N
FahrenheitDegree
))
(
greaterThan
?N 98.6))))
Mid-level-ontology.kif 6155-6163
Objet
est une
instance
de
humain
Fever
est un
attribut
de
objet
nombre r�el
la
mesure
de
objet
est
nombre r�el
FahrenheitDegree
(s)
nombre r�el
est
plus
grand
que 98.6
(=>
(
and
(
instance
?H
Human
)
(
holdsDuring
?T
(
and
(
attribute
?T
Hyperthermia
)
(
coreBodyTemp
?H
(
MeasureFn
?N
CelsiusDegree
)))))
(
greaterThan
?N 38.3))
Medicine.kif 686-694
Entit�
est une
instance
de
humain
Hyperthermia
est un
attribut
de
position temporel
coreBodyTemp
entit�
and
nombre r�el
CelsiusDegree
(s)
pendant
position temporel
nombre r�el
est
plus
grand
que 38.3
(=>
(
and
(
instance
?H
Hurricane
)
(
instance
?SS
SSHWS5
)
(
eventLocated
?H ?AREA)
(
believes
?A
(
property
?H ?SS)))
(
exists
(?WIND)
(
and
(
greaterThan
?WIND 157.0)
(
believes
?A
(
equal
(
MeasureFn
?WIND
MilesPerHour
)
(
Mean1MinuteWindSpeedFn
?AREA
(
WhenFn
?H)))))))
Weather.kif 2426-2440
Processus
est une
instance
de
Hurricane
entit�
est une
instance
de
SSHWS5
eventLocated
processus
and
objet
agent cognitif
croit
processus
a un
attribute
entit�
nombre r�el
nombre r�el
est
plus
grand
que 157.0
agent cognitif
croit
nombre r�el
MilesPerHour
(s) est
Mean1MinuteWindSpeedFn
objet
and
temps
d'existence de
processus
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
eventLocated
?HAZE ?AREA)
(
instance
?AREA
GeographicArea
)
(
instance
?AIR
AtmosphericRegion
)
(
orientation
?AIR ?AREA
Above
)
(
locatedAtTime
?PARTICULATE
(
WhenFn
?HAZE) ?AIR)
(
visibilityInMeteorology
?AREA
(
WhenFn
?HAZE)
(
MeasureFn
?VISIBILITY
Kilometer
)))
(
and
(
greaterThan
?VISIBILITY 2.0)
(
lessThan
?VISIBILITY 5.0)))
Weather.kif 2549-2563
Processus
est une
instance
de
AtmosphericHazing
eventLocated
processus
and
r�gion
r�gion
est une
instance
de
secteur g�ographique
objet
est une
instance
de
AtmosphericRegion
objet
est
Above
�
r�gion
locatedAtTime
objet
,
temps
d'existence de
processus
and
objet
visibilityInMeteorology
r�gion
,
temps
d'existence de
processus
and
nombre r�el
Kilometer
(s)
nombre r�el
est
plus
grand
que 2.0
nombre r�el
est
moins
que 5.0
(=>
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?HEAT))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
greaterThan
?QUANT2 ?QUANT1))))
Merge.kif 10954-10967
Processus
est une
instance
de
r�chauffer
entit�
est un
patient
de
processus
entit�
nombre r�el
and
nombre r�el
entit�
est une
instance
de
mesure de temperature
entit�
entit�
(s) est
nombre r�el
pendant
le
d
�but de
temps
d'existence de
processus
entit�
entit�
(s) est
nombre r�el
pendant
la
fin
de
temps
d'existence de
processus
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16474-16486
Processus
est une
instance
de
Insomnia
agent cognitif
exp
�rimente
processus
processus
dur�e temporel
and
dur�e temporel
2
processus
est une
instance
de
Sleeping
agent cognitif
exp
�rimente
processus
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
agent cognitif
desire
la
dur
�� de
temps
d'existence de
processus
est
dur�e temporel
2
dur�e temporel
2 est
plus
grand
que
dur�e temporel
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
Processus
est une
instance
de
GravesDisease
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
nombre r�el
est
plus
grand
que
nombre r�el
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
Processus
est une
instance
de
HashimotosThyroiditis
AutonomousAgent
exp
�rimente
processus
AutonomousAgent
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
AutonomousAgent
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
objet
est une
instance
de
humain
objet
est une
instance
de
ThyroidHormone
objet
est une
partie
de
objet
la
mesure
de
objet
est
nombre r�el
unit� de mesure
(s)
Healthy
est un
attribut
de
objet
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