capability
(=>
(
instance
?INSECT
QueenInsect
)
(
and
(
attribute
?INSECT
Female
)
(
capability
Replication
agent
?INSECT)))
Mid-level-ontology.kif 12646-12650
Oggetto
è un'
istanza
di
QueenInsect
attribute
Oggetto
and
Female
Oggetto
è
capace
di fare
Replicazione
nel ruolo
agent
(=>
(
instance
?INSECT
QueenInsect
)
(
exists
(?GROUP)
(
and
(
instance
?GROUP
Group
)
(
member
?INSECT ?GROUP)
(
not
(
exists
(?MEMBER)
(
and
(
member
?MEMBER ?GROUP)
(
capability
Replication
agent
?MEMBER)
(
not
(
equal
?MEMBER ?INSECT))))))))
Mid-level-ontology.kif 12652-12664
Entit�Concreta
è un'
istanza
di
QueenInsect
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
Gruppo
Entit�Concreta
è un
membro
di
InsiemeConcreto
Oggetto
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è
capace
di fare
Replicazione
nel ruolo
agent
Oggetto
is
uguale
a
Entit�Concreta
(=>
(
instance
?INSTRUMENT
MusicalInstrument
)
(
capability
MakingMusic
instrument
?INSTRUMENT))
Merge.kif 15983-15985
Oggetto
è un'
istanza
di
StrumentoMusicale
Oggetto
è
capace
di fare
MakingMusic
nel ruolo
instrument
(=>
(
instance
?L
Lid
)
(
exists
(?C)
(
and
(
instance
?C
Container
)
(
part
?L ?C)
(
capability
Closing
instrument
?L)
(
capability
Opening
instrument
?L)
(
top
?L ?C))))
Mid-level-ontology.kif 4019-4027
OggettoIntegro
è un'
istanza
di
Lid
OggettoIntegro
OggettoIntegro
è un'
istanza
di
Container
OggettoIntegro
è una
parte
di
OggettoIntegro
OggettoIntegro
è
capace
di fare
Closing
nel ruolo
instrument
OggettoIntegro
è
capace
di fare
Opening
nel ruolo
instrument
il
vertice
OggettoIntegro
è
OggettoIntegro
(=>
(
instance
?L
ProjectileLauncher
)
(
capability
Shooting
instrument
?L))
Mid-level-ontology.kif 1134-1136
Oggetto
è un'
istanza
di
ProjectileLauncher
Oggetto
è
capace
di fare
Sparare
nel ruolo
instrument
(=>
(
instance
?LADDER
Ladder
)
(
and
(
capability
MotionUpward
instrument
?LADDER)
(
capability
MotionDownward
instrument
?LADDER)))
Mid-level-ontology.kif 15112-15116
Oggetto
è un'
istanza
di
Ladder
Oggetto
è
capace
di fare
MotionUpward
nel ruolo
instrument
Oggetto
è
capace
di fare
MotionDownward
nel ruolo
instrument
(=>
(
instance
?LAR
LARUnit
)
(
capability
CounterReconnaissance
agent
?LAR))
MilitaryPersons.kif 526-528
Oggetto
è un'
istanza
di
LARUnit
Oggetto
è
capace
di fare
CounterReconnaissance
nel ruolo
agent
(=>
(
instance
?LAR
LARUnit
)
(
capability
ReconnaissanceOperation
agent
?LAR))
MilitaryPersons.kif 520-522
Oggetto
è un'
istanza
di
LARUnit
Oggetto
è
capace
di fare
ReconnaissanceOperation
nel ruolo
agent
(=>
(
instance
?M
MatchDevice
)
(
capability
(
StartFn
Combustion
)
instrument
?M))
Mid-level-ontology.kif 1939-1941
Oggetto
è un'
istanza
di
MatchDevice
Oggetto
è
capace
di fare
StartFn
Combustione
nel ruolo
instrument
(=>
(
instance
?M
Mirror
)
(
capability
ReflectingLight
instrument
?M))
Mid-level-ontology.kif 3686-3688
Oggetto
è un'
istanza
di
Mirror
Oggetto
è
capace
di fare
ReflectingLight
nel ruolo
instrument
(=>
(
instance
?MC
MolotovCocktail
)
(
exists
(?LIQUID)
(
and
(
instance
?LIQUID
LiquidMixture
)
(
part
?LIQUID ?MC)
(
capability
Combustion
patient
?LIQUID))))
MilitaryDevices.kif 1292-1298
Oggetto
è un'
istanza
di
MolotovCocktail
Oggetto
Oggetto
è un'
istanza
di
LiquidMixture
Oggetto
è una
parte
di
Oggetto
Oggetto
è
capace
di fare
Combustione
nel ruolo
patient
(=>
(
instance
?MULE
Mule
)
(
not
(
capability
SexualReproduction
agent
?MULE)))
Mid-level-ontology.kif 20172-20175
Oggetto
è un'
istanza
di
Mule
Oggetto
è
capace
di fare
RiproduzioneSessuata
nel ruolo
agent
(=>
(
instance
?MV
MilitaryVehicle
)
(
and
(
instance
?A
MilitaryForce
)
(
possesses
?A ?MV)
(
capability
MilitaryProcess
patient
?MV)))
Military.kif 197-202
Oggetto
è un'
istanza
di
MilitaryVehicle
AutonomousAgent
è un'
istanza
di
MilitaryForce
AutonomousAgent
possiede
es
Oggetto
Oggetto
è
capace
di fare
ProcessoMilitare
nel ruolo
patient
(=>
(
instance
?NOSE
Nose
)
(
capability
Smelling
instrument
?NOSE))
Mid-level-ontology.kif 12192-12194
Oggetto
è un'
istanza
di
Nose
Oggetto
è
capace
di fare
Olfatto
nel ruolo
instrument
(=>
(
instance
?O
Object
)
(
capability
Translocation
destination
?O))
Merge.kif 858-860
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
capace
di fare
Translocation
nel ruolo
destination
(=>
(
instance
?O
Object
)
(
capability
Translocation
origin
?O))
Merge.kif 854-856
Oggetto
è un'
istanza
di
Oggetto
Oggetto
è
capace
di fare
Translocation
nel ruolo
origin
(=>
(
instance
?O
Organism
)
(
capability
BiologicalProcess
experiencer
?O))
Merge.kif 10176-10178
Oggetto
è un'
istanza
di
Organismo
Oggetto
è
capace
di fare
ProcesoBiologico
nel ruolo
experiencer
(=>
(
instance
?O
Organism
)
(
capability
Killing
agent
?O))
Merge.kif 12345-12347
Oggetto
è un'
istanza
di
Organismo
Oggetto
è
capace
di fare
Uccidere
nel ruolo
agent
(=>
(
instance
?O
Organism
)
(
capability
Killing
patient
?O))
Merge.kif 12349-12351
Oggetto
è un'
istanza
di
Organismo
Oggetto
è
capace
di fare
Uccidere
nel ruolo
patient
(=>
(
instance
?O
Organism
)
(
not
(
capability
BiologicalProcess
agent
?O)))
Merge.kif 10171-10174
Oggetto
è un'
istanza
di
Organismo
Oggetto
è
capace
di fare
ProcesoBiologico
nel ruolo
agent
(=>
(
instance
?OBJ
Enzyme
)
(
capability
ChemicalProcess
catalyst
?OBJ))
VirusProteinAndCellPart.kif 257-259
Oggetto
è un'
istanza
di
Enzima
Oggetto
è
capace
di fare
ProcessoChimico
nel ruolo
catalyst
(=>
(
instance
?ORG
LegislativeOrganization
)
(
capability
PassingABill
agent
?ORG))
Government.kif 1937-1939
Oggetto
è un'
istanza
di
LegislativeOrganization
Oggetto
è
capace
di fare
PassingABill
nel ruolo
agent
(=>
(
instance
?ORG
MilitaryForce
)
(
capability
ViolentContest
agent
?ORG))
Merge.kif 16684-16686
Oggetto
è un'
istanza
di
MilitaryForce
Oggetto
è
capace
di fare
CompetizioneViolenta
nel ruolo
agent
(=>
(
instance
?P
GunPowder
)
(
capability
Explosion
instrument
?P))
Mid-level-ontology.kif 1357-1359
Oggetto
è un'
istanza
di
GunPowder
Oggetto
è
capace
di fare
Explosion
nel ruolo
instrument
(=>
(
instance
?PAINT
Paint
)
(
capability
Coloring
instrument
?PAINT))
Mid-level-ontology.kif 3201-3203
Oggetto
è un'
istanza
di
Paint
Oggetto
è
capace
di fare
Colorare
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