ImmediatePastFn
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Fisico
e' uma
instancia
de
Iceberg
Classe
Classe
e' uma
sub
-classe de
Glacier
Classe
e'
feito
de
Fisico
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
(=>
(
instance
?C
Clotting
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
attribute
?B
Liquid
))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
attribute
?B
Solid
)))))
Mid-level-ontology.kif 10498-10510
Fisico
e' uma
instancia
de
Clotting
Entidade
Entidade
e' uma
instancia
de
Sangue
Liquid
e' um
atributo
de
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Solid
e' um
atributo
de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
(=>
(
instance
?FMIP
FindMyIPhone
)
(
hasPurpose
?FMIP
(
exists
(?A ?IP ?P ?L)
(
and
(
instance
?IP
AppleIPhone
)
(
instrument
?P ?FMIP)
(
agent
?P ?A)
(
patient
?P ?IP)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?P))
(
not
(
knows
?A
(
located
?IP ?L))))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?P))
(
knows
?A
(
located
?IP ?L)))))))
ComputingBrands.kif 4263-4282
Fisico
e' uma
instancia
de
FindMyIPhone
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
AppleIPhone
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
agente
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
nao
sabe
%n
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Entidade
Entidade
sabe
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Entidade
(=>
(
instance
?I
Inflating
)
(
exists
(?G1 ?G2 ?V1 ?V2 ?S ?U)
(
and
(
instance
?G1 ?S)
(
instance
?G2 ?S)
(
instance
?S
Substance
)
(
attribute
?G1
Gas
)
(
attribute
?G2
Gas
)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
measure
?G1
(
MeasureFn
?V1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
measure
?G2
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1))))
Cars.kif 3606-3622
Fisico
e' uma
instancia
de
Inflating
Objeto
Objeto
,
Numero Real
,
Numero Real
,
Classe
and
Entidade
Objeto
e' uma
instancia
de
Classe
Objeto
e' uma
instancia
de
Classe
Classe
e' uma
instancia
de
Substancia
Gas
e' um
atributo
de
Objeto
Gas
e' um
atributo
de
Objeto
Entidade
e' uma
instancia
de
UnitOfVolume
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
a
medida
de
Objeto
e'
Numero Real
Entidade
(s)
vale
durante imediatemente
apos
tempo
de existencia de
Fisico
Numero Real
e'
maior
que
Numero Real
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8504-8506
Posicao Temporal
e' uma
instancia
de
Intervalo Temporal
imediatemente
antes
de
Posicao Temporal
termina
em
antes
de
Posicao Temporal
(=>
(
instance
?S
Shrapnel
)
(
exists
(?B ?E)
(
and
(
instance
?B
Bomb
)
(
instance
?E
Explosion
)
(
instrument
?E ?B)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?E))
(
part
?S ?B))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?E))
(
not
(
part
?S ?B))))))
MilitaryDevices.kif 2103-2118
Entidade
e' uma
instancia
de
Shrapnel
Objeto
Processo
Objeto
e' uma
instancia
de
Bomb
Processo
e' uma
instancia
de
Explosion
Objeto
e' um
instrumento
para
Processo
Entidade
e' uma &parte de
Objeto
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
Entidade
e' uma &parte de
Objeto
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
instance
?X
Hijacking
)
(
exists
(?V ?A)
(
and
(
agent
?X ?A)
(
instance
?V
TransportationDevice
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
not
(
possesses
?A ?V)))
(
holdsDuring
(
WhenFn
?X)
(
possesses
?A ?V)))))
Mid-level-ontology.kif 21904-21917
Processo
e' uma
instancia
de
Hijacking
Entidade
AutonomousAgent
Processo
e' um
agente
de
AutonomousAgent
Entidade
e' uma
instancia
de
Veiculo de Transporte
AutonomousAgent
nao
possui
%n
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Processo
AutonomousAgent
possui
Entidade
vale
durante
tempo
de existencia de
Processo
(=>
(
instance
?X
Kidnapping
)
(
exists
(?A ?LOC1 ?LOC2)
(
and
(
instance
?A
SentientAgent
)
(
instance
?LOC1
GeographicArea
)
(
instance
?LOC2
GeographicArea
)
(
not
(
equal
?LOC1 ?LOC2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?X))
(
located
?A ?LOC1))
(
holdsDuring
(
WhenFn
?X)
(
located
?A ?LOC2)))))
Mid-level-ontology.kif 21960-21975
Fisico
e' uma
instancia
de
Kidnapping
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Agente Sentiente
Entidade
e' uma
instancia
de
Area Geografica
Entidade
e' uma
instancia
de
Area Geografica
Entidade
e'
igual
a
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
Fisico
Entidade
e'
situado
em
Entidade
vale
durante
tempo
de existencia de
Fisico
(=>
(
objectTransferred
?P ?OBJ)
(
exists
(?O ?D)
(
and
(
origin
?P ?O)
(
destination
?P ?D)
(
holdsDuring
(
ImmediatePastFn
?P)
(
located
?OBJ ?O))
(
holdsDuring
(
ImmediateFutureFn
?P)
(
located
?OBJ ?D)))))
Merge.kif 11339-11350
objectTransferred
Transferencia
and
Objeto
Objeto
Entidade
Transferencia
tem como
origem
Objeto
Transferencia
termina
em
Entidade
Objeto
e'
situado
em
Objeto
vale
durante imediatemente
antes
de
Transferencia
Objeto
e'
situado
em
Entidade
vale
durante imediatemente
apos
Transferencia
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