Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
eventLocated
Sigma KEE - eventLocated
eventLocated
appearance as argument number 1
(
documentation
eventLocated
ChineseLanguage
"(
eventLocated
?PROC ?OBJ) 的意思是整个
Process
?PROC 是位于
Object
?OBJ,也就是说所有 ?PROC 的
subProcess
是位于 ?OBJ。")
chinese_format.kif 2115-2116
(
documentation
eventLocated
EnglishLanguage
"(
eventLocated
?PROC ?OBJ) means that the entire
Process
?PROC is located on
Object
?OBJ, meaning that all
subProcess
of ?PROC is located on ?OBJ.")
Merge.kif 4123-4125
(
documentation
eventLocated
JapaneseLanguage
"(
eventLocated
?PROC ?OBJ) とは、
Process
?PROC 全体が
Object
?OBJ 上に配置され、?PROC のすべての
subProcess
が ?OBJ上に配置されるこ とを意味する。")
japanese_format.kif 767-769
(
instance
eventLocated
CaseRole
)
Merge.kif 4120-4120
eventLocated
è un'
istanza
di
RuoloSemantico
(
instance
eventLocated
TotalValuedRelation
)
Merge.kif 4121-4121
eventLocated
è un'
istanza
di
RelazioneAValoreTotale
(
subrelation
eventLocated
eventPartlyLocated
)
Merge.kif 4119-4119
eventLocated
è una
sottorelazione
di
eventPartlyLocated
appearance as argument number 2
(
format
ChineseLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3326-3326
(
format
ChineseTraditionalLanguage
eventLocated
"%1 是
located
在 %2 ")
domainEnglishFormat.kif 3325-3325
(
format
EnglishLanguage
eventLocated
"%1 is
located
at %2")
domainEnglishFormat.kif 3324-3324
(
termFormat
EnglishLanguage
eventLocated
"event located")
english_format.kif 1845-1845
antecedent
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
Possibility
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?BLOW
VolcanicEruption
)
(
eventLocated
?BLOW ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1865-1870
Oggetto
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
VolcanicEruption
eventLocated
Processo
and
Oggetto
attribute
Oggetto
and
GeologicallyStable
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?SHAKING
EarthTremor
)
(
eventLocated
?SHAKING ?AREA))
(
not
(
attribute
?AREA
GeologicallyStable
)))
Geography.kif 1872-1877
Oggetto
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
EarthTremor
eventLocated
Processo
and
Oggetto
attribute
Oggetto
and
GeologicallyStable
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
lessThan
?FRACTION 0.3))
Weather.kif 892-898
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
ClearWeather
eventLocated
Processo
and
Regione
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
meno
di0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
ClearWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
lessThan
?FRACTION 0.3))))
Weather.kif 882-890
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
ClearWeather
eventLocated
Processo
and
Regione
NumeroRealeNonNegativo
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
meno
di0.3
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
greaterThan
?FRACTION 0.7))
Weather.kif 943-949
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
OvercastWeather
eventLocated
Processo
and
Regione
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
OvercastWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThan
?FRACTION 0.7))))
Weather.kif 933-941
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
OvercastWeather
eventLocated
Processo
and
Regione
NumeroRealeNonNegativo
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA)
(
cloudCoverFraction
?AREA ?FRACTION))
(
and
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7)))
Weather.kif 917-925
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
PartlyCloudyWeather
eventLocated
Processo
and
Regione
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di o uguale a 0.3
NumeroRealeNonNegativo
è
minore
o uguale a 0.7
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
instance
?WEATHER
PartlyCloudyWeather
)
(
eventLocated
?WEATHER ?AREA))
(
exists
(?FRACTION)
(
and
(
cloudCoverFraction
?AREA ?FRACTION)
(
greaterThanOrEqualTo
?FRACTION 0.3)
(
lessThanOrEqualTo
?FRACTION 0.7))))
Weather.kif 906-915
Regione
è un'
istanza
di
AreaGeografica
Processo
è un'
istanza
di
PartlyCloudyWeather
eventLocated
Processo
and
Regione
NumeroRealeNonNegativo
cloudCoverFraction
Regione
and
NumeroRealeNonNegativo
NumeroRealeNonNegativo
è
pi
ù grande di o uguale a 0.3
NumeroRealeNonNegativo
è
minore
o uguale a 0.7
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
Oggetto
è un'
istanza
di
ArtSchool
Processo
è un'
istanza
di
ProcessoEducazionale
eventLocated
Processo
and
Oggetto
Processo
Entit�
Processo
è un'
istanza
di
Fabbricazione
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
OperaD'Arte
Processo
include un
riferimento
a
Processo
(=>
(
and
(
instance
?BP
BrakePedal
)
(
instance
?P
Pushing
)
(
instance
?V
Vehicle
)
(
destination
?P ?BP)
(
eventLocated
?P ?V)
(
part
?BP ?V))
(
hasPurpose
?BP
(
exists
(?FS ?F)
(
and
(
instance
?FS
WearingFrictionSurface
)
(
instance
?F
Friction
)
(
instrument
?F ?FS)
(
causes
?P ?F)))))
Cars.kif 693-707
Oggetto
è un'
istanza
di
BrakePedal
Processo
è un'
istanza
di
Pushing
Oggetto
è un'
istanza
di
Vehicle
Processo
fine
s in
Oggetto
eventLocated
Processo
and
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
WearingFrictionSurface
Entit�
è un'
istanza
di
Friction
Entit�
è uno
strumento
per
Entit�
Processo
causa
s
Entit�
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
Processo
è un'
istanza
di
CateringService
Processo
è un
agente
di
AutonomousAgent
Processo
fine
s in
Processo
UST
AutonomousAgent
è
localizzato
in
Oggetto
customer
Processo
UST and
AutonomousAgent
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Cucinare
Processo
è un
agente
di
AutonomousAgent
Entit�
è un
risultato
di
Processo
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
Processo
UST
eventLocated
Processo
and
Oggetto
Oggetto
is
uguale
a
Oggetto
(=>
(
and
(
instance
?CS
CyclonicStorm
)
(
instance
?AS
AirStream
)
(
eventLocated
?CS ?AS))
(
attribute
?AS
Cylinder
))
Weather.kif 572-577
Processo
è un'
istanza
di
CyclonicStorm
Oggetto
è un'
istanza
di
AirStream
eventLocated
Processo
and
Oggetto
attribute
Oggetto
and
Cylinder
(=>
(
and
(
instance
?DESERTIFICATION
Desertification
)
(
eventLocated
?DESERTIFICATION ?AREA))
(
exists
(?A1 ?A2)
(
and
(
instance
?A1
ArableLand
)
(
instance
?A2
Desert
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A1))
(
holdsDuring
(
EndFn
(
WhenFn
?DESERTIFICATION))
(
overlapsSpatially
?AREA ?A2)))))
Weather.kif 2492-2505
Processo
è un'
istanza
di
Desertification
eventLocated
Processo
and
Oggetto
Entit�
Entit�
Entit�
è un'
istanza
di
ArableLand
Entit�
è un'
istanza
di
Desert
Oggetto
si
sovrappones a
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Oggetto
si
sovrappones a
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
IntervalloTemporale
è un'
istanza
di
Drought
eventLocated
IntervalloTemporale
and
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
Raining
Oggetto
è un'
istanza
di
Regione
eventLocated
IntervalloTemporale
and
Oggetto
Oggetto
si
sovrappones a
Oggetto
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
Processo
è un'
istanza
di
DustStorm
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
l'affermazione
attribute
Oggetto
and
BadAirQuality
ha il modello di forza di
Likely
vales
durante
il
tempo
di esistenza 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
?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 1898-1917
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 1868-1887
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
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1943-1965
Processo
è un'
istanza
di
EngineCycle
Engine
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
Piston
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Oggetto
è una
parte
di
Engine
Oggetto
è un
paziente
di
Processo
eventLocated
Processo
and
Engine
pistonStroke
Engine
and
NumeroReale
Unit�DiMisura
(s
IntervalloTemporale
IntervalloTemporale
,
Entit�Concreta
,
Entit�Concreta
and
NumeroReale
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è
localizzato
in
Entit�Concreta
vales
durante
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�Concreta
vales
durante
IntervalloTemporale
la
distanza
tra
Entit�Concreta
e
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?F
Flooding
)
(
eventLocated
?F ?P))
(
exists
(?L1 ?L2 ?U)
(
and
(
instance
?U
UnitOfLength
)
(
holdsDuring
(
BeginFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L1 ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?F))
(
waterDepth
?P
(
MeasureFn
?L2 ?U)))
(
greaterThan
?L2 ?L1))))
Mid-level-ontology.kif 17585-17600
Processo
è un'
istanza
di
Flooding
eventLocated
Processo
and
Oggetto
NumeroReale
NumeroReale
and
Entit�
Entit�
è un'
istanza
di
UnitOfLength
waterDepth
Oggetto
and
NumeroReale
Entit�
(s vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
waterDepth
Oggetto
and
NumeroReale
Entit�
(s vales
durante
la
fine
di il
tempo
di esistenza di
Processo
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
Processo
è un'
istanza
di
Flooding
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
PuntoTemporale
è un'
istanza
di
PuntoTemporale
PuntoTemporale
succede%{s}
prima
di il
tempo
di esistenza di
Processo
l'affermazione
Oggetto
è un'
istanza
di
SubmergedLandArea
vales
durante
PuntoTemporale
ha il modello di forza di
Unlikely
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
Processo
è un'
istanza
di
FourStrokeCombustion
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Oggetto
O
Oggetto
O è un'
istanza
di
Combustione
Oggetto
O è un
sottoprocesso
di
Processo
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
consequent
(=>
(
almaMater
?PERSON ?SCHOOL)
(
exists
(?EV)
(
and
(
instance
?EV
EducationalProcess
)
(
destination
?EV ?PERSON)
(
eventLocated
?EV ?SCHOOL)
(
holdsDuring
(
WhenFn
?EV)
(
attribute
?PERSON
Student
)))))
Mid-level-ontology.kif 16852-16861
almaMater
Umano
and
PostSecondarySchool
Processo
Processo
è un'
istanza
di
ProcessoEducazionale
Processo
fine
s in
Umano
eventLocated
Processo
and
PostSecondarySchool
attribute
Umano
and
Student
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
attribute
?M
StudioRecording
)
(
instance
?M
Recording
))
(
exists
(?P ?S)
(
and
(
record
?M ?P)
(
eventLocated
?P ?S)
(
instance
?S
RecordingStudio
))))
Music.kif 392-400
attribute
OggettoSemiotico
and
StudioRecording
OggettoSemiotico
è un'
istanza
di
Recording
Processo
Oggetto
record
OggettoSemiotico
and
Processo
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
RecordingStudio
(=>
(
and
(
attribute
?X
CommunalAttribute
)
(
instance
?X
Table
)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
)
(
eventLocated
?E1 ?X))
(
modalAttribute
(
exists
(?GRP2 ?E2 ?X2)
(
and
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?GRP2
GroupOfPeople
)
(
eventLocated
?E2 ?X2)
(
meetsTemporally
(
WhenFn
?E1)
(
WhenFn
?E2))
(
equal
?X ?X2)))
Possibility
))
Dining.kif 1207-1224
attribute
Oggetto
and
CommunalAttribute
Oggetto
è un'
istanza
di
Table
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
GroupOfPeople
eventLocated
Processo
and
Oggetto
l'affermazione
Entit�
Entit�
and
Oggetto
2
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
AutonomousAgent
is
uguale
a
Entit�
Entit�
è un'
istanza
di
GroupOfPeople
eventLocated
Entit�
and
Oggetto
2 il
tempo
di esistenza di
Processo
incontra
s il
tempo
di esistenza di
Entit�
Oggetto
is
uguale
a
Oggetto
2 ha il modello di forza di
Possibility
(=>
(
and
(
attribute
?X
DeepSeaCoastalAndGreatLakesWaterTransportation
)
(
instance
?X
TransportationCompany
))
(
exists
(?SERVICE ?PLACE)
(
and
(
instance
?SERVICE
WaterTransportationService
)
(
serviceProvider
?SERVICE ?X)
(
eventLocated
?SERVICE ?PLACE)
(
instance
?PLACE
WaterArea
)
(
located
?X
NorthAmerica
))))
naics.kif 8120-8130
attribute
AgenteCognitivo
and
DeepSeaCoastalAndGreatLakesWaterTransportation
AgenteCognitivo
è un'
istanza
di
TransportationCompany
ServiceProcess
Oggetto
ServiceProcess
è un'
istanza
di
WaterTransportationService
serviceProvider
ServiceProcess
and
AgenteCognitivo
eventLocated
ServiceProcess
and
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
AgenteCognitivo
è
localizzato
in
NorthAmerica
(=>
(
and
(
attribute
?X
Historical
)
(
instance
?X
City
))
(
exists
(?EV)
(
and
(
instance
?EV
Physical
)
(
attribute
?EV
Historical
)
(
eventLocated
?EV ?X))))
Mid-level-ontology.kif 26594-26602
attribute
Oggetto
and
Historical
Oggetto
è un'
istanza
di
Citt�
Oggetto
Oggetto
è un'
istanza
di
Entit�Concreta
attribute
Oggetto
and
Historical
eventLocated
Oggetto
and
Oggetto
(=>
(
and
(
attribute
?X
WheelchairAccessible
)
(
or
(
instance
?X
Building
)
(
instance
?X
Room
)))
(
modalAttribute
(
exists
(?MOTION ?WHEELCHAIR)
(
and
(
instance
?MOTION
Motion
)
(
instrument
?MOTION ?WHEELCHAIR)
(
instance
?WHEELCHAIR
Wheelchair
)
(
eventLocated
?MOTION ?X)))
Possibility
))
Mid-level-ontology.kif 26159-26171
attribute
Oggetto
and
WheelchairAccessible
Oggetto
è un'
istanza
di
Costruzione
Oggetto
è un'
istanza
di
Stanza
l'affermazione
Entit�
Entit�
Entit�
è un'
istanza
di
Movimento
Entit�
è uno
strumento
per
Entit�
Entit�
è un'
istanza
di
Wheelchair
eventLocated
Entit�
and
Oggetto
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?BC
BoosterChair
)
(
instance
?H
HumanChild
))
(
hasPurposeForAgent
?BC
(
and
(
attribute
?H
Sitting
)
(
eventLocated
?H ?BC)) ?H))
Dining.kif 840-847
Entit�Concreta
è un'
istanza
di
BoosterChair
AutonomousAgent
è un'
istanza
di
HumanChild
Entit�Concreta
ha &n
scopo
attribute
AutonomousAgent
and
Sitting
eventLocated
AutonomousAgent
and
Entit�Concreta
per
AutonomousAgent
(=>
(
and
(
instance
?C
Crankshaft
)
(
instance
?I
IntermittentCombustionEngine
)
(
part
?I ?C))
(
hasPurpose
?C
(
exists
(?E ?R)
(
and
(
instance
?E
Explosion
)
(
instance
?R
Rotating
)
(
patient
?R ?C)
(
eventLocated
?R ?I)
(
causes
?E ?R)))))
Cars.kif 349-361
Oggetto
è un'
istanza
di
Crankshaft
Oggetto
è un'
istanza
di
IntermittentCombustionEngine
Oggetto
è una
parte
di
Oggetto
Oggetto
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Explosion
Entit�
è un'
istanza
di
Rotating
Oggetto
è un
paziente
di
Entit�
eventLocated
Entit�
and
Oggetto
Entit�
causa
s
Entit�
(=>
(
and
(
instance
?CRAFT
WaterVehicle
)
(
instance
?EVENT
Transportation
)
(
instrument
?EVENT ?CRAFT))
(
exists
(?WATER)
(
and
(
instance
?WATER
WaterArea
)
(
eventLocated
?EVENT ?WATER))))
Mid-level-ontology.kif 3498-3506
Oggetto
è un'
istanza
di
WaterVehicle
Processo
è un'
istanza
di
Trasporto
Oggetto
è uno
strumento
per
Processo
Oggetto
Oggetto
è un'
istanza
di
SuperficieAcquatica
eventLocated
Processo
and
Oggetto
(=>
(
and
(
instance
?DRYSPELL
Drought
)
(
eventLocated
?DRYSPELL ?AREA))
(
not
(
exists
(?RAIN ?PLACE)
(
and
(
instance
?RAIN
Raining
)
(
instance
?PLACE
Region
)
(
eventLocated
?RAIN ?PLACE)
(
overlapsSpatially
?PLACE ?AREA)
(
overlapsTemporally
?RAIN ?DRYSPELL)))))
Weather.kif 2471-2482
IntervalloTemporale
è un'
istanza
di
Drought
eventLocated
IntervalloTemporale
and
Oggetto
IntervalloTemporale
Oggetto
IntervalloTemporale
è un'
istanza
di
Raining
Oggetto
è un'
istanza
di
Regione
eventLocated
IntervalloTemporale
and
Oggetto
Oggetto
si
sovrappones a
Oggetto
IntervalloTemporale
sovrappone
s
IntervalloTemporale
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
Processo
è un'
istanza
di
DustStorm
Processo
è un'
istanza
di
Wind
Processo
è un
sottoprocesso
di
Processo
Trasferimento
Oggetto
,
Oggetto
,
Oggetto
,
Oggetto
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
surfaceWindSpeed
Oggetto
and
NumeroReale
KnotUnitOfSpeed
(s
NumeroReale
è
pi
ù grande di 30.0
Trasferimento
è un'
istanza
di
Translocation
Trasferimento
è un
sottoprocesso
di
Processo
objectTransferred
Trasferimento
and
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
ParticulateMatter
Oggetto
è un'
istanza
di
Sand
Oggetto
è un'
istanza
di
SuperficieTerrestre
Trasferimento
fine
s in
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
OggettoCorpuscolare
è un'
istanza
di
Exhaust
Fuel
è
fatto
di
OggettoCorpuscolare
Trasferimento
è un'
istanza
di
Trasferimento
OggettoCorpuscolare
NG è un'
istanza
di
Engine
Trasferimento
si
originas in
OggettoCorpuscolare
NG
Entit�Concreta
è un'
istanza
di
CatalyticConverter
Trasferimento
fine
s in
Entit�Concreta
objectTransferred
Trasferimento
and
OggettoCorpuscolare
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Combustione
Entit�Concreta
è uno
strumento
per
Entit�
OggettoCorpuscolare
è un
paziente
di
Entit�
eventLocated
Entit�
and
Entit�Concreta
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Mantenere
eventLocated
Processo
and
Oggetto
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
(=>
(
and
(
instance
?G
Garden
)
(
plantInArea
Plant
?G))
(
hasPurpose
?G
(
exists
(?R)
(
and
(
instance
?R
RecreationOrExercise
)
(
eventLocated
?R ?G)))))
Mid-level-ontology.kif 8154-8162
CultivatedLandArea
è un'
istanza
di
Garden
plantInArea
Pianta
and
CultivatedLandArea
CultivatedLandArea
ha
scopo
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
eventLocated
Entit�
and
CultivatedLandArea
(=>
(
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 655-669
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
?HS
HeavySurf
)
(
instance
?PLACE
WaterArea
)
(
eventLocated
?HS ?PLACE))
(
exists
(?SWIM ?A)
(
and
(
instance
?SWIM
Swimming
)
(
instance
?A
Human
)
(
agent
?SWIM ?A)
(
eventLocated
?SWIM ?PLACE)
(
holdsDuring
(
WhenFn
?HS)
(
hazardous
?HS ?A)))))
Weather.kif 1579-1592
Processo
è un'
istanza
di
HeavySurf
Oggetto
è un'
istanza
di
SuperficieAcquatica
eventLocated
Processo
and
Oggetto
Processo
AutonomousAgent
Processo
è un'
istanza
di
Nuotare
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un
agente
di
AutonomousAgent
eventLocated
Processo
and
Oggetto
hazardous
Processo
and
AutonomousAgent
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
MiscellaneousStoreRetailers
))
(
exists
(?EV ?MEM ?THING ?ST ?P)
(
and
(
member
?MEM ?ORG)
(
agent
?EV ?P)
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?ST
RetailStore
)
(
eventLocated
?EV ?ST)
(
instance
?THING
Object
)
(
patient
?EV ?THING))))
naics.kif 7752-7765
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
MiscellaneousStoreRetailers
Processo
Entit�Concreta
,
Entit�
,
Oggetto
and
AutonomousAgent
Entit�Concreta
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Processo
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
RetailStore
eventLocated
Processo
and
Oggetto
Entit�
è un'
istanza
di
Oggetto
Entit�
è un
paziente
di
Processo
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
NonstoreRetailers
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING ?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
instance
?THING
Object
)
(
not
(
eventLocated
?EV
RetailStore
))
(
destination
?EV ?P)
(
patient
?EV ?THING))))))
naics.kif 7877-7893
InsiemeConcreto
è un'
istanza
di
Organizzazione
attribute
InsiemeConcreto
and
NonstoreRetailers
AutonomousAgent
Processo
Processo
è un
membro
di
InsiemeConcreto
Processo
è un
agente
di
AutonomousAgent
Entit�
Entit�
AutonomousAgent
è un'
istanza
di
Vendere
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Oggetto
eventLocated
AutonomousAgent
and
RetailStore
AutonomousAgent
fine
s in
Entit�
Entit�
è un
paziente
di
AutonomousAgent
(=>
(
and
(
instance
?P
ForestProduct
)
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?X)
(
instance
?X
Organism
))
(
exists
(?A ?F)
(
and
(
instance
?A
Agriculture
)
(
result
?A ?X)
(
eventLocated
?A ?F)
(
instance
?F
Forest
))))
Economy.kif 5210-5222
Entit�
è un'
istanza
di
ForestProduct
Processo
è un'
istanza
di
Lavorazione
Entit�
è un
risultato
di
Processo
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Organismo
Processo
Oggetto
Processo
è un'
istanza
di
Agriculture
Entit�
è un
risultato
di
Processo
eventLocated
Processo
and
Oggetto
Oggetto
è un'
istanza
di
Forest
(=>
(
and
(
instance
?PROC
Process
)
(
eventLocated
?PROC ?LOC)
(
subProcess
?SUB ?PROC))
(
eventLocated
?SUB ?LOC))
Mid-level-ontology.kif 23506-23511
Processo
è un'
istanza
di
Processo
eventLocated
Processo
and
Oggetto
Processo
è un
sottoprocesso
di
Processo
eventLocated
Processo
and
Oggetto
(=>
(
and
(
instance
?REST
Restaurant
)
(
instance
?DR
DiningRoom
)
(
attribute
?DR
PrivateAttribute
)
(
possesses
?REST ?DR)
(
customer
?GRP1 ?REST)
(
instance
?E1
Eating
)
(
agent
?E1 ?GRP1)
(
instance
?GRP1
GroupOfPeople
))
(
modalAttribute
(
not
(
exists
(?GRP2 ?E2)
(
and
(
customer
?GRP2 ?REST)
(
not
(
equal
?GRP1 ?GRP2))
(
instance
?E2
Eating
)
(
agent
?E2 ?GRP2)
(
holdsDuring
(
WhenFn
?E1)
(
eventLocated
?E2 ?DR)))))
Likely
))
Dining.kif 1227-1246
AutonomousAgent
è un'
istanza
di
Restaurant
Oggetto
è un'
istanza
di
DiningRoom
attribute
Oggetto
and
PrivateAttribute
AutonomousAgent
possiede
es
Oggetto
customer
AgenteCognitivo
and
AutonomousAgent
Processo
è un'
istanza
di
Mangiare
Processo
è un
agente
di
AgenteCognitivo
AgenteCognitivo
è un'
istanza
di
GroupOfPeople
l'affermazione
Entit�
Entit�
customer
Entit�
and
AutonomousAgent
AgenteCognitivo
is
uguale
a
Entit�
Entit�
è un'
istanza
di
Mangiare
Entit�
è un
agente
di
Entit�
eventLocated
Entit�
and
Oggetto
vales
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?SHOCK
Aftershock
)
(
eventLocated
?SHOCK ?PLACE))
(
exists
(?TREMOR)
(
and
(
instance
?TREMOR
EarthTremor
)
(
eventLocated
?TREMOR ?PLACE)
(
before
(
WhenFn
?TREMOR)
(
WhenFn
?SHOCK)))))
Geography.kif 2328-2338
Processo
è un'
istanza
di
Aftershock
eventLocated
Processo
and
Oggetto
Processo
Processo
è un'
istanza
di
EarthTremor
eventLocated
Processo
and
Oggetto
il
tempo
di esistenza di
Processo
succede%{s}
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Oggetto
issuedBy
AutonomousAgent
and
AgenteCognitivo
attribute
AgenteCognitivo
and
AmusementGamblingAndRecreationIndustries
AgenteCognitivo
è
localizzato
in
Oggetto
confersNorm
AgenteCognitivo
,
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Oggetto
esperisce
s
Entit�
eventLocated
Entit�
and
Oggetto
and
Permission
(=>
(
and
(
instance
?T
Tornado
)
(
instance
?R
Rotating
)
(
instance
?A
Air
)
(
instance
?TRAN
Translocation
)
(
subProcess
?R ?T)
(
subProcess
?TRAN ?R)
(
patient
?TRAN ?A)
(
direction
?TRAN
Horizontal
))
(
exists
(?G ?FUNNEL ?TOP ?BOTTOM ?C ?BASE)
(
and
(
instance
?G
GeographicArea
)
(
eventLocated
?T ?G)
(
part
?FUNNEL ?A)
(
attribute
?FUNNEL
ConeSegment
)
(
top
?TOP ?FUNNEL)
(
bottom
?BOTTOM ?FUNNEL)
(
instance
?C
Cloud
)
(
bottom
?BASE ?C)
(
meetsSpatially
?TOP ?BASE)
(
meetsSpatially
?BOTTOM ?G))))
Weather.kif 1651-1672
Processo
è un'
istanza
di
Tornado
Processo
è un'
istanza
di
Rotating
Oggetto
è un'
istanza
di
Air
Processo
RAN è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
RAN è un
sottoprocesso
di
Processo
Oggetto
è un
paziente
di
Processo
RAN entità nel processo
Processo
RAN si stanno
muovendo
verso
Horizontal
Oggetto
OggettoIntegro
,
Processo
OP,
OggettoIntegro
,
OggettoIntegro
and
OggettoIntegro
Oggetto
è un'
istanza
di
AreaGeografica
eventLocated
Processo
and
Oggetto
OggettoIntegro
è una
parte
di
Oggetto
attribute
OggettoIntegro
and
ConeSegment
il
vertice
OggettoIntegro
è
Processo
OP il
fondo
di
OggettoIntegro
è
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Cloud
il
fondo
di
OggettoIntegro
è
OggettoIntegro
Processo
OP
incontra
s
OggettoIntegro
OggettoIntegro
incontra
s
Oggetto
(=>
(
and
(
instance
?TSC
TwoStrokeCompression
)
(
eventLocated
?TSC ?E)
(
instance
?E
TwoStrokeEngine
))
(
exists
(?C)
(
and
(
instance
?C
Explosion
)
(
during
?C ?TSC)
(
eventLocated
?C ?E))))
Cars.kif 491-500
IntervalloTemporale
è un'
istanza
di
TwoStrokeCompression
eventLocated
IntervalloTemporale
and
Oggetto
Oggetto
è un'
istanza
di
TwoStrokeEngine
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
Explosion
IntervalloTemporale
has luogo
durante
IntervalloTemporale
eventLocated
IntervalloTemporale
and
Oggetto
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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