ImmediatePastFn
(=>
(
instance
?BERG
Iceberg
)
(
exists
(?SHEET)
(
and
(
subclass
?SHEET
Glacier
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?BERG))
(
material
?SHEET ?BERG)))))
Geography.kif 4732-4740
Entit�Concreta
è un'
istanza
di
Iceberg
Classe
Classe
è una
sottoclasse
di
Glacier
Classe
è
fatto
di
Entit�Concreta
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
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 10497-10509
Entit�Concreta
è un'
istanza
di
Clotting
Entit�
Entit�
è un'
istanza
di
Sangue
attribute
Entit�
and
Liquid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
attribute
Entit�
and
Solid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
Entit�Concreta
è un'
istanza
di
FindMyIPhone
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
AppleIPhone
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
agente
di
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
non
conosce
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�
Entit�
conosce
s
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�
(=>
(
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 3614-3630
Entit�Concreta
è un'
istanza
di
Inflating
Oggetto
Oggetto
,
NumeroReale
,
NumeroReale
,
Classe
and
Entit�
Oggetto
è un'
istanza
di
Classe
Oggetto
è un'
istanza
di
Classe
Classe
è un'
istanza
di
Sostanza
attribute
Oggetto
and
Gas
attribute
Oggetto
and
Gas
Entit�
è un'
istanza
di
UnitOfVolume
la
misura
Oggetto
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
la
misura
Oggetto
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
instance
?INTERVAL
TimeInterval
)
(
finishes
(
ImmediatePastFn
?INTERVAL)
(
PastFn
?INTERVAL)))
Merge.kif 8526-8528
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
immediatamente
prima
di
PosizioneTemporale
finisce
es
prima
PosizioneTemporale
(=>
(
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
Entit�
è un'
istanza
di
Shrapnel
Oggetto
Processo
Oggetto
è un'
istanza
di
Bomb
Processo
è un'
istanza
di
Explosion
Oggetto
è uno
strumento
per
Processo
Entit�
è una
parte
di
Oggetto
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
Oggetto
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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 21903-21916
Processo
è un'
istanza
di
Hijacking
Entit�
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Entit�
è un'
istanza
di
MezzoDiTrasporto
AutonomousAgent
non
possiede
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
possiede
es
Entit�
vales
durante
il
tempo
di esistenza di
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 21959-21974
Entit�Concreta
è un'
istanza
di
Kidnapping
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
AgenteSensibile
Entit�
è un'
istanza
di
AreaGeografica
Entit�
è un'
istanza
di
AreaGeografica
Entit�
is
uguale
a
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
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 11361-11372
objectTransferred
Trasferimento
and
Oggetto
Oggetto
Entit�
Trasferimento
si
originas in
Oggetto
Trasferimento
fine
s in
Entit�
Oggetto
è
localizzato
in
Oggetto
vales
durante
immediatamente
prima
di
Trasferimento
Oggetto
è
localizzato
in
Entit�
vales
durante
immediatamente
dopo
Trasferimento
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