holdsDuring
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30803-30814
Entit�
è un'
istanza
di
Carabiner
attribute
Entit�
and
DeviceClosed
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
ClimbingRope
contains
Entit�
and
Entit�
ha il modello di forza di
Possibility
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceOpen
)))
(
holdsDuring
?T
(
not
(
attribute
?C
RingTorus
))))
Mid-level-ontology.kif 30816-30823
Entit�
è un'
istanza
di
Carabiner
attribute
Entit�
and
DeviceOpen
vales
durante
PosizioneTemporale
attribute
Entit�
and
RingTorus
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?C
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
Processo
è un'
istanza
di
CheckingVitals
Processo
è un
agente
di
AgenteCognitivo
Oggetto
è un
paziente
di
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
Oggetto
Lung
è un'
istanza
di
Lung
Lung
è una
parte
di
Oggetto
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
AgenteCognitivo
conosce
s
systolicBloodPressure
Oggetto
and
Entit�
diastolicBloodPressure
Oggetto
and
Entit�
la
misura
Oggetto
è
Entit�
FahrenheitDegree
(s vales
durante
il
tempo
di esistenza di
Processo
heartRate
Heart
, il
tempo
di esistenza di
Processo
and
NumeroIntero
breathingRate
Lung
, il
tempo
di esistenza di
Processo
and
NumeroIntero
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
Entit�
è un'
istanza
di
COVIDAntibody
attribute
Entit�
and
Covid19
Entit�
è una
parte
di
Entit�
vales
durante
PosizioneTemporale
l'affermazione
attribute
Entit�
and
Covid19
ha il modello di forza di
Unlikely
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
and
(
instance
?CHANGE
ChangeOfPossession
)
(
patient
?CHANGE ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT1 ?OBJ))
(
holdsDuring
(
EndFn
(
WhenFn
?CHANGE))
(
possesses
?AGENT2 ?OBJ)))
(
not
(
equal
?AGENT1 ?AGENT2)))
Merge.kif 11669-11676
Processo
è un'
istanza
di
CambiamentodiPossesso
Entit�
è un
paziente
di
Processo
Entit�
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
Entit�
is
uguale
a
Entit�
(=>
(
and
(
instance
?CHILD
Human
)
(
holdsDuring
?TIME
(
attribute
?CHILD
NonFullyFormed
)))
(
holdsDuring
?TIME
(
instance
?CHILD
HumanYouth
)))
Mid-level-ontology.kif 286-292
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
NonFullyFormed
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
HumanYouth
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?CLOTHING
OutdoorClothing
)
(
holdsDuring
?TIME
(
wears
?PERSON ?CLOTHING)))
(
not
(
exists
(?BUILDING)
(
and
(
instance
?BUILDING
Building
)
(
holdsDuring
?TIME
(
located
?PERSON ?BUILDING))))))
Mid-level-ontology.kif 5042-5050
Entit�
è un'
istanza
di
OutdoorClothing
wears
Entit�
and
Entit�
vales
durante
PosizioneTemporale
Entit�
Entit�
è un'
istanza
di
Costruzione
Entit�
è
localizzato
in
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?Compression
DataCompression
)
(
dataProcessed
?Compression ?Data)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?Memory ?Measure)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?Compression))
(
memorySize
?Data
(
MeasureFn
?NewMemory ?Measure))))
(
lessThan
?NewMemory ?Memory))
QoSontology.kif 1926-1940
ComputerProcess
è un'
istanza
di
DataCompression
dataProcessed
ComputerProcess
and
DigitalData
memorySize
DigitalData
and
NumeroReale
Entit�
(s vales
durante
immediatamente
prima
di il
tempo
di esistenza di
ComputerProcess
memorySize
DigitalData
and
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
il
tempo
di esistenza di
ComputerProcess
NumeroReale
è
meno
di
NumeroReale
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
Processo
è un'
istanza
di
DeletingAnAccount
Entit�
è un'
istanza
di
Account
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un
agente
di
AutonomousAgent
hasAccount
AutonomousAgent
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12453-12462
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
objectDetached
Processo
and
Entit�
objectDetached
Processo
and
Entit�
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
Processo
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
OrganismRemains
AutonomousAgent
è un'
istanza
di
Organismo
Entit�
è una
parte
di
Entit�
vales
durante
IntervalloTemporale
Entit�
è una
parte
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
AutonomousAgent
esperisce
s
Processo
Entit�
è un
risultato
di
Processo
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
Processo
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
OrganismRemains
AutonomousAgent
è un'
istanza
di
Organismo
Entit�
è una
parte
di
Entit�
vales
durante
IntervalloTemporale
Entit�
è una
parte
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
è un
risultato
di
Processo
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
Processo
è un'
istanza
di
Deposition
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
è
meno
di
NumeroReale
(=>
(
and
(
instance
?DEVICE
FaxMachine
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
possesses
?AGENT ?DEVICE))))
(
holdsDuring
?TIME
(
faxNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25157-25164
Entit�
è un'
istanza
di
FaxMachine
deviceTelecomNumber
Entit�
and
Entit�
Entit�
possiede
es
Entit�
vales
durante
PosizioneTemporale
faxNumber
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?DEVICE
MobileCellPhone
)
(
holdsDuring
?TIME
(
and
(
deviceTelecomNumber
?NUMBER ?DEVICE)
(
telephoneNumber
?NUMBER ?AGENT))))
(
holdsDuring
?TIME
(
mobilePhoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25132-25139
Entit�
è un'
istanza
di
MobileCellPhone
deviceTelecomNumber
Entit�
and
Entit�
telephoneNumber
Entit�
and
Entit�
vales
durante
PosizioneTemporale
mobilePhoneNumber
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?DEVICE
Telephone
)
(
holdsDuring
?TIME
(
and
(
possesses
?AGENT ?DEVICE)
(
deviceTelecomNumber
?NUMBER ?DEVICE))))
(
holdsDuring
?TIME
(
telephoneNumber
?NUMBER ?AGENT)))
Mid-level-ontology.kif 25006-25013
Entit�
è un'
istanza
di
Telephone
Entit�
possiede
es
Entit�
deviceTelecomNumber
Entit�
and
Entit�
vales
durante
PosizioneTemporale
telephoneNumber
Entit�
and
Entit�
vales
durante
PosizioneTemporale
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11995-12004
Processo
è un'
istanza
di
Discovering
Entit�
è un
paziente
di
Processo
Entit�
è
localizzato
in
Entit�
vales
durante
il
tempo
di esistenza di
Processo
Processo
Processo
è un'
istanza
di
Apprendere
Processo
è un
sottoprocesso
di
Processo
Entit�
è
localizzato
in
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?C
Crankcase
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeTransfer
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?C))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?C))))
Cars.kif 509-521
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
Crankcase
Entit�Concreta
è un'
istanza
di
Piston
Processo
è un'
istanza
di
TwoStrokeTransfer
Entit�Concreta
è
localizzato
in
Oggetto
vales
durante
Processo
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�Concreta
ha
scopo
Entit�Concreta
riempie
parzialmentes
apertura
vales
durante
Processo
(=>
(
and
(
instance
?E
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
instance
?P
Piston
)
(
instance
?T
TwoStrokeIntake
)
(
holdsDuring
?T
(
located
?P ?E))
(
equal
?E
(
HoleHostFn
?I))
(
eventLocated
?T ?E))
(
hasPurpose
?P
(
holdsDuring
?T
(
partiallyFills
?P ?I))))
Cars.kif 463-475
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Entit�Concreta
è un'
istanza
di
Piston
Processo
è un'
istanza
di
TwoStrokeIntake
Entit�Concreta
è
localizzato
in
Oggetto
vales
durante
Processo
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�Concreta
ha
scopo
Entit�Concreta
riempie
parzialmentes
apertura
vales
durante
Processo
(=>
(
and
(
instance
?E
Eyebrow
)
(
holdsDuring
?T
(
and
(
attribute
?H
Healthy
)
(
attribute
?H
Standing
)))
(
part
?E ?H))
(
exists
(?EYE)
(
and
(
instance
?EYE
Eye
)
(
part
?EYE ?H)
(
orientation
?E ?EYE
Above
))))
Anatomy.kif 1469-1481
Oggetto
è un'
istanza
di
Eyebrow
attribute
Oggetto
and
Healthy
attribute
Oggetto
and
Standing
vales
durante
PosizioneTemporale
Oggetto
è una
parte
di
Oggetto
Oggetto
YE
Oggetto
YE è un'
istanza
di
Eye
Oggetto
YE è una
parte
di
Oggetto
Oggetto
è
Above
a
Oggetto
YE
(=>
(
and
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
instance
?F
Fuel
)
(
instance
?M
UnitOfVolume
)
(
holdsDuring
?T
(
and
(
contains
?CC ?F)
(
measure
?F
(
MeasureFn
?N1 ?M))
(
attribute
?E
EngineFlooded
))))
(
hasPurpose
?CC
(
not
(
exists
(?F2 ?N2)
(
and
(
instance
?F2
Fuel
)
(
contains
?CC ?F2)
(
measure
?F2
(
MeasureFn
?N2 ?M))
(
greaterThanOrEqualTo
?N2 ?N1))))))
Cars.kif 2817-2836
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
Entit�
è un'
istanza
di
Fuel
Entit�
è un'
istanza
di
UnitOfVolume
contains
Oggetto
and
Entit�
la
misura
Entit�
è
Entit�
Entit�
(s
attribute
Oggetto
and
EngineFlooded
vales
durante
PosizioneTemporale
Oggetto
ha
scopo
Entit�
2
Entit�
Entit�
2 è un'
istanza
di
Fuel
contains
Oggetto
and
Entit�
2 la
misura
Entit�
2 è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di o uguale a
Entit�
(=>
(
and
(
instance
?E
Motion
)
(
instance
?T
Tremor
)
(
instance
?D
Damper
)
(
patient
?T ?O)
(
part
?D ?O)
(
causes
?E ?T)
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
WhenFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A1 ?U)))
(
holdsDuring
(
ImmediateFutureFn
?E)
(
physicalAmplitude
?T
(
MeasureFn
?A2 ?U))))
(
greaterThan
?A1 ?A2))
Cars.kif 777-792
Processo
è un'
istanza
di
Movimento
Processo
è un'
istanza
di
Tremor
Oggetto
è un'
istanza
di
Damper
Oggetto
è un
paziente
di
Processo
Oggetto
è una
parte
di
Oggetto
Processo
causa
s
Processo
Entit�
è un'
istanza
di
UnitOfLength
physicalAmplitude
Processo
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
physicalAmplitude
Processo
and
NumeroReale
Entit�
(s vales
durante
immediatamente
dopo
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
Entit�
è un'
istanza
di
EngineChoke
attribute
Entit�
and
DeviceOn
vales
durante
Processo
attribute
Entit�
and
DeviceOff
vales
durante
Processo
OggettoIntegro
è un'
istanza
di
EngineCylinder
capacity
OggettoIntegro
and
Quantit�Costante
Processo
è un'
istanza
di
FourStrokeCompression
Processo
è un'
istanza
di
FourStrokeCompression
eventLocated
Processo
and
OggettoIntegro
eventLocated
Processo
and
OggettoIntegro
Oggetto
è un'
istanza
di
Air
Oggetto
è un'
istanza
di
Fuel
Oggetto
è una
parte
di
Quantit�Costante
IX1
Oggetto
è una
parte
di
Quantit�Costante
IX1 la
misura
Quantit�Costante
IX1 è
Quantit�Costante
Oggetto
è un'
istanza
di
Air
Oggetto
è un'
istanza
di
Fuel
Oggetto
è una
parte
di
Quantit�Costante
IX2
Oggetto
è una
parte
di
Quantit�Costante
IX2 la
misura
Quantit�Costante
IX2 è
Quantit�Costante
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
la
misura
Oggetto
è
Oggetto
M
Unit�DiMisura
(s la
misura
Oggetto
è
Oggetto
M
Unit�DiMisura
(s la
misura
Oggetto
è
Oggetto
M
Unit�DiMisura
(s la
misura
Oggetto
è
Oggetto
M
Unit�DiMisura
(s
Oggetto
M +
Oggetto
M è
pi
ù grande di
Oggetto
M +
Oggetto
M
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
maxCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V2 ?V1)))))
Cars.kif 1904-1923
Processo
è un'
istanza
di
EngineCycle
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
eventLocated
Processo
and
Oggetto
Entit�
è un'
istanza
di
UnitOfVolume
maxCylinderVolume
Oggetto
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
IntervalloTemporale
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
la
misura
Oggetto
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?CC
CombustionChamber
)
(
part
?CC ?E)
(
eventLocated
?EC ?E)
(
instance
?U
UnitOfVolume
)
(
holdsDuring
(
WhenFn
?EC)
(
minCylinderVolume
?E
(
MeasureFn
?V1 ?U))))
(
not
(
exists
(?V2 ?T)
(
and
(
during
?T
(
WhenFn
?EC))
(
holdsDuring
?T
(
measure
?CC
(
MeasureFn
?V2 ?U)))
(
greaterThan
?V1 ?V2)))))
Cars.kif 1874-1893
Processo
è un'
istanza
di
EngineCycle
Oggetto
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
CombustionChamber
Oggetto
è una
parte
di
Oggetto
eventLocated
Processo
and
Oggetto
Entit�
è un'
istanza
di
UnitOfVolume
minCylinderVolume
Oggetto
and
NumeroReale
Entit�
(s vales
durante
il
tempo
di esistenza di
Processo
NumeroReale
IntervalloTemporale
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
la
misura
Oggetto
è
NumeroReale
Entit�
(s vales
durante
IntervalloTemporale
NumeroReale
è
pi
ù grande di
NumeroReale
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