MultiplicationFn
(=>
(
multiplicativeFactor
?N1 ?N2)
(
exists
(?I)
(
and
(
instance
?I
Integer
)
(
equal
?N2
(
MultiplicationFn
?N1 ?I)))))
Merge.kif 4900-4905
multiplicativeFactor
NumeroIntero
and
NumeroIntero
NumeroReale
NumeroReale
è un'
istanza
di
NumeroIntero
NumeroIntero
is
uguale
a
NumeroIntero
+
NumeroReale
(=>
(
rainfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
(
and
(
instance
?RAIN
Raining
)
(
eventLocated
?RAIN ?AREA)
(
during
(
WhenFn
?RAIN) ?TIME)
(
instance
?CLTN
Collection
)
(
objectTransferred
?RAIN ?CLTN)
(
instance
?R
Water
)
(
member
?R ?CLTN)
(
instance
?BUCKET
Container
)
(
bottom
?BOTTOM ?BUCKET)
(
attribute
?BOTTOM
Flat
)
(
located
?BUCKET ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
attribute
?BUCKET
ContainerEmpty
))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?CLTN ?BUCKET)
(
top
?TOP ?CLTN)
(
depth
?TOP ?BOTTOM ?RAINFALL)
(
equal
?RAINFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 2813-2838
rainfallIntensity
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
InsiemeConcreto
,
Entit�Concreta
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
è un'
istanza
di
Raining
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
Acqua
Entit�Concreta
è un
membro
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Container
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
attribute
OggettoIntegro
and
ContainerEmpty
vales
durante
l'
inizio
di
IntervalloTemporale
InsiemeConcreto
è
localizzato
in
OggettoIntegro
il
vertice
InsiemeConcreto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Trasferimento
FALL
Trasferimento
FALL is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
snowfallIntensity
?AREA ?TIME ?RATE)
(
exists
(?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL)
(
and
(
instance
?PROCESS
Snowing
)
(
eventLocated
?PROCESS ?AREA)
(
during
(
WhenFn
?PROCESS) ?TIME)
(
instance
?STUFF
Snow
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?BOARD
BoardOrBlock
)
(
bottom
?BOTTOM ?BOARD)
(
attribute
?BOTTOM
Flat
)
(
located
?BOARD ?AREA)
(
holdsDuring
(
BeginFn
?TIME)
(
not
(
exists
(?X)
(
and
(
instance
?X
Object
)
(
located
?X ?BOARD)))))
(
holdsDuring
(
EndFn
?TIME)
(
and
(
located
?STUFF ?BOARD)
(
top
?TOP ?STUFF)
(
depth
?TOP ?BOTTOM ?SNOWFALL)
(
equal
?SNOWFALL
(
MultiplicationFn
?TIME ?RATE)))))))
Weather.kif 3018-3045
snowfallIntensity
AreaGeografica
,
IntervalloTemporale
and
FunzioneDiQuantit�
Trasferimento
Oggetto
,
OggettoIntegro
,
Entit�
,
OggettoIntegro
and
Entit�
Trasferimento
è un'
istanza
di
Snowing
eventLocated
Trasferimento
and
AreaGeografica
il
tempo
di esistenza di
Trasferimento
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Snow
objectTransferred
Trasferimento
and
Oggetto
OggettoIntegro
è un'
istanza
di
BoardOrBlock
il
fondo
di
OggettoIntegro
è
OggettoIntegro
attribute
OggettoIntegro
and
Flat
OggettoIntegro
è
localizzato
in
AreaGeografica
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
localizzato
in
OggettoIntegro
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
OggettoIntegro
il
vertice
Oggetto
è
Entit�
depth
Entit�
,
OggettoIntegro
and
Entit�
Entit�
is
uguale
a
IntervalloTemporale
+
FunzioneDiQuantit�
vales
durante
la
fine
di
IntervalloTemporale
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