instrument
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
OggettoCorpuscolare
è un'
istanza
di
DigitalPost
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
OggettoCorpuscolare
è un
componente
di
WebSite
creator
AutonomousAgent
and
OggettoCorpuscolare
registeredUser
AutonomousAgent
and
WebSite
OggettoCorpuscolare
ha
scopo
Entit�
Entit�
è un'
istanza
di
Diffusione
Entit�
è un
agente
di
AutonomousAgent
OggettoCorpuscolare
è un
paziente
di
Entit�
WebSite
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?P
Encoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2169-2179
Processo
è un'
istanza
di
Codificare
Processo
è un
agente
di
AgenteCognitivo
Formula
AgenteCognitivo
conosce
s
Formula
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
contiene
s informazione
Formula
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9560-9573
Oggetto
è un'
istanza
di
Pianta
Oggetto
è una
parte
di
Oggetto
Processo
Entit�
and
Processo
Processo
è un'
istanza
di
Processo
Processo
è una
sottoclasse
di
Trattenere
Entit�
è un'
istanza
di
FreshWater
Entit�
è un
paziente
di
Processo
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è un'
istanza
di
PlantLeaf
Oggetto
è un'
istanza
di
PlantStem
(=>
(
and
(
instance
?P
Punching
)
(
agent
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
attribute
?H
Fist
)
(
part
?H ?A)
(
instrument
?P ?H))))
Mid-level-ontology.kif 6621-6630
Processo
è un'
istanza
di
Punching
Processo
è un
agente
di
AutonomousAgent
Oggetto
Oggetto
è un'
istanza
di
Hand
attribute
Oggetto
and
Fist
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
capability
(
KappaFn
?SHOOTING
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)))
instrument
?GUN))
MilitaryDevices.kif 233-245
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Gun
and
MisuraDiLunghezza
Oggetto
è un'
istanza
di
Gun
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
1
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
1
Oggetto
è
capace
di fare la
classe
descritta da
Stringa
nel ruolo
instrument
(=>
(
and
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM)
(
instance
?GUN ?GUNCLASS)
(
width
?PROJ ?LM1)
(
equal
?LM ?LM1))
(
hasPurpose
?GUN
(
exists
(?SHOOTING)
(
and
(
instance
?SHOOTING
Shooting
)
(
patient
?SHOOTING ?PROJ)
(
instrument
?SHOOTING ?GUN)))))
MilitaryDevices.kif 250-262
Entit�Concreta
è un'
istanza
di
Projectile
caliber
Gun
and
MisuraDiLunghezza
Entit�Concreta
è un'
istanza
di
Gun
l'
ampiezza
di
Entit�Concreta
è
MisuraDiLunghezza
1
MisuraDiLunghezza
is
uguale
a
MisuraDiLunghezza
1
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Sparare
Entit�Concreta
è un
paziente
di
Entit�
Entit�Concreta
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?PURCHASE
TransactionCollection
)
(
instance
?BUYING1
Buying
)
(
instance
?BUYING2
Buying
)
(
subProcess
?BUYING1 ?PURCHASE)
(
subProcess
?BUYING2 ?PURCHASE)
(
agent
?PURCHASE ?AGENT)
(
instrument
?PURCHASE ?INST))
(
and
(
agent
?BUYING1 ?AGENT)
(
agent
?BUYING2 ?AGENT)
(
instrument
?BUYING1 ?INST)
(
instrument
?BUYING2 ?INST)))
UXExperimentalTerms.kif 1940-1953
Processo
è un'
istanza
di
TransactionCollection
Processo
è un'
istanza
di
Acquistare
Processo
è un'
istanza
di
Acquistare
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
Processo
è un
agente
di
AutonomousAgent
Processo
è un
agente
di
AutonomousAgent
Oggetto
è uno
strumento
per
Processo
Oggetto
è uno
strumento
per
Processo
(=>
(
and
(
instance
?S
Sunburn
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
Damaging
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11004-11014
Processo
è un'
istanza
di
Sunburn
AutonomousAgent
esperisce
s
Processo
Processo
Processo
KIN
Processo
è un'
istanza
di
Danneggiare
Sol
è uno
strumento
per
Processo
Processo
KIN è un'
istanza
di
Skin
Processo
KIN è una
parte
di
AutonomousAgent
Processo
KIN è un
paziente
di
Processo
(=>
(
and
(
instance
?S
Tanning
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
RadiatingUltraviolet
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11022-11032
Processo
è un'
istanza
di
Tanning
AutonomousAgent
esperisce
s
Processo
Processo
Processo
KIN
Processo
è un'
istanza
di
RadiatingUltraviolet
Sol
è uno
strumento
per
Processo
Processo
KIN è un'
istanza
di
Skin
Processo
KIN è una
parte
di
AutonomousAgent
Processo
KIN è un
paziente
di
Processo
(=>
(
and
(
instance
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3397-3425
WearableItem
è un'
istanza
di
SafetyHarness
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Animale
è un
paziente
di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
ArtilleryCannon
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
(
UnionFn
Missile
Grenade
)))))
MilitaryDevices.kif 179-188
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
ArtilleryCannon
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di l'
unione
di
Missile
e
Grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
GrenadeLauncher
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
MortarGun
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Grenade
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13496-13506
Processo
è un'
istanza
di
ImpairmentFn
Processo
Oggetto
è uno
strumento
per
Processo
Oggetto
2
Oggetto
2 is
uguale
a
Oggetto
Oggetto
2 è
capace
di fare
Processo
nel ruolo
instrument
Oggetto
è
capace
di fare
Processo
nel ruolo
instrument
(=>
(
and
(
instance
?System
HardwareSystem
)
(
component
?Network ?System)
(
instance
?Event
DataTransfer
)
(
origin
?Event ?System))
(
and
(
instance
?Network
ComputerNetwork
)
(
instrument
?Event ?Network)))
QoSontology.kif 326-334
OggettoCorpuscolare
è un'
istanza
di
HardwareSystem
OggettoCorpuscolare
è un
componente
di
OggettoCorpuscolare
Processo
è un'
istanza
di
DataTransfer
Processo
si
originas in
OggettoCorpuscolare
OggettoCorpuscolare
è un'
istanza
di
ComputerNetwork
OggettoCorpuscolare
è uno
strumento
per
Processo
(=>
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?D)
(
instance
?D
Pump
))
(
exists
(?F)
(
and
(
instrument
?T ?F)
(
attribute
?F
Fluid
))))
Mid-level-ontology.kif 15450-15458
Processo
è un'
istanza
di
Trasporto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un'
istanza
di
Pump
Oggetto
Oggetto
è uno
strumento
per
Processo
attribute
Oggetto
and
Fluid
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToBusiness
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
BusinessAccount
))))
UXExperimentalTerms.kif 1727-1746
Oggetto
è un'
istanza
di
ScambioFinanziario
attribute
Oggetto
and
BusinessToBusiness
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
è un'
istanza
di
UserAccount
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
fine
s in
AutonomousAgent
WebSite
è uno
strumento
per
Oggetto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
BusinessAccount
attribute
UserAccount
and
BusinessAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
BusinessToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
BusinessAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1759-1778
Oggetto
è un'
istanza
di
ScambioFinanziario
attribute
Oggetto
and
BusinessToConsumer
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
è un'
istanza
di
UserAccount
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
fine
s in
AutonomousAgent
WebSite
è uno
strumento
per
Oggetto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
BusinessAccount
attribute
UserAccount
and
ConsumerAccount
(=>
(
and
(
instance
?TRANS
FinancialTransaction
)
(
attribute
?TRANS
ConsumerToConsumer
))
(
exists
(?ACCT1 ?ACCT2 ?USER1 ?USER2 ?SITE)
(
and
(
instance
?ACCT1
UserAccount
)
(
instance
?ACCT2
UserAccount
)
(
instance
?USER1
AutonomousAgent
)
(
instance
?USER2
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
agent
?TRANS ?USER1)
(
destination
?TRANS ?USER2)
(
instrument
?TRANS ?SITE)
(
hasAccount
?USER1 ?ACCT1)
(
hasAccount
?USER2 ?ACCT2)
(
accountAtSite
?ACCT1 ?SITE)
(
accountAtSite
?ACCT2 ?SITE)
(
attribute
?ACCT1
ConsumerAccount
)
(
attribute
?ACCT2
ConsumerAccount
))))
UXExperimentalTerms.kif 1791-1810
Oggetto
è un'
istanza
di
ScambioFinanziario
attribute
Oggetto
and
ConsumerToConsumer
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
è un'
istanza
di
UserAccount
UserAccount
è un'
istanza
di
UserAccount
AutonomousAgent
è un'
istanza
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
Oggetto
è un
agente
di
AutonomousAgent
Oggetto
fine
s in
AutonomousAgent
WebSite
è uno
strumento
per
Oggetto
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
attribute
UserAccount
and
ConsumerAccount
attribute
UserAccount
and
ConsumerAccount
(=>
(
and
(
instance
?VEHICLE
CargoVehicle
)
(
instance
?O
Human
))
(
not
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?O)
(
instrument
?T ?VEHICLE)))
Possibility
)))
Transportation.kif 1766-1776
Entit�
è un'
istanza
di
CargoVehicle
Entit�
è un'
istanza
di
Umano
l'affermazione
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un
paziente
di
Entit�
Entit�
è uno
strumento
per
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?VEHICLE
PassengerVehicle
)
(
instance
?HUMAN
Human
))
(
modalAttribute
(
exists
(?T)
(
and
(
instance
?T
Transportation
)
(
patient
?T ?HUMAN)
(
instrument
?T ?VEHICLE)))
Possibility
))
Transportation.kif 1748-1758
Entit�
è un'
istanza
di
PassengerVehicle
Entit�
è un'
istanza
di
Umano
l'affermazione
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�
è un
paziente
di
Entit�
Entit�
è uno
strumento
per
Entit�
ha il modello di forza di
Possibility
(=>
(
and
(
instance
?VEHICLE
TransportationDevice
)
(
instance
?TRIP
(
TripFn
?VEHICLE)))
(
instrument
?TRIP ?VEHICLE))
Transportation.kif 1591-1595
Vehicle
è un'
istanza
di
MezzoDiTrasporto
Processo
è un'
istanza
di
TripFn
Vehicle
Vehicle
è uno
strumento
per
Processo
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
Processo
è un'
istanza
di
Weightlifting
Processo
è un
agente
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
AnaerobicExerciseDevice
Entit�
è uno
strumento
per
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?X
BluRayDisc
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
405
Nanometer
)))))
Media.kif 1192-1202
Entit�
è un'
istanza
di
BluRayDisc
Processo
è un'
istanza
di
Decodificare
Entit�
è un
paziente
di
Processo
Oggetto
Oggetto
è un'
istanza
di
RadiazioneLuminosa
Oggetto
è uno
strumento
per
Processo
wavelength
Oggetto
and 405
Nanometer
(s
(=>
(
and
(
instance
?X
CompactDisc
)
(
instance
?READ
Decoding
)
(
patient
?READ ?X))
(
exists
(?LASER)
(
and
(
instance
?LASER
RadiatingLight
)
(
instrument
?READ ?LASER)
(
wavelength
?LASER
(
MeasureFn
780
Nanometer
)))))
Media.kif 1156-1166
Entit�
è un'
istanza
di
CompactDisc
Processo
è un'
istanza
di
Decodificare
Entit�
è un
paziente
di
Processo
Oggetto
Oggetto
è un'
istanza
di
RadiazioneLuminosa
Oggetto
è uno
strumento
per
Processo
wavelength
Oggetto
and 780
Nanometer
(s
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