located
(=>
(
and
(
instance
?CELL
TriploidCell
)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL)
(
located
?COLL ?N)
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 3))
VirusProteinAndCellPart.kif 920-930
Oggetto
è un'
istanza
di
TriploidCell
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
InsiemeConcreto
è
localizzato
in
Oggetto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 3
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 4)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
TetraploidCell
))
VirusProteinAndCellPart.kif 938-948
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 4
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
TetraploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 6)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
HexaploidCell
))
VirusProteinAndCellPart.kif 991-1001
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 6
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
HexaploidCell
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
subCollection
?A ?COLL)
(
chromosomeSetCount
?A ?COLL 2)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 895-904
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 2
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N ?CELL))
(
instance
?CELL
DiploidCell
))
VirusProteinAndCellPart.kif 906-912
Entit�Concreta
è un'
istanza
di
HomologousChromosomeSet
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
DiploidCell
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
instance
?A
MonoploidChromosomeSet
)
(
subCollection
?A ?COLL))
(
chromosomeSetCount
?A ?COLL 2))
VirusProteinAndCellPart.kif 865-874
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
MonoploidChromosomeSet
è un'
istanza
di
MonoploidChromosomeSet
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
chromosomeSetCount
MonoploidChromosomeSet
,
InsiemeConcreto
and 2
(=>
(
and
(
instance
?COLL
HomologousChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
subCollection
?X ?COLL)
(
subCollection
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
homologousChromosomePair
?X ?Y))
VirusProteinAndCellPart.kif 876-887
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
MonoploidChromosomeSet
è
sottoinsieme
un proprio
InsiemeConcreto
MonoploidChromosomeSet
is
uguale
a
MonoploidChromosomeSet
homologousChromosomePair
MonoploidChromosomeSet
and
MonoploidChromosomeSet
(=>
(
and
(
instance
?COLL
MonoploidChromosomeSet
)
(
memberType
?COLL
Chromosome
)
(
located
?COLL ?N)
(
instance
?N
CellNucleus
)
(
part
?N
EukaryoticCell
)
(
member
?X ?COLL)
(
member
?Y ?COLL)
(
not
(
equal
?X ?Y)))
(
not
(
homologousChromosome
?X ?Y)))
VirusProteinAndCellPart.kif 718-730
InsiemeConcreto
è un'
istanza
di
MonoploidChromosomeSet
memberType
InsiemeConcreto
and
Chromosome
InsiemeConcreto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
CellNucleus
Oggetto
è una
parte
di
EukaryoticCell
Chromosome
è un
membro
di
InsiemeConcreto
Chromosome
è un
membro
di
InsiemeConcreto
Chromosome
is
uguale
a
Chromosome
homologousChromosome
Chromosome
and
Chromosome
(=>
(
and
(
instance
?D
DeliveryService
)
(
destination
?D ?LOC1)
(
deliveryRegion
?AGENT ?REGION)
(
conditionalProbability
(
located
?LOC1 ?REGION)
(
agent
?D ?AGENT) ?NUMBER1)
(
conditionalProbability
(
not
(
located
?LOC1 ?REGION))
(
agent
?D ?AGENT) ?NUMBER2))
(
lessThan
?NUMBER2 ?NUMBER1))
Dining.kif 552-561
Processo
è un'
istanza
di
DeliveryService
Processo
fine
s in
Entit�
deliveryRegion
AutonomousAgent
and
AreaGeografica
probabilit
à di
Entit�
è
localizzato
in
AreaGeografica
ammesso che
Processo
è un
agente
di
AutonomousAgent
valga è
NumeroReale
probabilit
à di
Entit�
è
localizzato
in
AreaGeografica
ammesso che
Processo
è un
agente
di
AutonomousAgent
valga è
NumeroReale
NumeroReale
è
meno
di
NumeroReale
(=>
(
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
?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
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
instance
?AREA2
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2456-2466
Processo
è un'
istanza
di
Exporting
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
AreaGeopolitica
Entit�Concreta
è un'
istanza
di
AreaGeopolitica
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?F
Faucet
)
(
instance
?LM
LiquidMotion
)
(
patient
?LM ?L)
(
located
?LM ?F))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?LM))
(
not
(
exists
(?T)
(
and
(
instance
?T
Tube
)
(
contains
?T ?L))))))
engineering.kif 939-952
Oggetto
è un'
istanza
di
Faucet
Processo
è un'
istanza
di
LiquidMotion
Entit�
è un
paziente
di
Processo
Processo
è
localizzato
in
Oggetto
Entit�
Entit�
è un'
istanza
di
Tube
contains
Entit�
and
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?FR
FlowRegion
)
(
located
?FLUID ?FR))
(
attribute
?FLUID
Fluid
))
Mid-level-ontology.kif 9060-9064
Oggetto
è un'
istanza
di
FlowRegion
Oggetto
è
localizzato
in
Oggetto
attribute
Oggetto
and
Fluid
(=>
(
and
(
instance
?G
Gene
)
(
located
?G ?C)
(
instance
?C
Cell
))
(
exists
(?B ?N ?R)
(
and
(
instance
?B
BiologicalProcess
)
(
eventLocated
?B ?C)
(
origin
?B ?G)
(
result
?B ?N)
(
instance
?N
Nucleotide
)
(
part
?N ?R)
(
instance
?R
RNAMolecule
)
(
located
?R ?C))))
VirusProteinAndCellPart.kif 654-668
Oggetto
è un'
istanza
di
Gene
Oggetto
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Cellula
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
ProcesoBiologico
eventLocated
Processo
and
Oggetto
Processo
si
originas in
Oggetto
Oggetto
è un
risultato
di
Processo
Oggetto
è un'
istanza
di
Nucleotide
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
RNAMolecule
Oggetto
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?H
Hurricane
)
(
eventLocated
?H ?P)
(
instance
?P
GeographicArea
)
(
or
(
located
?P ?SEA)
(
meetsSpatially
?P ?SEA)))
(
or
(
equal
?SEA
NortheasternPacificOcean
)
(
equal
?SEA
NorthAtlanticOcean
)))
Weather.kif 749-759
Processo
è un'
istanza
di
Hurricane
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
AreaGeografica
Oggetto
è
localizzato
in
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
is
uguale
a
NortheasternPacificOcean
Oggetto
is
uguale
a
NorthAtlanticOcean
(=>
(
and
(
instance
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11367-11384
Entit�Concreta
è un'
istanza
di
HeartAttack
Oggetto
è un'
istanza
di
Heart
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
LiquidMotion
objectTransferred
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
Sangue
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
IntervalloTemporale
fine
s in
Oggetto
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11914-11931
Entit�Concreta
è un'
istanza
di
Stroke
Oggetto
è un'
istanza
di
Brain
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
Oggetto
è un'
istanza
di
NerveCell
Oggetto
è una
parte
di
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
LiquidMotion
objectTransferred
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
Sangue
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
IntervalloTemporale
fine
s in
Oggetto
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
Trasferimento
è un'
istanza
di
Injecting
Oggetto
è un'
istanza
di
Adalimumab
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Trasferimento
fine
s in
Entit�
l'affermazione
Entit�
attribute
Entit�
and
PainFn
Oggetto
vales
durante
Entit�
Entit�
has luogo
durante
dopo
il
tempo
di esistenza di
Trasferimento
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5724-5735
Processo
è un'
istanza
di
Itching
Processo
è
localizzato
in
Oggetto
Oggetto
è una
parte
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Scratching
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25809-25826
Entit�Concreta
è un'
istanza
di
KnockLight
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Stanza
Oggetto
è un'
istanza
di
Door
Oggetto
è una
parte
di
Oggetto
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Impatto
Oggetto
è un
paziente
di
Entit�
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
OndaSonora
Entit�
è un
agente
di
Oggetto
Entit�
causa
s
Entit�
Entit�
è un'
istanza
di
RadiatingVisibleLight
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
Oggetto
è un'
istanza
di
Lever
Processo
è un'
istanza
di
Pushing
Entit�Concreta
è un'
istanza
di
Movimento
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Processo
fine
s in
Oggetto
physicalEnd
Oggetto
and
Oggetto
physicalEnd
Oggetto
and
Oggetto
Oggetto
is
uguale
a
Oggetto
Oggetto
è
localizzato
in
Processo
1 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
2 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
3 vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Entit�Concreta
Oggetto
è
localizzato
in
Processo
4 vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Entit�Concreta
la
distanza
tra
Processo
1 e
Processo
2 è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Processo
3 e
Processo
4 è
NumeroReale
Unit�DiMisura
(s
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