located
(=>
(
and
(
instance
?VIRUS
Virus
)
(
instance
?PROC
Replication
)
(
agent
?PROC ?VIRUS))
(
exists
(?CELL)
(
and
(
located
?PROC ?CELL)
(
instance
?CELL
Cell
))))
Merge.kif 14512-14520
AutonomousAgent
è un'
istanza
di
Virus
Processo
è un'
istanza
di
Replicazione
Processo
è un
agente
di
AutonomousAgent
Oggetto
Processo
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Cellula
(=>
(
and
(
instance
?X
FireAlarm
)
(
attribute
?X
DeviceOn
)
(
located
?X ?LOC))
(
exists
(?RS)
(
and
(
instance
?RS
RadiatingSound
)
(
instrument
?RS ?X)
(
hasPurpose
?RS
(
exists
(?GRP)
(
and
(
instance
?GRP
GroupOfPeople
)
(
located
?GRP ?LOC)
(
knows
?GRP
(
exists
(?FIRE)
(
and
(
instance
?FIRE
Fire
)
(
eventLocated
?FIRE ?LOC))))))))))
Mid-level-ontology.kif 26445-26463
Oggetto
è un'
istanza
di
FireAlarm
attribute
Oggetto
and
DeviceOn
Oggetto
è
localizzato
in
Oggetto
Processo
Processo
è un'
istanza
di
OndaSonora
Oggetto
è uno
strumento
per
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
Entit�
è
localizzato
in
Oggetto
Entit�
conosce
s
Entit�
Entit�
è un'
istanza
di
Fire
eventLocated
Entit�
and
Oggetto
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26287-26303
Oggetto
è un'
istanza
di
Photocopier
Oggetto
è uno
strumento
per
Processo
Processo
è un'
istanza
di
Photocopying
ContentBearingPhysical
è un
paziente
di
Processo
ContentBearingPhysical
è un'
istanza
di
TwoDimensionalObject
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
Oggetto
ContentBearingPhysical
è un
risultato
di
Processo
ContentBearingPhysical
è un'
istanza
di
TwoDimensionalObject
ContentBearingPhysical
è un'
istanza
di
VisualContentBearingObject
ContentBearingPhysical
contiene
s informazione
Proposizione
ContentBearingPhysical
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
PrintedSheet
(=>
(
and
(
instance
?X
Region
)
(
attribute
?X
Vacuum
))
(
not
(
exists
(?O)
(
and
(
instance
?O
Object
)
(
located
?O ?X)))))
Cars.kif 368-376
Oggetto
è un'
istanza
di
Regione
attribute
Oggetto
and
Vacuum
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
Domestic
))
(
exists
(?ORIGIN ?DEST ?COUNTRY)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?COUNTRY)
(
located
?DEST ?COUNTRY)
(
instance
?COUNTRY
Nation
))))
Mid-level-ontology.kif 27113-27123
Oggetto
è un'
istanza
di
TelephoneCommunication
attribute
Oggetto
and
Domestic
Oggetto
Entit�Concreta
and
Oggetto
Oggetto
si
originas in
Oggetto
Oggetto
fine
s in
Entit�Concreta
Oggetto
è
localizzato
in
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Nazione
(=>
(
and
(
instance
?X
TelephoneCommunication
)
(
attribute
?X
International
))
(
exists
(?ORIGIN ?DEST ?CTRY1 ?CTRY2)
(
and
(
origin
?X ?ORIGIN)
(
destination
?X ?DEST)
(
located
?ORIGIN ?CTRY1)
(
located
?DEST ?CTRY2)
(
instance
?CTRY1
Nation
)
(
instance
?CTRY2
Nation
)
(
not
(
equal
?CTRY1 ?CTRY2)))))
Mid-level-ontology.kif 27130-27142
Oggetto
è un'
istanza
di
TelephoneCommunication
attribute
Oggetto
and
International
Oggetto
Entit�Concreta
,
Oggetto
and
Oggetto
Oggetto
si
originas in
Oggetto
Oggetto
fine
s in
Entit�Concreta
Oggetto
è
localizzato
in
Oggetto
Entit�Concreta
è
localizzato
in
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
instance
?X
WhirlpoolTub
)
(
attribute
?X
DoubleSize
))
(
modalAttribute
(
exists
(?T1)
(
holdsDuring
?T1
(
exists
(?P1 ?P2)
(
and
(
instance
?P1
Human
)
(
instance
?P2
Human
)
(
not
(
equal
?P1 ?P2))
(
located
?P1 ?X)
(
located
?P2 ?X)))))
Possibility
))
Mid-level-ontology.kif 25332-25345
Oggetto
è un'
istanza
di
WhirlpoolTub
attribute
Oggetto
and
DoubleSize
l'affermazione
Entit�
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Umano
Entit�
is
uguale
a
Entit�
Entit�
è
localizzato
in
Oggetto
Entit�
è
localizzato
in
Oggetto
vales
durante
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
lengthOfBroadGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
BroadGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 191-199
lengthOfBroadGaugeRailway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
BroadGaugeRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfDualGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
DualGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 219-227
lengthOfDualGaugeRailway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
DualGaugeRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfElectrifiedRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
ElectrifiedRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 135-143
lengthOfElectrifiedRailway
AreaGeografica
and
NumeroReale
Mile
(s
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
ElectrifiedRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfExpresswaySystem
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
Expressway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 577-585
lengthOfExpresswaySystem
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Expressway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfMultipleTrackRailway
?AREA
(
MeasureFn
?LENGTH
Mile
))
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
MultipleTrackRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 163-171
lengthOfMultipleTrackRailway
AreaGeografica
and
NumeroReale
Mile
(s
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
MultipleTrackRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfNarrowGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
NarrowGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 246-254
lengthOfNarrowGaugeRailway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
NarrowGaugeRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfPavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
SurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 551-559
lengthOfPavedHighway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
SurfacedRoadway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfStandardGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
StandardGaugeRailway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 274-282
lengthOfStandardGaugeRailway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
StandardGaugeRailway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfUnclassifiedGaugeRailway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?RAILWAY)
(
and
(
instance
?RAILWAY
Railway
)
(
located
?RAILWAY ?AREA))))
Transportation.kif 308-316
lengthOfUnclassifiedGaugeRailway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Railway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
lengthOfUnpavedHighway
?AREA
(
MeasureFn
?LENGTH ?UNIT))
(
instance
?UNIT
UnitOfLength
)
(
greaterThan
?LENGTH 0))
(
exists
(?HIGHWAY)
(
and
(
instance
?HIGHWAY
UnsurfacedRoadway
)
(
located
?HIGHWAY ?AREA))))
Transportation.kif 610-618
lengthOfUnpavedHighway
AreaGeografica
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
NumeroReale
è
pi
ù grande di 0
Entit�Concreta
Entit�Concreta
è un'
istanza
di
UnsurfacedRoadway
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
Muscolo
and
ParteDelCorpo
Oggetto
è un'
istanza
di
Umano
attribute
Oggetto
and
StandardAnatomicalPosition
vales
durante
IntervalloTemporale
attribute
Oggetto
and
Healthy
IntervalloTemporale
è un'
istanza
di
MuscularContraction
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Oggetto
è un'
istanza
di
Muscolo
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
IntervalloTemporale
physicalEnd
Oggetto
and
Oggetto
Oggetto
incontra
s
Oggetto
Oggetto
è
localizzato
in
Entit�
vales
durante
l'
inizio
di
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�
vales
durante
la
fine
di
IntervalloTemporale
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Object
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA))))
Geography.kif 2271-2278
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Oggetto
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
subclass
?TYPE
Process
))
(
exists
(?ITEM)
(
and
(
instance
?ITEM ?TYPE)
(
located
?ITEM ?AREA)
(
overlapsTemporally
(
WhenFn
?ITEM)
(
WhenFn
?AREA)))))
Geography.kif 2280-2290
naturalHazardTypeInArea
AreaGeografica
and
Entit�Concreta
Entit�Concreta
è una
sottoclasse
di
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Entit�Concreta
Entit�Concreta
è
localizzato
in
AreaGeografica
il
tempo
di esistenza di
AreaGeografica
sovrappone
s il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
AreaGeografica
and
Pianta
Pianta
è una
sottoclasse
di
Pianta
AreaGeografica
è un'
istanza
di
AreaGeografica
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Pianta
Entit�Concreta
è
localizzato
in
AreaGeografica
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
greaterThan
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
not
(
located
?OBJ ?ZONE)))
Geography.kif 863-872
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
pi
ù grande di 0.0
Oggetto
è
localizzato
in
Oggetto
(=>
(
and
(
orientation
?OBJ ?REGION
Outside
)
(
instance
?ZONE
(
PerimeterAreaFn
?REGION))
(
instance
?ZONE
UniformPerimeterArea
)
(
width
?ZONE
(
MeasureFn
?LIMIT ?UNIT))
(
distance
?OBJ ?REGION
(
MeasureFn
?FAR ?UNIT))
(
instance
?UNIT
UnitOfMeasure
)
(
lessThanOrEqualTo
(
SubtractionFn
?FAR ?LIMIT) 0.0))
(
located
?OBJ ?ZONE))
Geography.kif 852-861
Oggetto
è
Outside
a
Regione
Oggetto
è un'
istanza
di
PerimeterAreaFn
Regione
Oggetto
è un'
istanza
di
UniformPerimeterArea
l'
ampiezza
di
Oggetto
è
NumeroReale
Unit�DiMisura
(s la
distanza
tra
Oggetto
e
Regione
è
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
Unit�DiMisura
(
NumeroReale
+
NumeroReale
è
minore
o uguale a 0.0
Oggetto
è
localizzato
in
Oggetto
(=>
(
and
(
physicalAmplitude
?T
(
MeasureFn
?L ?U))
(
instance
?U
UnitOfLength
)
(
patient
?T ?O))
(
not
(
exists
(?P1 ?P2 ?T1 ?T2 ?L2)
(
and
(
during
?T1
(
WhenFn
?T))
(
during
?T2
(
WhenFn
?T))
(
holdsDuring
?T1
(
located
?O ?P1))
(
holdsDuring
?T2
(
located
?O ?P2))
(
distance
?P1 ?P2
(
MeasureFn
?L2 ?U))
(
greaterThan
?L2 ?L)))))
Cars.kif 751-768
physicalAmplitude
Tremor
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Entit�
è un
paziente
di
Tremor
Entit�Concreta
Entit�Concreta
,
Tremor
1,
Tremor
2 and
NumeroReale
2
Tremor
1 has luogo
durante
il
tempo
di esistenza di
Tremor
Tremor
2 has luogo
durante
il
tempo
di esistenza di
Tremor
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
Tremor
1
Entit�
è
localizzato
in
Entit�Concreta
vales
durante
Tremor
2 la
distanza
tra
Entit�Concreta
e
Entit�Concreta
è
NumeroReale
2
Unit�DiMisura
(s
NumeroReale
2 è
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