holdsDuring
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Embryonic
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
not
(
overlapsTemporally
?TIME ?BW)))
Merge.kif 18225-18231
attribute
AutonomousAgent
and
Embryonic
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Nascita
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
non
sovrappone
IntervalloTemporale
(=>
(
and
(
holdsDuring
?TIME
(
attribute
?ORG
Larval
))
(
instance
?BIRTH
Birth
)
(
equal
?BW
(
WhenFn
?BIRTH))
(
experiencer
?BIRTH ?ORG))
(
meetsTemporally
?BW ?TIME))
Merge.kif 18203-18209
attribute
AutonomousAgent
and
Larval
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Nascita
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
incontra
s
IntervalloTemporale
(=>
(
and
(
holdsDuring
?TIME
(
capitalExpendituresOfArea
?AREA ?CAPAMOUNT))
(
holdsDuring
?TIME
(
annualExpendituresOfArea
?AREA ?TOTALAMOUNT)))
(
greaterThan
?TOTALAMOUNT ?CAPAMOUNT))
Economy.kif 1558-1562
capitalExpendituresOfArea
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
annualExpendituresOfArea
Entit�
and
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
holdsDuring
?TIME ?SITUATION1)
(
entails
?SITUATION1 ?SITUATION2))
(
holdsDuring
?TIME ?SITUATION2))
Merge.kif 3889-3893
Formula
vales
durante
PosizioneTemporale
Formula
implica
s
Formula
Formula
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?TIME1
(
developmentalForm
?OBJ ?ATTR1))
(
successorAttributeClosure
?ATTR2 ?ATTR1))
(
exists
(?TIME2)
(
and
(
earlier
?TIME2 ?TIME1)
(
holdsDuring
?TIME2
(
developmentalForm
?OBJ ?ATTR2)))))
Merge.kif 14359-14366
La
forma
evolutiva
di
Entit�
è
Attributo
vales
durante
IntervalloTemporale
Attributo
è un
attributo
successore di
Attributo
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
la
forma
evolutiva
di
Entit�
è
Attributo
vales
durante
IntervalloTemporale
(=>
(
and
(
holdsDuring
?TIME1 ?SITUATION)
(
temporalPart
?TIME2 ?TIME1))
(
holdsDuring
?TIME2 ?SITUATION))
Merge.kif 7976-7980
Formula
vales
durante
PosizioneTemporale
PosizioneTemporale
è una
parte
di
PosizioneTemporale
Formula
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?Time
(
instance
?Card
ExpiredCard
))
(
cardAccount
?Card ?Account))
(
holdsDuring
?Time
(
not
(
attribute
?Card
ActiveAgreement
))))
FinancialOntology.kif 3529-3534
BankCard
è un'
istanza
di
ExpiredCard
vales
durante
PosizioneTemporale
cardAccount
BankCard
and
FinancialAccount
attribute
BankCard
and
ActiveAgreement
vales
durante
PosizioneTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityConsumption
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityConsumptionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2123-2130
annualElectricityConsumption
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityConsumptionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityExport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityExportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2167-2174
annualElectricityExport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityExportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityImport
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityImportInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2213-2220
annualElectricityImport
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityImportInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualElectricityProduction
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
electricityProductionInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 1991-1998
annualElectricityProduction
AreaGeopolitica
and
Quantit�Fisica
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
electricityProductionInPeriod
AreaGeopolitica
,
Quantit�Fisica
and
IntervalloTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualExportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
exportTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2288-2295
annualExportTotal
AreaGeopolitica
and
MisuraMonetaria
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
exportTotalInPeriod
AreaGeopolitica
,
MisuraMonetaria
and
IntervalloTemporale
(=>
(
and
(
holdsDuring
?YEAR
(
annualImportTotal
?AREA ?AMOUNT))
(
instance
?YEAR ?PERIOD)
(
or
(
subclass
?PERIOD
Year
)
(
subclass
?PERIOD
(
FiscalYearFn
?AREA))))
(
importTotalInPeriod
?AREA ?AMOUNT ?PERIOD))
Economy.kif 2594-2601
annualImportTotal
AreaGeopolitica
and
MisuraMonetaria
vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è una
sottoclasse
di
Anno
IntervalloTemporale
è una
sottoclasse
di
FiscalYearFn
AreaGeopolitica
importTotalInPeriod
AreaGeopolitica
,
MisuraMonetaria
and
IntervalloTemporale
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9838-9860
Oggetto
è un'
istanza
di
Antacid
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?A
Attaching
)
(
patient
?A ?O1)
(
patient
?A ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2)))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
connected
?O1 ?O2)))
(
and
(
objectAttached
?A ?O1)
(
objectAttached
?A ?O2)))
Merge.kif 12405-12419
Processo
è un'
istanza
di
Attaccare
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
objectAttached
Processo
and
Entit�
objectAttached
Processo
and
Entit�
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30230-30241
AutonomousAgent
è un'
istanza
di
AutonomousAgent
attribute
AutonomousAgent
and
Motionless
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9899-9921
Oggetto
è un'
istanza
di
ProtonPumpInhibitor
Movimento
è un'
istanza
di
Ingestione
Movimento
è un
agente
di
AutonomousAgent
moves
Movimento
and
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Movimento
contains
Oggetto
and
Oggetto
Oggetto
è un'
istanza
di
Fluid
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Movimento
phMeasure
Oggetto
and
NumeroReale
phMeasure
Oggetto
and
NumeroReale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?ACT
BringingGEToFront
)
(
patient
?ACT ?WINDOW)
(
instance
?WINDOW
InterfaceWindow
)
(
holdsDuring
(
BeginFn
?ACT)
(
hasGUEState
?WINDOW ?STATE))
(
contraryAttribute
?STATE
GUE_UncoveredState
))
(
holdsDuring
(
EndFn
?ACT)
(
not
(
hasGUEState
?WINDOW ?STATE))))
ComputerInput.kif 2332-2343
IntervalloTemporale
è un'
istanza
di
BringingGEToFront
Entit�
è un
paziente
di
IntervalloTemporale
Entit�
è un'
istanza
di
InterfaceWindow
hasGUEState
Entit�
and
Attributo
vales
durante
l'
inizio
di
IntervalloTemporale
Attributo
è
opposto
a
GUE_UncoveredState
hasGUEState
Entit�
and
Attributo
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
instance
?AGENT
Human
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT)
(
located
?DEVICE ?PLACE)
(
instance
?PLACE
Residence
))))
(
holdsDuring
?TIME
(
inhabits
?AGENT ?PLACE)))
Mid-level-ontology.kif 25034-25043
Entit�
è un'
istanza
di
Umano
deviceTelecomNumber
Entit�
and
Entit�
telephoneNumber
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
Entit�
è un'
istanza
di
Residence
vales
durante
PosizioneTemporale
Entit�
abita
s in
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
Processo
è un'
istanza
di
ArmedReconnaissance
Processo
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Processo
enemy
AgenteCognitivo
and
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Processo
permette
a
AgenteCognitivo
di compiere il compito di tipo
Entit�
Entit�
è un'
istanza
di
Attack
Entit�
è un
agente
di
AgenteCognitivo
Entit�
è un
paziente
di
Entit�
(=>
(
and
(
instance
?ASO
AntiSurfaceOperation
)
(
patient
?ASO ?TARGET)
(
holdsDuring
(
WhenFn
?ASO)
(
located
?TARGET ?LOCATION)))
(
instance
?LOCATION
WaterArea
))
MilitaryProcesses.kif 665-671
Processo
è un'
istanza
di
AntiSurfaceOperation
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Entit�
è un'
istanza
di
SuperficieAcquatica
(=>
(
and
(
instance
?ATTR
ColorAttribute
)
(
holdsDuring
?T1
(
attribute
?OBJ ?ATTR)))
(
holdsDuring
?T1
(
color
?OBJ ?ATTR)))
Mid-level-ontology.kif 19361-19367
Entit�
è un'
istanza
di
AttributoDiColore
attribute
Entit�
and
Entit�
vales
durante
PosizioneTemporale
color
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?BOILING
Boiling
)
(
boilingPoint
?TYPE
(
MeasureFn
?TEMP1 ?MEASURE))
(
instance
?SUBSTANCE ?TYPE)
(
patient
?BOILING ?SUBSTANCE)
(
holdsDuring
(
WhenFn
?BOILING)
(
measure
?SUBSTANCE
(
MeasureFn
?TEMP2 ?MEASURE)))
(
instance
?MEASURE
UnitOfTemperature
))
(
greaterThanOrEqualTo
?TEMP2 ?TEMP1))
Merge.kif 13853-13861
Processo
è un'
istanza
di
Bollire
boilingPoint
SostanzaPura
and
NumeroReale
Unit�DiMisura
(s
Entit�
è un'
istanza
di
SostanzaPura
Entit�
è un
paziente
di
Processo
la
misura
Entit�
è
NumeroReale
Unit�DiMisura
(s vales
durante
il
tempo
di esistenza di
Processo
Unit�DiMisura
è un'
istanza
di
UnitOfTemperature
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
(=>
(
and
(
instance
?BTS
BimetalTemperatureSensor
)
(
instance
?M1
Metal
)
(
instance
?M2
Metal
)
(
not
(
equal
?M1 ?M2))
(
part
?M1 ?BTS)
(
part
?M2 ?BTS)
(
instance
?T1
TemperatureMeasure
)
(
instance
?T2
TemperatureMeasure
)
(
instance
?L1
LengthMeasure
)
(
instance
?L2
LengthMeasure
)
(
instance
?L3
LengthMeasure
)
(
instance
?L4
LengthMeasure
)
(
not
(
equal
?T1 ?T2))
(
not
(
equal
?TM1 ?TM2))
(
holdsDuring
?TM1
(
and
(
measure
?BTS ?T1)
(
measure
?M1 ?L1)
(
measure
?M2 ?L2)))
(
holdsDuring
?TM2
(
and
(
measure
?BTS ?T2)
(
measure
?M1 ?L3)
(
measure
?M2 ?L4))))
(
not
(
equal
(
DivisionFn
?L1 ?L2)
(
DivisionFn
?L3 ?L4))))
Cars.kif 4089-4121
Oggetto
è un'
istanza
di
BimetalTemperatureSensor
Oggetto
è un'
istanza
di
Metallo
Oggetto
è un'
istanza
di
Metallo
Oggetto
is
uguale
a
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
MisuraDiTemperatura
Entit�
è un'
istanza
di
MisuraDiTemperatura
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
NumeroReale
è un'
istanza
di
MisuraDiLunghezza
Entit�
is
uguale
a
Entit�
PosizioneTemporale
is
uguale
a
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
la
misura
Oggetto
è
Entit�
la
misura
Oggetto
è
NumeroReale
la
misura
Oggetto
è
NumeroReale
vales
durante
PosizioneTemporale
NumeroReale
+
NumeroReale
is
uguale
a
NumeroReale
+
NumeroReale
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
attribute
?C
RingTorus
)))
Mid-level-ontology.kif 30795-30801
Entit�
è un'
istanza
di
Carabiner
attribute
Entit�
and
DeviceClosed
vales
durante
PosizioneTemporale
attribute
Entit�
and
RingTorus
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