path
(=>
(
instance
?R
Ramp
)
(
capability
MotionUpward
path
?R))
Mid-level-ontology.kif 2366-2368
Oggetto
è un'
istanza
di
Ramp
Oggetto
è
capace
di fare
MotionUpward
nel ruolo
path
(=>
(
instance
?SIDE
Sidewalk
)
(
hasPurpose
?SIDE
(
exists
(?WALK)
(
and
(
instance
?WALK
Walking
)
(
path
?WALK ?SIDE)))))
Mid-level-ontology.kif 15653-15659
Entit�Concreta
è un'
istanza
di
Sidewalk
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Camminare
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?T
Translocation
)
(
exists
(?O ?D ?P)
(
and
(
instance
?O
Object
)
(
instance
?D
Object
)
(
instance
?P
Object
)
(
path
?T ?P)
(
origin
?T ?O)
(
destination
?T ?D))))
Merge.kif 11591-11600
Movimento
è un'
istanza
di
Translocation
Oggetto
Entit�
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Oggetto
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
cammino
mentre
Movimento
si verifica
Movimento
si
originas in
Oggetto
Movimento
fine
s in
Entit�
(=>
(
instance
?T
Tube
)
(
hasPurpose
?T
(
exists
(?P ?OBJ)
(
and
(
instance
?P
Transfer
)
(
path
?P ?T)
(
patient
?P ?OBJ)
(
attribute
?OBJ
Fluid
)))))
Mid-level-ontology.kif 1527-1535
Entit�Concreta
è un'
istanza
di
Tube
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
è un
paziente
di
Entit�
attribute
Entit�
and
Fluid
(=>
(
instance
?TELEX
Telex
)
(
hasPurpose
?TELEX
(
exists
(?SYS ?TELEX2 ?MSG)
(
and
(
instance
?SYS
TelephoneSystem
)
(
instance
?TELEX2
Telex
)
(
instance
?MSG
Messaging
)
(
or
(
and
(
origin
?MSG ?TELEX)
(
destination
?MSG ?TELEX2))
(
and
(
origin
?MSG ?TELEX2)
(
destination
?MSG ?TELEX)))
(
path
?MSG ?SYS)))))
Communications.kif 185-200
Entit�Concreta
è un'
istanza
di
Telex
Entit�Concreta
ha
scopo
Entit�
Entit�Concreta
2 and
Entit�
Entit�
è un'
istanza
di
TelephoneSystem
Entit�Concreta
2 è un'
istanza
di
Telex
Entit�
è un'
istanza
di
Messaging
Entit�
si
originas in
Entit�Concreta
Entit�
fine
s in
Entit�Concreta
2
Entit�
si
originas in
Entit�Concreta
2
Entit�
fine
s in
Entit�Concreta
Entit�
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?TRACK
RunningTrack
)
(
hasPurpose
?TRACK
(
exists
(?RUN ?HUMAN)
(
and
(
instance
?HUMAN
Human
)
(
instance
?RUN
Running
)
(
agent
?RUN ?HUMAN)
(
path
?RUN ?TRACK)))))
Mid-level-ontology.kif 25794-25802
Entit�Concreta
è un'
istanza
di
RunningTrack
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Running
Entit�
è un
agente
di
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?V
Valve
)
(
hasPurpose
?V
(
exists
(?FLUID ?PROC ?FLOW)
(
and
(
instance
?FLOW
Transfer
)
(
path
?FLOW ?V)
(
patient
?FLOW ?FLUID)
(
attribute
?FLUID
Fluid
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?V)
(
patient
?PROC ?FLOW)))))
engineering.kif 914-925
Entit�Concreta
è un'
istanza
di
Valve
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Trasferimento
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
è un
paziente
di
Entit�
attribute
Entit�
and
Fluid
Entit�
è un'
istanza
di
Processo
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?WAY
AirTransitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Transportation
)
(
path
?TRANSPORT ?WAY)
(
partlyLocated
?WAY
EarthsAtmosphere
)))))
Transportation.kif 1250-1257
Entit�Concreta
è un'
istanza
di
AirTransitway
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�Concreta
è
in
parte localizzato in
EarthsAtmosphere
(=>
(
instance
?WAY
LandTransitway
)
(
hasPurpose
?WAY
(
exists
(?MOVE ?LAND)
(
and
(
instance
?MOVE
Translocation
)
(
path
?MOVE ?WAY)
(
eventLocated
?MOVE ?LAND)
(
instance
?LAND
LandArea
)))))
Merge.kif 14311-14319
Entit�Concreta
è un'
istanza
di
LandTransitway
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
eventLocated
Entit�
and
Entit�
Entit�
è un'
istanza
di
SuperficieTerrestre
(=>
(
instance
?WAY
Transitway
)
(
hasPurpose
?WAY
(
exists
(?TRANSPORT)
(
and
(
instance
?TRANSPORT
Translocation
)
(
path
?TRANSPORT ?WAY)))))
Merge.kif 14298-14304
Entit�Concreta
è un'
istanza
di
Transitway
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Translocation
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
instance
?WL
WireLine
)
(
hasPurpose
?WL
(
exists
(?R)
(
and
(
instance
?R
Radiating
)
(
path
?R ?WL)))))
Mid-level-ontology.kif 3625-3631
Entit�Concreta
è un'
istanza
di
WireLine
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Radiazione
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29789-29798
Oggetto
è
Downstream
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29811-29820
Oggetto
è
Downwind
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29778-29787
Oggetto
è
Upstream
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29800-29809
Oggetto
è
Upwind
a
Oggetto
Trasferimento
Oggetto
and
Oggetto
Trasferimento
è un'
istanza
di
Trasferimento
attribute
Oggetto
and
Liquid
Oggetto
è
cammino
mentre
Trasferimento
si verifica
Trasferimento
si
originas in
Oggetto
beforeOnPath
Oggetto
,
Oggetto
,
Oggetto
and
Trasferimento
Trasferimento
fine
s in
Oggetto
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