holdsDuring
(=>
(
and
(
instance
?ORG
OrganicObject
)
(
instance
?ATTR
DevelopmentalAttribute
)
(
holdsDuring
?TIME
(
property
?ORG ?ATTR)))
(
holdsDuring
?TIME
(
developmentalForm
?ORG ?ATTR)))
Mid-level-ontology.kif 241-246
Entit�
è un'
istanza
di
Entit�Organica
Entit�
è un'
istanza
di
AttributoEvolutivo
Entit�
ha un
attributo
Entit�
vales
durante
PosizioneTemporale
la
forma
evolutiva
di
Entit�
è
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?P
ParkingBrake
)
(
instance
?V
Vehicle
)
(
holdsDuring
?T1
(
attribute
?P
DeviceOn
))
(
part
?P ?V))
(
hasPurpose
?P
(
holdsDuring
?T1
(
not
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
patient
?T ?V)))))))
Cars.kif 567-580
Oggetto
è un'
istanza
di
ParkingBrake
Oggetto
è un'
istanza
di
Vehicle
attribute
Oggetto
and
DeviceOn
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
è un'
istanza
di
Translocation
Oggetto
è un
paziente
di
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?P
Pulling
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17637-17655
IntervalloTemporale
è un'
istanza
di
Pulling
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?P
Pushing
)
(
origin
?P ?O)
(
agent
?P ?A)
(
holdsDuring
(
BeginFn
?P)
(
located
?A ?ALOC))
(
destination
?P ?D))
(
holdsDuring
(
ImmediateFutureFn
(
BeginFn
?P))
(
exists
(?LARGER ?U ?SMALLER)
(
and
(
distance
?ALOC ?D
(
MeasureFn
?SMALLER ?U))
(
distance
?ALOC ?O
(
MeasureFn
?LARGER ?U))
(
greaterThan
?LARGER ?SMALLER)))))
Mid-level-ontology.kif 17615-17633
IntervalloTemporale
è un'
istanza
di
Pushing
IntervalloTemporale
si
originas in
Oggetto
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
è
localizzato
in
AutonomousAgent
LOC vales
durante
l'
inizio
di
IntervalloTemporale
IntervalloTemporale
fine
s in
Entit�
Entit�
Entit�
and
Entit�
la
distanza
tra
AutonomousAgent
LOC e
Entit�
è
Entit�
Entit�
(s la
distanza
tra
AutonomousAgent
LOC e
Oggetto
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
vales
durante
immediatamente
dopo
l'
inizio
di
IntervalloTemporale
(=>
(
and
(
instance
?R
ChemicalReduction
)
(
patient
?R ?S)
(
holdsDuring
(
BeginFn
(
WhenFn
?R))
(
electronNumber
?S ?L)))
(
exists
(?G)
(
and
(
greaterThan
?G ?L)
(
holdsDuring
(
EndFn
(
WhenFn
?R))
(
electronNumber
?S ?G)))))
Mid-level-ontology.kif 19564-19576
Processo
è un'
istanza
di
ChemicalReduction
Entit�
è un
paziente
di
Processo
electronNumber
Entit�
and
NumeroReale
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
electronNumber
Entit�
and
NumeroReale
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
Entit�Concreta
è un'
istanza
di
OrganismRemains
Entit�
è una
parte
di
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�Concreta
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Organismo
il
tempo
di esistenza di
Entit�Concreta
accades
prima
di il
tempo
di esistenza di
Entit�Concreta
il
tempo
di esistenza di
Entit�Concreta
finisce
es il
tempo
di esistenza di
Entit�Concreta
Entit�
è una
parte
di
Entit�Concreta
vales
durante
il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?REVERSE
Reversing
)
(
patient
?REVERSE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?REVERSE))
(
and
(
top
?TOP ?OBJ)
(
bottom
?BOTTOM ?OBJ))))
(
holdsDuring
(
EndFn
(
WhenFn
?REVERSE))
(
and
(
top
?BOTTOM ?OBJ)
(
bottom
?TOP ?OBJ))))
Mid-level-ontology.kif 17516-17521
Processo
è un'
istanza
di
Reversing
Entit�
è un
paziente
di
Processo
il
vertice
Entit�
è
Entit�
il
fondo
di
Entit�
è
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
il
vertice
Entit�
è
Entit�
il
fondo
di
Entit�
è
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?SCO
SelfConnectedObject
)
(
instance
?C
Compressing
)
(
patient
?C ?SCO)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N1 ?V)))
(
instance
?V
UnitOfVolume
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?C))
(
measure
?SCO
(
MeasureFn
?N2 ?V))))
(
greaterThan
?N1 ?N2))
Cars.kif 1993-2005
Entit�
è un'
istanza
di
OggettoIntegro
Processo
è un'
istanza
di
Compressing
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
UnitOfVolume
la
misura
Entit�
è
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?SEEING
Seeing
)
(
patient
?SEEING ?OBJ)
(
agent
?SEEING ?AGENT)
(
instance
?OBJ
Object
)
(
time
?SEEING ?TIME)
(
holdsDuring
?TIME
(
located
?OBJ ?PLACE)))
(
observedAtTimeInPlace
?OBJ ?AGENT ?TIME ?PLACE))
Justice.kif 61-69
Processo
è un'
istanza
di
Vista
Oggetto
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Oggetto
Processo
esistes
durante
PosizioneTemporale
Oggetto
è
localizzato
in
Oggetto
vales
durante
PosizioneTemporale
observedAtTimeInPlace
Oggetto
,
AutonomousAgent
,
PosizioneTemporale
and
Oggetto
(=>
(
and
(
instance
?SH1
Shaft
)
(
instance
?SH2
Shaft
)
(
not
(
equal
?SH1 ?SH2))
(
instance
?R1
Rotating
)
(
patient
?R1 ?SH1)
(
instance
?R2
Rotating
)
(
patient
?R2 ?SH2)
(
causes
?R1 ?R2)
(
instance
?CV
CVJoint
)
(
connectedEngineeringComponents
?R1 ?CV)
(
connectedEngineeringComponents
?R2 ?CV)
(
holdsDuring
(
WhenFn
?R1)
(
equal
?SH1
(
RotationFn
?N ?T))))
(
holdsDuring
(
WhenFn
?R2)
(
equal
?SH2
(
RotationFn
?N ?T))))
Cars.kif 2120-2139
Entit�
è un'
istanza
di
Shaft
Entit�
è un'
istanza
di
Shaft
Entit�
is
uguale
a
Entit�
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
è un'
istanza
di
Rotating
Entit�
è un
paziente
di
Meccanismo
Meccanismo
causa
s
Meccanismo
Meccanismo
è un'
istanza
di
CVJoint
Meccanismo
è
connesso
a
Meccanismo
Meccanismo
è
connesso
a
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
Entit�
is
uguale
a
RotationFn
Entit�
and
Entit�
vales
durante
il
tempo
di esistenza di
Meccanismo
(=>
(
and
(
instance
?SUBLIMATION
Sublimation
)
(
patient
?SUBLIMATION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?SUBLIMATION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
greaterThan
?Y ?X))
Geography.kif 7068-7082
Processo
è un'
istanza
di
Sublimation
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
la
misura
Entit�
è
NumeroReale
Joule
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP2 ?MEASURE))
(
instance
?MEASURE
UnitOfTemperature
)
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP3 ?MEASURE)))
(
greaterThan
?TEMP3 ?TEMP2)
(
lessThan
?TEMP3 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Liquid
))
(
exists
(?MELT)
(
and
(
overlapsTemporally
(
WhenFn
?MELT) ?TIME)
(
instance
?MELT
Melting
)
(
patient
?MELT ?SUBSTANCE)))))
Merge.kif 13885-13900
Entit�
è un'
istanza
di
SostanzaPura
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Liquid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Sciogliere
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?SUBSTANCE ?TYPE)
(
meltingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
holdsDuring
?TIME
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
)
(
lessThan
?TEMP2 ?TEMP1))
(
or
(
holdsDuring
?TIME
(
attribute
?SUBSTANCE
Solid
))
(
exists
(?FREEZE)
(
and
(
overlapsTemporally
(
WhenFn
?FREEZE) ?TIME)
(
instance
?FREEZE
Freezing
)
(
patient
?FREEZE ?SUBSTANCE)))))
Merge.kif 13902-13915
Entit�
è un'
istanza
di
SostanzaPura
meltingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
IntervalloTemporale
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
meno
di
NumeroReale
attribute
Entit�
and
Solid
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
sovrappone
s il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Congelare
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?SUIT
ClothingSuit
)
(
member
?ITEM1 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?SUIT)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Mid-level-ontology.kif 5305-5313
InsiemeConcreto
è un'
istanza
di
ClothingSuit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?T
ElectricalTransformer
)
(
instance
?WC1
WireCoil
)
(
instance
?WC2
WireCoil
)
(
coilCount
?WC1 ?N1)
(
coilCount
?WC2 ?N2)
(
holdsDuring
?T
(
measure
?WC1
(
MeasureFn
Volt
?V1))))
(
and
(
holdsDuring
?T
(
measure
?WC2
(
MeasureFn
Volt
?V2)))
(
equal
?V2
(
MultiplicationFn
?V1
(
DivisionFn
?N2 ?N1)))))
Cars.kif 3102-3116
PosizioneTemporale
è un'
istanza
di
ElectricalTransformer
WireCoil
è un'
istanza
di
WireCoil
WireCoil
è un'
istanza
di
WireCoil
coilCount
WireCoil
and
NumeroIntero
coilCount
WireCoil
and
NumeroIntero
la
misura
WireCoil
è
Volt
NumeroReale
(s vales
durante
PosizioneTemporale
la
misura
WireCoil
è
Volt
NumeroReale
(s vales
durante
PosizioneTemporale
NumeroReale
is
uguale
a
NumeroReale
+
NumeroIntero
+
NumeroIntero
(=>
(
and
(
instance
?T1
ChristianHoliday
)
(
holdsDuring
?T1
(
attribute
?A
Christian
)))
(
observesHoliday
?A ?T1))
Media.kif 269-274
Holiday
è un'
istanza
di
ChristianHoliday
attribute
AgenteCognitivo
and
Christian
vales
durante
Holiday
observesHoliday
AgenteCognitivo
and
Holiday
(=>
(
and
(
instance
?TIME
TimePoint
)
(
holdsDuring
?TIME
(
age
?OBJ ?DURATION)))
(
duration
(
TimeIntervalFn
(
BeginFn
(
WhenFn
?OBJ)) ?TIME) ?DURATION))
Merge.kif 7524-7528
PuntoTemporale
è un'
istanza
di
PuntoTemporale
il
et
à di
Entit�Concreta
è
Durata
vales
durante
PuntoTemporale
durata
di
intervallo
tra l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
e
PuntoTemporale
è
Durata
(=>
(
and
(
instance
?TIME
TimePosition
)
(
holdsDuring
?TIME
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
?TIME
(
possesses
?AGENT2 ?OBJ)))
(
equal
?AGENT1 ?AGENT2))
Merge.kif 4265-4270
PosizioneTemporale
è un'
istanza
di
PosizioneTemporale
Entit�
possiede
es
Entit�
vales
durante
PosizioneTemporale
Entit�
possiede
es
Entit�
vales
durante
PosizioneTemporale
Entit�
is
uguale
a
Entit�
(=>
(
and
(
instance
?UNIT
SocialUnit
)
(
holdsDuring
?T1
(
and
(
member
?UNIT ?H1)
(
member
?UNIT ?H2))))
(
holdsDuring
?T1
(
cohabitant
?H1 ?H2)))
Mid-level-ontology.kif 22997-23005
Entit�
è un'
istanza
di
SocialUnit
Entit�
è un
membro
di
Entit�
Entit�
è un
membro
di
Entit�
vales
durante
PosizioneTemporale
cohabitant
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?W
Wind
)
(
located
?W ?L)
(
equal
?T
(
WhenFn
?W))
(
holdsDuring
?T
(
surfaceWindSpeed
?L
(
MeasureFn
?N
MilesPerHour
))))
(
greaterThan
?N 20.0))
Merge.kif 11286-11294
Entit�Concreta
è un'
istanza
di
Wind
Entit�Concreta
è
localizzato
in
Oggetto
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Entit�Concreta
surfaceWindSpeed
Oggetto
and
NumeroReale
MilesPerHour
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di 20.0
(=>
(
and
(
instance
?WALK
Walking
)
(
instance
?RUN
Running
)
(
agent
?WALK ?AGENT)
(
agent
?RUN ?AGENT)
(
holdsDuring
(
WhenFn
?WALK)
(
measure
?AGENT
(
SpeedFn
?LENGTH1 ?TIME)))
(
holdsDuring
(
WhenFn
?RUN)
(
measure
?AGENT
(
SpeedFn
?LENGTH2 ?TIME))))
(
greaterThan
?LENGTH2 ?LENGTH1))
Merge.kif 11180-11188
Processo
è un'
istanza
di
Camminare
Processo
è un'
istanza
di
Running
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
la
misura
AutonomousAgent
è
NumeroReale
per
Entit�
vales
durante
il
tempo
di esistenza di
Processo
la
misura
AutonomousAgent
è
NumeroReale
per
Entit�
vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?X
Outfit
)
(
member
?ITEM1 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM1)))
(
forall
(?ITEM2)
(=>
(
member
?ITEM2 ?X)
(
holdsDuring
?TIME
(
wears
?PERSON ?ITEM2)))))
Dining.kif 469-479
InsiemeConcreto
è un'
istanza
di
Outfit
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
wears
Entit�
and
Entit�Concreta
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Y
NitricOxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7216-7222
Entit�
è un'
istanza
di
NitricOxide
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
attribute
Entit�
and
Gas
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Y
NitrogenDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7241-7247
Entit�
è un'
istanza
di
NitrogenDioxide
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
attribute
Entit�
and
Gas
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Y
SulphurDioxide
)
(
holdsDuring
?T
(
property
?Y
StandardAmbientTemperaturePressure
)))
(
holdsDuring
?T
(
attribute
?Y
Gas
)))
Geography.kif 7181-7187
Entit�
è un'
istanza
di
SulphurDioxide
Entit�
ha un
attributo
StandardAmbientTemperaturePressure
vales
durante
PosizioneTemporale
attribute
Entit�
and
Gas
vales
durante
PosizioneTemporale
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