capability
(=>
(
instance
?CRAFT
WaterVehicle
)
(
capability
WaterTransportation
instrument
?CRAFT))
Mid-level-ontology.kif 17751-17753
Oggetto
è un'
istanza
di
WaterVehicle
Oggetto
è
capace
di fare
WaterTransportation
nel ruolo
instrument
(=>
(
instance
?DEVICE
CommunicationDevice
)
(
capability
Communication
instrument
?DEVICE))
Mid-level-ontology.kif 2946-2948
Oggetto
è un'
istanza
di
CommunicationDevice
Oggetto
è
capace
di fare
Comunicazione
nel ruolo
instrument
(=>
(
instance
?DEVICE
Device
)
(
exists
(?PROC)
(
capability
?PROC
instrument
?DEVICE)))
Merge.kif 15965-15968
Oggetto
è un'
istanza
di
Dispositivo
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
(=>
(
instance
?DEVICE
FileDevice
)
(
capability
SurfaceChange
instrument
?DEVICE))
Mid-level-ontology.kif 2538-2540
Oggetto
è un'
istanza
di
FileDevice
Oggetto
è
capace
di fare
CambiamentoDiSuperficie
nel ruolo
instrument
(=>
(
instance
?DEVICE
Holder
)
(
capability
Keeping
instrument
?DEVICE))
Mid-level-ontology.kif 4318-4320
Oggetto
è un'
istanza
di
Holder
Oggetto
è
capace
di fare
Trattenere
nel ruolo
instrument
(=>
(
instance
?DEVICE
TransportationDevice
)
(
capability
Transportation
instrument
?DEVICE))
Merge.kif 15992-15994
Oggetto
è un'
istanza
di
MezzoDiTrasporto
Oggetto
è
capace
di fare
Trasporto
nel ruolo
instrument
(=>
(
instance
?E
Elevator
)
(
and
(
capability
MotionUpward
instrument
?E)
(
capability
MotionDownward
instrument
?E)))
Mid-level-ontology.kif 15441-15445
Oggetto
è un'
istanza
di
Elevator
Oggetto
è
capace
di fare
MotionUpward
nel ruolo
instrument
Oggetto
è
capace
di fare
MotionDownward
nel ruolo
instrument
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
capability
Seeing
patient
?E)
Possibility
))
Cars.kif 1161-1165
Entit�
è un'
istanza
di
Exhaust
l'affermazione
Entit�
è
capace
di fare
Vista
nel ruolo
patient
ha il modello di forza di
Possibility
(=>
(
instance
?E
Exhaust
)
(
modalAttribute
(
not
(
capability
Seeing
patient
?E))
Possibility
))
Cars.kif 1167-1172
Entit�
è un'
istanza
di
Exhaust
l'affermazione
Entit�
è
capace
di fare
Vista
nel ruolo
patient
ha il modello di forza di
Possibility
(=>
(
instance
?E
Eyelid
)
(
capability
Covering
instrument
?E))
Mid-level-ontology.kif 12158-12160
Oggetto
è un'
istanza
di
Eyelid
Oggetto
è
capace
di fare
Coprire
nel ruolo
instrument
(=>
(
instance
?EAR
Ear
)
(
capability
Hearing
instrument
?EAR))
Mid-level-ontology.kif 12143-12145
Oggetto
è un'
istanza
di
Ear
Oggetto
è
capace
di fare
Udito
nel ruolo
instrument
(=>
(
instance
?EXPLOSION
Explosion
)
(
capability
Damaging
instrument
?EXPLOSION))
Mid-level-ontology.kif 15842-15844
Oggetto
è un'
istanza
di
Explosion
Oggetto
è
capace
di fare
Danneggiare
nel ruolo
instrument
(=>
(
instance
?EYE
Eye
)
(
capability
Seeing
instrument
?EYE))
Mid-level-ontology.kif 12109-12111
Oggetto
è un'
istanza
di
Eye
Oggetto
è
capace
di fare
Vista
nel ruolo
instrument
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3706-3708
Oggetto
è un'
istanza
di
Furniture
Oggetto
è
capace
di fare
Translocation
nel ruolo
moves
(=>
(
instance
?F
LightBulb
)
(
capability
RadiatingLight
instrument
?F))
Cars.kif 5095-5097
Oggetto
è un'
istanza
di
LightBulb
Oggetto
è
capace
di fare
RadiazioneLuminosa
nel ruolo
instrument
(=>
(
instance
?F
LightFixture
)
(
capability
RadiatingLight
instrument
?F))
Mid-level-ontology.kif 3018-3020
Oggetto
è un'
istanza
di
LightFixture
Oggetto
è
capace
di fare
RadiazioneLuminosa
nel ruolo
instrument
(=>
(
instance
?F
Plant
)
(
capability
Farming
patient
?F))
Mid-level-ontology.kif 20515-20517
Oggetto
è un'
istanza
di
Pianta
Oggetto
è
capace
di fare
Farming
nel ruolo
patient
(=>
(
instance
?FE
FireExtinguisher
)
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
capability
Carrying
instrument
?PERSON))))
Mid-level-ontology.kif 25489-25494
Entit�
è un'
istanza
di
FireExtinguisher
Oggetto
Oggetto
è un'
istanza
di
Umano
Oggetto
è
capace
di fare
Carrying
nel ruolo
instrument
(=>
(
instance
?GLM
GroundLaunchMissile
)
(
not
(
capability
TakingOff
patient
?GLM)))
MilitaryDevices.kif 963-966
Oggetto
è un'
istanza
di
GroundLaunchMissile
Oggetto
è
capace
di fare
TakingOff
nel ruolo
patient
(=>
(
instance
?GUN
Gun
)
(
capability
Shooting
instrument
?GUN))
Mid-level-ontology.kif 1165-1167
Oggetto
è un'
istanza
di
Gun
Oggetto
è
capace
di fare
Sparare
nel ruolo
instrument
(=>
(
instance
?H
HoistingDevice
)
(
capability
MotionDownward
instrument
?H))
Mid-level-ontology.kif 2489-2491
Oggetto
è un'
istanza
di
HoistingDevice
Oggetto
è
capace
di fare
MotionDownward
nel ruolo
instrument
(=>
(
instance
?H
HoistingDevice
)
(
capability
MotionUpward
instrument
?H))
Mid-level-ontology.kif 2485-2487
Oggetto
è un'
istanza
di
HoistingDevice
Oggetto
è
capace
di fare
MotionUpward
nel ruolo
instrument
(=>
(
instance
?HINGE
Hinge
)
(
hasPurpose
?HINGE
(
exists
(?OBJ1 ?OBJ2)
(
and
(
connects
?HINGE ?OBJ1 ?OBJ2)
(
or
(
capability
Rotating
patient
?OBJ1)
(
capability
Rotating
patient
?OBJ2))))))
Mid-level-ontology.kif 15275-15283
Entit�Concreta
è un'
istanza
di
Hinge
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�Concreta
connette
Entit�
e
Entit�
Entit�
è
capace
di fare
Rotating
nel ruolo
patient
Entit�
è
capace
di fare
Rotating
nel ruolo
patient
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4484-4486
Oggetto
è un'
istanza
di
HandTool
Oggetto
è
capace
di fare
Carrying
nel ruolo
objectTransferred
(=>
(
instance
?I
Intestine
)
(
capability
Digesting
instrument
?I))
Mid-level-ontology.kif 12037-12039
Oggetto
è un'
istanza
di
Intestine
Oggetto
è
capace
di fare
Digesting
nel ruolo
instrument
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