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
Objet corpusculaire
est une
instance
de
DigitalPost
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
WebSite
creator
AutonomousAgent
and
objet corpusculaire
registeredUser
AutonomousAgent
and
WebSite
objet corpusculaire
a pour
but
entit�
entit�
est une
instance
de
disseminer
entit�
est un
agent
de
AutonomousAgent
objet corpusculaire
est un
patient
de
entit�
WebSite
est un
instrument
pour
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
Processus
est une
instance
de
encoder
processus
est un
agent
de
agent cognitif
formule
agent cognitif
conna
�t
formule
objet
objet
est un
instrument
pour
processus
objet
contient
information
formule
(=>
(
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 9561-9574
Objet
est une
instance
de
plante
objet
est une
partie
de
objet
processus
entit�
and
processus
processus
est une
instance
de
processus
processus
est une
sous
-classe de
garder
entit�
est une
instance
de
FreshWater
entit�
est un
patient
de
processus
objet
est
capable
de faire
processus
dans le r�le
instrument
objet
est une
instance
de
PlantLeaf
objet
est une
instance
de
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 6622-6631
Processus
est une
instance
de
Punching
processus
est un
agent
de
AutonomousAgent
objet
objet
est une
instance
de
Hand
Fist
est un
attribut
de
objet
objet
est une
partie
de
AutonomousAgent
objet
est un
instrument
pour
processus
(=>
(
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
Physique
est une
instance
de
Projectile
caliber
Gun
and
mesure de longueur
objet
est une
instance
de
Gun
la
largeur
de
physique
est
mesure de longueur
1
mesure de longueur
est
mesure de longueur
1
objet
est
capable
de faire la
classe
d�crite par
cha�ne sympbolique
dans le r�le
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
Physique
est une
instance
de
Projectile
caliber
Gun
and
mesure de longueur
physique
est une
instance
de
Gun
la
largeur
de
physique
est
mesure de longueur
1
mesure de longueur
est
mesure de longueur
1
physique
a pour
but
entit�
entit�
est une
instance
de
tirer
physique
est un
patient
de
entit�
physique
est un
instrument
pour
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
Processus
est une
instance
de
TransactionCollection
processus
est une
instance
de
acheter
processus
est une
instance
de
acheter
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
processus
est un
agent
de
AutonomousAgent
processus
est un
agent
de
AutonomousAgent
objet
est un
instrument
pour
processus
objet
est un
instrument
pour
processus
(=>
(
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 11005-11015
Processus
est une
instance
de
Sunburn
AutonomousAgent
exp
�rimente
processus
processus
processus
KIN
processus
est une
instance
de
endommager
Sol
est un
instrument
pour
processus
processus
KIN est une
instance
de
Skin
processus
KIN est une
partie
de
AutonomousAgent
processus
KIN est un
patient
de
processus
(=>
(
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 11023-11033
Processus
est une
instance
de
Tanning
AutonomousAgent
exp
�rimente
processus
processus
processus
KIN
processus
est une
instance
de
RadiatingUltraviolet
Sol
est un
instrument
pour
processus
processus
KIN est une
instance
de
Skin
processus
KIN est une
partie
de
AutonomousAgent
processus
KIN est un
patient
de
processus
(=>
(
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 3389-3417
WearableItem
est une
instance
de
SafetyHarness
animal
est une
instance
de
animal
animal
porte
WearableItem
WearableItem
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
processus
WearableItem
est un
instrument
pour
entit�
animal
est un
patient
de
entit�
entit�
est une
sous
-classe de la
classe
d�crite par
entit�
entit�
previent
l'occurrence de
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
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
ArtilleryCannon
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de l'
union
de
Missile
et
Grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
GrenadeLauncher
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de
Grenade
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
Processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
objet
est une
instance
de
MortarGun
objet
objet
est un
instrument
pour
processus
objet
est une
instance
de
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 13474-13484
Processus
est une
instance
de
ImpairmentFn
processus
objet
est un
instrument
pour
processus
objet
2
objet
2 est
objet
objet
2 est
capable
de faire
processus
dans le r�le
instrument
objet
est
capable
de faire
processus
dans le r�le
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
Objet corpusculaire
est une
instance
de
HardwareSystem
objet corpusculaire
est un
composant
de
objet corpusculaire
processus
est une
instance
de
DataTransfer
processus
a pour
origine
objet corpusculaire
objet corpusculaire
est une
instance
de
ComputerNetwork
objet corpusculaire
est un
instrument
pour
processus
(=>
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?D)
(
instance
?D
Pump
))
(
exists
(?F)
(
and
(
instrument
?T ?F)
(
attribute
?F
Fluid
))))
Mid-level-ontology.kif 15451-15459
Processus
est une
instance
de
transporter
objet
est un
instrument
pour
processus
objet
est une
instance
de
Pump
objet
objet
est un
instrument
pour
processus
Fluid
est un
attribut
de
objet
(=>
(
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
Objet
est une
instance
de
financial transaction
BusinessToBusiness
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
BusinessAccount
est un
attribut
de
UserAccount
(=>
(
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
Objet
est une
instance
de
financial transaction
BusinessToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
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
Objet
est une
instance
de
financial transaction
ConsumerToConsumer
est un
attribut
de
objet
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
est une
instance
de
UserAccount
UserAccount
est une
instance
de
UserAccount
AutonomousAgent
est une
instance
de
AutonomousAgent
AutonomousAgent
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
objet
est un
agent
de
AutonomousAgent
objet
aboutit
�
AutonomousAgent
WebSite
est un
instrument
pour
objet
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
est un
attribut
de
UserAccount
ConsumerAccount
est un
attribut
de
UserAccount
(=>
(
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�
est une
instance
de
CargoVehicle
entit�
est une
instance
de
humain
l'argument
entit�
entit�
est une
instance
de
transporter
entit�
est un
patient
de
entit�
entit�
est un
instrument
pour
entit�
n' %n{pas} la
force
modale
de
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�
est une
instance
de
PassengerVehicle
entit�
est une
instance
de
humain
l'argument
entit�
entit�
est une
instance
de
transporter
entit�
est un
patient
de
entit�
entit�
est un
instrument
pour
entit�
a la
force
modale
de
Possibility
(=>
(
and
(
instance
?VEHICLE
TransportationDevice
)
(
instance
?TRIP
(
TripFn
?VEHICLE)))
(
instrument
?TRIP ?VEHICLE))
Transportation.kif 1591-1595
Vehicle
est une
instance
de
v�hicule de transport
processus
est une
instance
de
TripFn
Vehicle
Vehicle
est un
instrument
pour
processus
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
Processus
est une
instance
de
Weightlifting
processus
est un
agent
de
AutonomousAgent
l'argument
entit�
entit�
est une
instance
de
AnaerobicExerciseDevice
entit�
est un
instrument
pour
processus
a la
force
modale
de
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�
est une
instance
de
BluRayDisc
processus
est une
instance
de
decoder
entit�
est un
patient
de
processus
objet
objet
est une
instance
de
lumi�re irradiante
objet
est un
instrument
pour
processus
wavelength
objet
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�
est une
instance
de
CompactDisc
processus
est une
instance
de
decoder
entit�
est un
patient
de
processus
objet
objet
est une
instance
de
lumi�re irradiante
objet
est un
instrument
pour
processus
wavelength
objet
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