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
微粒子オブジェクト
は
DigitalPost
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
微粒子オブジェクト
は
WebSite
の
component
では %n
creator
AutonomousAgent
and
微粒子オブジェクト
registeredUser
AutonomousAgent
and
WebSite
微粒子オブジェクト
は
エンティティー
エンティティー
は
普及
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
微粒子オブジェクト
は
エンティティー
の
patient
では %n
WebSite
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
工程
は
符号化
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
認識エージェント
は
公式
を
know
s %n{ない}
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
公式
の情報を
contain
s %n{ない}
(=>
(
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
オブジェクト
は
植物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
エンティティー
and
工程
工程
は
工程
の
instance
では %n
工程
は
保持
の
subclass
では %n
エンティティー
は
FreshWater
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
を
instrument
として行う
capable
では %n
オブジェクト
は
PlantLeaf
の
instance
では %n
オブジェクト
は
PlantStem
の
instance
では %n
(=>
(
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
工程
は
Punching
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Hand
の
instance
では %n
Fist
は
オブジェクト
の
attribute
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
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
物理
は
Projectile
の
instance
では %n
caliber
Gun
and
長さ測定
オブジェクト
は
Gun
の
instance
では %n
物理
の
width
は
長さ測定
1 では %n
長さ測定
は
長さ測定
1 と
equal
では %n
オブジェクト
は
エンティティー
class
を
instrument
として行う
capable
では %n
(=>
(
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
物理
は
Projectile
の
instance
では %n
caliber
Gun
and
長さ測定
物理
は
Gun
の
instance
では %n
物理
の
width
は
長さ測定
1 では %n
長さ測定
は
長さ測定
1 と
equal
では %n
物理
は
エンティティー
エンティティー
は
射撃
の
instance
では %n
物理
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
工程
は
TransactionCollection
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
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
工程
は
Sunburn
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
KIN
工程
は
損害を与える
の
instance
では %n
Sol
は
工程
の
instrument
では %n
工程
KIN は
Skin
の
instance
では %n
工程
KIN は
AutonomousAgent
の
part
では %n
工程
KIN は
工程
の
patient
では %n
(=>
(
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
工程
は
Tanning
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
KIN
工程
は
RadiatingUltraviolet
の
instance
では %n
Sol
は
工程
の
instrument
では %n
工程
KIN は
Skin
の
instance
では %n
工程
KIN は
AutonomousAgent
の
part
では %n
工程
KIN は
工程
の
patient
では %n
(=>
(
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
は
SafetyHarness
の
instance
では %n
動物
は
動物
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
WearableItem
は
エンティティー
の
instrument
では %n
動物
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
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
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
ArtilleryCannon
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Missile
と
Grenade
の
union
の
instance
では %n
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
GrenadeLauncher
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Grenade
の
instance
では %n
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
MortarGun
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Grenade
の
instance
では %n
(=>
(
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
工程
は
ImpairmentFn
工程
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
equal
では
オブジェクト
2 は
工程
を
instrument
として行う
capable
では %n
オブジェクト
は
工程
を
instrument
として行う
capable
では
(=>
(
and
(
instance
?System
HardwareSystem
)
(
component
?Network ?System)
(
instance
?Event
DataTransfer
)
(
origin
?Event ?System))
(
and
(
instance
?Network
ComputerNetwork
)
(
instrument
?Event ?Network)))
QoSontology.kif 326-334
微粒子オブジェクト
は
HardwareSystem
の
instance
では %n
微粒子オブジェクト
は
微粒子オブジェクト
の
component
では %n
工程
は
DataTransfer
の
instance
では %n
工程
は
微粒子オブジェクト
から
originate
s %n{ない}
微粒子オブジェクト
は
ComputerNetwork
の
instance
では %n
微粒子オブジェクト
は
工程
の
instrument
では %n
(=>
(
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
工程
は
交通手段
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Pump
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
Fluid
は
オブジェクト
の
attribute
では %n
(=>
(
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
オブジェクト
は
金融取引
の
instance
では %n
BusinessToBusiness
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
は
UserAccount
の
attribute
では %n
BusinessAccount
は
UserAccount
の
attribute
では %n
(=>
(
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
オブジェクト
は
金融取引
の
instance
では %n
BusinessToConsumer
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
BusinessAccount
は
UserAccount
の
attribute
では %n
ConsumerAccount
は
UserAccount
の
attribute
では %n
(=>
(
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
オブジェクト
は
金融取引
の
instance
では %n
ConsumerToConsumer
は
オブジェクト
の
attribute
では %n
UserAccount
UserAccount
,
AutonomousAgent
,
AutonomousAgent
and
WebSite
UserAccount
は
UserAccount
の
instance
では %n
UserAccount
は
UserAccount
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
AutonomousAgent
は
オブジェクト
の
agent
では %n
オブジェクト
は
AutonomousAgent
に
end
s %n{ない}
WebSite
は
オブジェクト
の
instrument
では %n
hasAccount
AutonomousAgent
and
UserAccount
hasAccount
AutonomousAgent
and
UserAccount
accountAtSite
UserAccount
and
WebSite
accountAtSite
UserAccount
and
WebSite
ConsumerAccount
は
UserAccount
の
attribute
では %n
ConsumerAccount
は
UserAccount
の
attribute
では %n
(=>
(
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
エンティティー
は
CargoVehicle
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
交通手段
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
instrument
では %n には
Possibility
の
modal
force
が ない %p{ある}
(=>
(
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
エンティティー
は
PassengerVehicle
の
instance
では %n
エンティティー
は
人[人間]
の
instance
では %n
ステートメント
エンティティー
エンティティー
は
交通手段
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
instrument
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?VEHICLE
TransportationDevice
)
(
instance
?TRIP
(
TripFn
?VEHICLE)))
(
instrument
?TRIP ?VEHICLE))
Transportation.kif 1591-1595
Vehicle
は
輸送機
の
instance
では %n
工程
は
TripFn
Vehicle
の
instance
では %n
Vehicle
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
工程
は
Weightlifting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
AnaerobicExerciseDevice
の
instance
では %n
エンティティー
は
工程
の
instrument
では %n には
Likely
の
modal
force
が ある
(=>
(
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
エンティティー
は
BluRayDisc
の
instance
では %n
工程
は
復号化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
放射光
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
wavelength
オブジェクト
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
エンティティー
は
CompactDisc
の
instance
では %n
工程
は
復号化
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
放射光
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
wavelength
オブジェクト
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