EndFn
(=>
(
and
(
instance
?C
CurdlingMilk
)
(
instance
?M
Milk
)
(
patient
?C ?M))
(
exists
(?PH ?D ?H ?L)
(
and
(
measure
?M
(
MeasureFn
?PH
PHValue
))
(
instance
?D
Decreasing
)
(
subProcess
?D ?C)
(
patient
?D ?PH)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
equal
?PH ?H)
(
approximateValue
?H 6.5))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
equal
?PH ?L)
(
approximateValue
?L 4.5)))))
Food.kif 3226-3247
Processo
è un'
istanza
di
CurdlingMilk
Entit�Concreta
è un'
istanza
di
Milk
Entit�Concreta
è un
paziente
di
Processo
NumeroReale
Processo
,
Entit�
and
Entit�
la
misura
Entit�Concreta
è
NumeroReale
PHValue
(s
Processo
è un'
istanza
di
Diminuzione
Processo
è un
sottoprocesso
di
Processo
NumeroReale
è un
paziente
di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
is
uguale
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17112-17117
Processo
è un'
istanza
di
Catching
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
grasps
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
origin
?CHANGE ?AGENT1)
(
destination
?CHANGE ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?CHANGE ?OBJ))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ))))
Merge.kif 11656-11666
Processo
è un'
istanza
di
CambiamentodiPossesso
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Oggetto
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Oggetto
possiede
es
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
possiede
es
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CHANGE
InternalChange
)
(
patient
?CHANGE ?OBJ))
(
exists
(?PROPERTY)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
not
(
attribute
?OBJ ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
attribute
?OBJ ?PROPERTY))))))
Merge.kif 12599-12610
Processo
è un'
istanza
di
CambiamentoInterno
Entit�
è un
paziente
di
Processo
Entit�
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?CLOSE
ClosingGraphicalWindow
)
(
patient
?CLOSE ?WINDOW))
(
and
(
instance
?WINDOW
InterfaceWindow
)
(
time
?WINDOW
(
BeginFn
(
WhenFn
?OPEN)))
(
not
(
time
?WINDOW
(
EndFn
(
WhenFn
?OPEN))))))
ComputerInput.kif 2438-2445
Processo
è un'
istanza
di
ClosingGraphicalWindow
Entit�Concreta
è un
paziente
di
Processo
Entit�Concreta
è un'
istanza
di
InterfaceWindow
Entit�Concreta
esistes
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
non esiste
durante
la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?COLORING
Coloring
)
(
patient
?COLORING ?OBJ))
(
exists
(?PROPERTY ?PART)
(
and
(
part
?PART ?OBJ)
(
instance
?PROPERTY
ColorAttribute
)
(
or
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY))))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?COLORING))
(
not
(
attribute
?PART ?PROPERTY)))
(
holdsDuring
(
EndFn
(
WhenFn
?COLORING))
(
attribute
?PART ?PROPERTY)))))))
Merge.kif 12636-12650
Processo
è un'
istanza
di
Colorare
Oggetto
è un
paziente
di
Processo
Entit�
Oggetto
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
AttributoDiColore
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?COND
Condensing
)
(
patient
?COND ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?COND))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?COND))
(
attribute
?PART
Liquid
)))))
Merge.kif 13979-13987
Processo
è un'
istanza
di
Condensare
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Gas
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Liquid
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?COOL
Cooling
)
(
patient
?COOL ?OBJ))
(
exists
(?UNIT ?QUANT1 ?QUANT2)
(
and
(
instance
?UNIT
TemperatureMeasure
)
(
holdsDuring
(
BeginFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT1))
(
holdsDuring
(
EndFn
(
WhenFn
?COOL))
(
equal
(
MeasureFn
?OBJ ?UNIT) ?QUANT2))
(
lessThan
?QUANT2 ?QUANT1))))
Merge.kif 10961-10974
Processo
è un'
istanza
di
Raffreddamento
Entit�
è un
paziente
di
Processo
Entit�
NumeroReale
and
NumeroReale
Entit�
è un'
istanza
di
MisuraDiTemperatura
Entit�
Entit�
(s is
uguale
a
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
Entit�
(s is
uguale
a
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?COVERING
CoveringGUIElement
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
or
(
guiElementCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP))))
ComputerInput.kif 2597-2607
IntervalloTemporale
è un'
istanza
di
CoveringGUIElement
IntervalloTemporale
è un
agente
di
Entit�
_TOP
Entit�
_BOTTOM è un
paziente
di
IntervalloTemporale
Entit�
_TOP è un'
istanza
di
GUIElement
Entit�
_BOTTOM è un'
istanza
di
GUIElement
guiElementCoveredBy
Entit�
_BOTTOM and
Entit�
_TOP
guiElementPartiallyCoveredBy
Entit�
_BOTTOM and
Entit�
_TOP vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?COVERING
PartiallyCoveringGraphicalWindow
)
(
agent
?COVERING ?GUIE_TOP)
(
patient
?COVERING ?GUIE_BOTTOM)
(
instance
?GUIE_TOP
GUIElement
)
(
instance
?GUIE_BOTTOM
GUIElement
))
(
holdsDuring
(
EndFn
?COVERING)
(
guiElementPartiallyCoveredBy
?GUIE_BOTTOM ?GUIE_TOP)))
ComputerInput.kif 2609-2617
IntervalloTemporale
è un'
istanza
di
PartiallyCoveringGraphicalWindow
IntervalloTemporale
è un
agente
di
Entit�
_TOP
Entit�
_BOTTOM è un
paziente
di
IntervalloTemporale
Entit�
_TOP è un'
istanza
di
GUIElement
Entit�
_BOTTOM è un'
istanza
di
GUIElement
guiElementPartiallyCoveredBy
Entit�
_BOTTOM and
Entit�
_TOP vales
durante
la
fine
di
IntervalloTemporale
(=>
(
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 17171-17191
Processo
è un'
istanza
di
Decelerating
Processo
è un
agente
di
AutonomousAgent
NumeroReale
NumeroReale
,
NumeroReale
,
NumeroReale
,
Entit�
and
Entit�
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
Entit�
(s
per
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
Processo
è un'
istanza
di
Dismounting
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
è
On
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
On
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6997-7014
Processo
è un'
istanza
di
Deposition
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
attribute
Oggetto
and
Gas
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Solid
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Liquid
non vale
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2492-2505
Processo
è un'
istanza
di
Desertification
eventLocated
Processo
and
Oggetto
Entit�
Entit�
Entit�
è un'
istanza
di
ArableLand
Entit�
è un'
istanza
di
Desert
Oggetto
si
sovrappones a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Oggetto
si
sovrappones a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
Processo
è un'
istanza
di
Staccare
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
connesso
a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DRESS
Dressing
)
(
agent
?DRESS ?AGENT)
(
patient
?DRESS ?CLOTHING))
(
and
(
instance
?CLOTHING
Clothing
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DRESS))
(
not
(
wears
?AGENT ?CLOTHING)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRESS))
(
wears
?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5503-5518
Processo
è un'
istanza
di
Dressing
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Vestito
wears
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
wears
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DRILL
Drilling
)
(
patient
?DRILL ?OBJ))
(
exists
(?HOLE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DRILL))
(
not
(
hole
?HOLE ?OBJ)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRILL))
(
hole
?HOLE ?OBJ)))))
Mid-level-ontology.kif 18099-18106
Processo
è un'
istanza
di
Drilling
Entit�
è un
paziente
di
Processo
Entit�
Entit�
è un'
apertura
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è un'
apertura
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DRY
Drying
)
(
patient
?DRY ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?DRY))
(
attribute
?OBJ
Dry
)))
Merge.kif 12777-12782
Processo
è un'
istanza
di
Asciugare
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Dry
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 13953-13966
Processo
è un'
istanza
di
Evaporating
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
SostanzaPura
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
Oggetto
è un
paziente
di
Processo
Oggetto
Oggetto
è una
parte
di
Oggetto
NumeroReale
è
pi
ù grande di
NumeroReale
attribute
Oggetto
and
Liquid
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Oggetto
and
Gas
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AreaGeopolitica
Processo
fine
s in
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
not
(
located
?ITEM ?AREA))))
Economy.kif 2421-2430
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AreaGeopolitica
AreaGeopolitica
è un'
istanza
di
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
geopoliticalSubdivision
AreaGeopolitica
and
AreaGeopolitica
Entit�
è
localizzato
in
AreaGeopolitica
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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 17585-17600
Processo
è un'
istanza
di
Flooding
eventLocated
Processo
and
Oggetto
NumeroReale
NumeroReale
and
Entit�
Entit�
è un'
istanza
di
UnitOfLength
waterDepth
Oggetto
and
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
waterDepth
Oggetto
and
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?F
FourStrokeCompression
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
attribute
?I
Pressurized
)))
Cars.kif 191-200
Processo
è un'
istanza
di
FourStrokeCompression
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
attribute
apertura
and
Pressurized
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?FIRE
TerminatingEmployment
)
(
instance
?ORG
Organization
)
(
agent
?FIRE ?ORG)
(
patient
?FIRE ?PERSON))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FIRE))
(
employs
?ORG ?PERSON))
(
holdsDuring
(
EndFn
(
WhenFn
?FIRE))
(
not
(
employs
?ORG ?PERSON)))))
Merge.kif 10740-10748
Processo
è un'
istanza
di
CessazioneDiRapportoLavorativo
AutonomousAgent
è un'
istanza
di
Organizzazione
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
paziente
di
Processo
AutonomousAgent
impiega
s
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
non
impiega
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
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