capability
(=>
(
instance
?PD
PaintingDevice
)
(
capability
Painting
instrument
?PD))
Mid-level-ontology.kif 3258-3260
Oggetto
è un'
istanza
di
PaintingDevice
Oggetto
è
capace
di fare
Painting
nel ruolo
instrument
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
Oggetto
è un'
istanza
di
PeacekeepingUnit
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
agent
(=>
(
instance
?PLACE
RestaurantBuilding
)
(
capability
Cooking
eventLocated
?PLACE))
Mid-level-ontology.kif 7292-7294
Oggetto
è un'
istanza
di
RestaurantBuilding
Oggetto
è
capace
di fare
Cucinare
nel ruolo
eventLocated
(=>
(
instance
?POCKET
Pocket
)
(
capability
Keeping
instrument
?POCKET))
Mid-level-ontology.kif 5426-5428
Oggetto
è un'
istanza
di
Pocket
Oggetto
è
capace
di fare
Trattenere
nel ruolo
instrument
(=>
(
instance
?POWDER
Fallout
)
(
capability
RadiatingNuclear
instrument
?POWDER))
Mid-level-ontology.kif 8961-8963
Oggetto
è un'
istanza
di
Fallout
Oggetto
è
capace
di fare
RadiatingNuclear
nel ruolo
instrument
(=>
(
instance
?PROJECTILE
Projectile
)
(
capability
Shooting
patient
?PROJECTILE))
Mid-level-ontology.kif 1117-1119
Oggetto
è un'
istanza
di
Projectile
Oggetto
è
capace
di fare
Sparare
nel ruolo
patient
(=>
(
instance
?R
Ramp
)
(
capability
MotionDownward
path
?R))
Mid-level-ontology.kif 2370-2372
Oggetto
è un'
istanza
di
Ramp
Oggetto
è
capace
di fare
MotionDownward
nel ruolo
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
?R
Rotor
)
(
capability
Rotating
instrument
?R))
engineering.kif 783-785
Oggetto
è un'
istanza
di
Rotor
Oggetto
è
capace
di fare
Rotating
nel ruolo
instrument
(=>
(
instance
?RADAR
Radar
)
(
capability
RadiatingElectromagnetic
agent
?RADAR))
Mid-level-ontology.kif 2594-2596
Oggetto
è un'
istanza
di
Radar
Oggetto
è
capace
di fare
RadiatingElectromagnetic
nel ruolo
agent
(=>
(
instance
?RADIO
RadioReceiver
)
(
capability
RadioBroadcasting
patient
?RADIO))
Mid-level-ontology.kif 15801-15803
Oggetto
è un'
istanza
di
RadioReceiver
Oggetto
è
capace
di fare
RadioBroadcasting
nel ruolo
patient
(=>
(
instance
?RB
NonRechargeableBattery
)
(
not
(
capability
Charging
destination
?RB)))
Cars.kif 2452-2455
Oggetto
è un'
istanza
di
NonRechargeableBattery
Oggetto
è
capace
di fare
Charging
nel ruolo
destination
(=>
(
instance
?RB
RechargeableBattery
)
(
capability
Charging
destination
?RB))
Cars.kif 2443-2445
Oggetto
è un'
istanza
di
RechargeableBattery
Oggetto
è
capace
di fare
Charging
nel ruolo
destination
(=>
(
instance
?S
ExplosiveSubstance
)
(
capability
Explosion
instrument
?S))
Mid-level-ontology.kif 17864-17866
Oggetto
è un'
istanza
di
ExplosiveSubstance
Oggetto
è
capace
di fare
Explosion
nel ruolo
instrument
(=>
(
instance
?S
Saliva
)
(
capability
Drooling
patient
?S))
Mid-level-ontology.kif 6578-6580
Oggetto
è un'
istanza
di
Saliva
Oggetto
è
capace
di fare
Drooling
nel ruolo
patient
(=>
(
instance
?S
Sewing
)
(
capability
Clothing
patient
?S))
Mid-level-ontology.kif 5622-5624
Oggetto
è un'
istanza
di
Sewing
Oggetto
è
capace
di fare
Vestito
nel ruolo
patient
(=>
(
instance
?S
Sewing
)
(
capability
Fabric
patient
?S))
Mid-level-ontology.kif 5618-5620
Oggetto
è un'
istanza
di
Sewing
Oggetto
è
capace
di fare
Stoffa
nel ruolo
patient
(=>
(
instance
?S
Soil
)
(
capability
Salination
patient
?S))
Geography.kif 2911-2913
Oggetto
è un'
istanza
di
Soil
Oggetto
è
capace
di fare
Salination
nel ruolo
patient
(=>
(
instance
?S
Stairway
)
(
and
(
capability
MotionUpward
instrument
?S)
(
capability
MotionDownward
instrument
?S)))
Mid-level-ontology.kif 15066-15070
Oggetto
è un'
istanza
di
Stairway
Oggetto
è
capace
di fare
MotionUpward
nel ruolo
instrument
Oggetto
è
capace
di fare
MotionDownward
nel ruolo
instrument
(=>
(
instance
?S
Stomach
)
(
capability
Digesting
instrument
?S))
Mid-level-ontology.kif 12028-12030
Oggetto
è un'
istanza
di
Stomach
Oggetto
è
capace
di fare
Digesting
nel ruolo
instrument
(=>
(
instance
?S
Water
)
(
capability
Salination
patient
?S))
Geography.kif 2907-2909
Oggetto
è un'
istanza
di
Acqua
Oggetto
è
capace
di fare
Salination
nel ruolo
patient
(=>
(
instance
?SADDLE
Saddle
)
(
exists
(?RIDE)
(
capability
(
KappaFn
?RIDE
(
exists
(?HUMAN ?HORSE)
(
and
(
instance
?RIDE
Carrying
)
(
patient
?RIDE ?HUMAN)
(
instance
?HUMAN
Human
)
(
agent
?RIDE ?HORSE)
(
instance
?HORSE
Horse
))))
instrument
?SADDLE)))
Mid-level-ontology.kif 4326-4337
Oggetto
è un'
istanza
di
Saddle
Stringa
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
instance
?SONAR
Sonar
)
(
capability
RadiatingSound
agent
?SONAR))
Mid-level-ontology.kif 2626-2628
Oggetto
è un'
istanza
di
Sonar
Oggetto
è
capace
di fare
OndaSonora
nel ruolo
agent
(=>
(
instance
?SPEAKER
SpeakerDevice
)
(
capability
RadiatingSound
instrument
?SPEAKER))
ComputerInput.kif 480-482
Oggetto
è un'
istanza
di
SpeakerDevice
Oggetto
è
capace
di fare
OndaSonora
nel ruolo
instrument
(=>
(
instance
?STEPS
Steps
)
(
and
(
capability
MotionUpward
instrument
?STEPS)
(
capability
MotionDownward
instrument
?STEPS)))
Mid-level-ontology.kif 15090-15094
Oggetto
è un'
istanza
di
Steps
Oggetto
è
capace
di fare
MotionUpward
nel ruolo
instrument
Oggetto
è
capace
di fare
MotionDownward
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