instrument
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
微粒子オブジェクト
は
Exhaust
の
instance
では %n
Fuel
は
微粒子オブジェクト
で
made
%n
移動
は
移動
の
instance
では %n
微粒子オブジェクト
NG は
Engine
の
instance
では %n
移動
は
微粒子オブジェクト
NG から
originate
s %n{ない}
物理
は
CatalyticConverter
の
instance
では %n
移動
は
物理
に
end
s %n{ない}
objectTransferred
移動
and
微粒子オブジェクト
物理
は
エンティティー
エンティティー
は
燃焼
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
微粒子オブジェクト
は
エンティティー
の
patient
では %n
eventLocated
エンティティー
and
物理
の 目的 %n{ない}
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10647-10657
Motion
は
Extension
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
オブジェクト
C
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
C は
MuscularContraction
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
C は
motion
% の
subprocess
では %n
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
オブジェクト
は
EngineCoolingSystem
の
instance
では %n
オブジェクト
は
Engine
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
は
冷却
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
オブジェクト
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?EM
Electromagnet
)
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))
Cars.kif 3893-3903
オブジェクト
は
Electromagnet
の
instance
では %n
移動
は
移動
の
instance
では %n
オブジェクト
は
Electricity
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
移動
が 発生する
path
では %n
工程
工程
は
Magnetism
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?EM
Electromagnet
)
(
not
(
holdsDuring
?T1
(
exists
(?T ?E)
(
and
(
instance
?T
Transfer
)
(
instance
?E
Electricity
)
(
objectTransferred
?T ?E)
(
path
?T ?EM))))))
(
not
(
holdsDuring
?T1
(
exists
(?M)
(
and
(
instance
?M
Magnetism
)
(
instrument
?M ?EM))))))
Cars.kif 3905-3921
エンティティー
は
Electromagnet
の
instance
では %n
エンティティー
エンティティー
エンティティー
は
移動
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
objectTransferred
エンティティー
and
エンティティー
エンティティー
は
エンティティー
が 発生する
path
では %n は
エンティティー
1 の
during
hold ない
エンティティー
エンティティー
は
Magnetism
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n は
エンティティー
1 の
during
hold ない
(=>
(
and
(
instance
?EXPRESS
FacialExpression
)
(
agent
?EXPRESS ?AGENT))
(
exists
(?FACE)
(
and
(
part
?FACE ?AGENT)
(
instance
?FACE
Face
)
(
instrument
?EXPRESS ?FACE))))
Mid-level-ontology.kif 13008-13016
工程
は
FacialExpression
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
Face
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10607-10617
Motion
は
Flexion
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
オブジェクト
C
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
C は
MuscularContraction
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
C は
motion
% の
subprocess
では %n
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
工程
は
Folding
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
オブジェクト
and
オブジェクト
工程
は
覆い
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1417-1436
デバイス
は
Gun
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
effectiveRange
デバイス
and
実数
の
測定単位
(s)
デバイス
と
オブジェクト
の
distance
は
実数
1 の
測定単位
(s) では %n
オブジェクト
は
物
の
instance
では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
デバイス
の
between
では %n
実数
1 は
実数
より
less
または同等 では %n
記号文字列
デバイス
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1395-1413
デバイス
は
Gun
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
effectiveRange
デバイス
and
実数
の
測定単位
(s)
デバイス
と
オブジェクト
の
distance
は
実数
1 の
測定単位
(s) では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
デバイス
の
between
では %n
実数
1 は
実数
より
less
または同等 では %n
記号文字列
デバイス
は
記号文字列
で記述される
class
を
instrument
として行う
capable
では %n
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
TelecomNumber
は
Hotline
の
instance
では %n
telephoneNumber
TelecomNumber
and
AutonomousAgent
AutonomousAgent
は
組織
の
instance
では %n
TelecomNumber
は
エンティティー
エンティティー
は
Telephoning
の
instance
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} ステートメント
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
TelecomNumber
は
エンティティー
の
instrument
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の すぐ
after
の
beginning
と
equal
では %n には
Likely
の
modal
force
が ある の 目的 %n{ない}
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
は
HearingProtection
の
instance
では %n
動物
は
人[人間]
の
instance
では %n
動物
は % を
wear
s %n{ない}
WearableItem
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
WearableItem
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
移動
は
Intubation
の
instance
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
移動
は
エンティティー
エンティティー
は
呼吸
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
))
(
exists
(?IRON ?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
instance
?IRON
FabricIron
)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25264-25275
工程
は
Ironing
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
布(地)
の
instance
では %n
工程
RON
工程
工程
は
加熱
の
instance
では %n
工程
RON は
工程
の
patient
では %n
工程
RON は
FabricIron
の
instance
では %n
工程
RON は
工程
の
instrument
では %n
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 25252-25262
工程
は
Ironing
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
工程
RON and
オブジェクト
オブジェクト
は
オブジェクト
の
superficial
部分では %n
工程
は
加熱
の
instance
では %n
工程
RON は
工程
の
patient
では %n
オブジェクト
は
工程
の
patient
では %n
工程
RON は
工程
の
instrument
では %n
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
時間間隔
は
時間間隔
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
時間間隔
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
時間間隔
は
購買
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
WebSite
は
時間間隔
の
instrument
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
時間間隔
の
instance
では %n
時間間隔
_BEFORE は
時間間隔
より
earlier
happens %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
購買
の
instance
では %n
AutonomousAgent
は
時間間隔
_BEFORE の
agent
では %n
WebSite
は
時間間隔
_BEFORE の
instrument
では %n
時間間隔
_BEFORE は
時間間隔
の
during
に takes %n{ない} は
時間間隔
_BEFORE の
during
holds %n{ない}
SiteWideNewBuyersFn
時間間隔
and
WebSite
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
時間間隔
は
時間間隔
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
コレクション
コレクション
は
コレクション
の
instance
では %n
AutonomousAgent
AutonomousAgent
は
コレクション
の
member
では %n
時間間隔
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
時間間隔
は
販売
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
WebSite
は
時間間隔
の
instrument
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
時間間隔
の
instance
では %n
時間間隔
_BEFORE は
時間間隔
より
earlier
happens %n{ない}
時間間隔
_BEFORE
時間間隔
_BEFORE は
販売
の
instance
では %n
AutonomousAgent
は
時間間隔
_BEFORE の
agent
では %n
WebSite
は
時間間隔
_BEFORE の
instrument
では %n
時間間隔
_BEFORE は
時間間隔
の
during
に takes %n{ない} は
時間間隔
_BEFORE の
during
holds %n{ない}
SiteWideNewSellersFn
時間間隔
and
WebSite
は
コレクション
と
equal
では %n
(=>
(
and
(
instance
?KICK
Kicking
)
(
agent
?KICK ?ANIMAL))
(
exists
(?FOOT)
(
and
(
instance
?FOOT
Foot
)
(
part
?FOOT ?ANIMAL)
(
instrument
?KICK ?FOOT))))
Mid-level-ontology.kif 6637-6645
工程
は
Kicking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Foot
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 25821-25838
物理
は
KnockLight
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
は
部屋
の
instance
では %n
オブジェクト
は
Door
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
衝撃
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
放射音
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
を
cause
s %n{ない}
エンティティー
は
RadiatingVisibleLight
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
deviceAccount
?A ?C)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
instrument
?P ?C))))
Possibility
))
ComputingBrands.kif 3988-4002
工程
は
LoggingIn
の
instance
では %n
hasAccount
AutonomousAgent
and
UserAccount
deviceAccount
UserAccount
and
Computer
時間間隔
は
工程
の
time
の existence の すぐ
after
と
equal
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
Computer
は
エンティティー
の
instrument
では %n は
時間間隔
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
instance
?M
Microwave
)
(
attribute
?M
DeviceOn
))
(
exists
(?PROC)
(
and
(
instance
?PROC
RadiatingElectromagnetic
)
(
instrument
?PROC ?M))))
Food.kif 365-372
オブジェクト
は
Microwave
の
instance
では %n
DeviceOn
は
オブジェクト
の
attribute
では %n
工程
工程
は
RadiatingElectromagnetic
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
(=>
(
and
(
instance
?MODEM
CableModem
)
(
instance
?COMM
Communication
)
(
instrument
?COMM ?MODEM))
(
exists
(?CABLE)
(
and
(
instance
?CABLE
Cable
)
(
instrument
?COMM ?CABLE)
(
connectedEngineeringComponents
?CABLE ?MODEM))))
ComputerInput.kif 577-586
エンジニアリング部品
は
CableModem
の
instance
では %n
工程
は
コミュニケーション
の
instance
では %n
エンジニアリング部品
は
工程
の
instrument
では %n
エンジニアリング部品
エンジニアリング部品
は
Cable
の
instance
では %n
エンジニアリング部品
は
工程
の
instrument
では %n
エンジニアリング部品
は
エンジニアリング部品
に
connected
して %n
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
PipelineTransportation
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?P)
(
and
(
instance
?EV
Selling
)
(
instance
?P
Human
)
(
patient
?EV ?P)
(
confersRight
(
exists
(?T ?V ?OBJ ?PIPE)
(
and
(
instance
?T
Transportation
)
(
possesses
?P ?OBJ)
(
patient
?T ?OBJ)
(
instance
?OBJ
Substance
)
(
possesses
?ORG ?V)
(
instrument
?T ?PIPE)
(
instance
?PIPE
Pipeline
))) ?MEM ?P))))))
naics.kif 8465-8488
コレクション
は
組織
の
instance
では %n
PipelineTransportation
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
認識エージェント
AutonomousAgent
は
販売
の
instance
では %n
認識エージェント
は
人[人間]
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
patient
では %n
工程
は
認識エージェント
が
エンティティー
エンティティー
,
エンティティー
and
認識エージェント
IPE
エンティティー
は
交通手段
の
instance
では %n
認識エージェント
は
エンティティー
を
possess
es %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物質
の
instance
では %n
コレクション
は
エンティティー
を
possess
es %n{ない}
認識エージェント
IPE は
エンティティー
の
instrument
では %n
認識エージェント
IPE は
Pipeline
の
instance
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?ORG
Organization
)
(
attribute
?ORG
SportingGoodsHobbyBookAndMusicStores
))
(
exists
(?EV ?MEM)
(
and
(
member
?MEM ?ORG)
(
agent
?MEM ?EV)
(
exists
(?THING)
(
and
(
instance
?EV
Selling
)
(
instance
?THING
Object
)
(
or
(
capability
Sport
instrument
?THING)
(
capability
MakingMusic
instrument
?THING)
(
instance
?THING
Book
)
(
instance
?THING
MusicRecording
)
(
instance
?THING
MusicText
))
(
patient
?EV ?THING))))))
naics.kif 7600-7618
コレクション
は
組織
の
instance
では %n
SportingGoodsHobbyBookAndMusicStores
は
コレクション
の
attribute
では %n
AutonomousAgent
工程
工程
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
AutonomousAgent
は
販売
の
instance
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
スポーツ
を
instrument
として行う
capable
では %n
オブジェクト
は
MakingMusic
を
instrument
として行う
capable
では %n
オブジェクト
は
本
の
instance
では %n
オブジェクト
は
MusicRecording
の
instance
では %n
オブジェクト
は
MusicText
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
patient
では %n
(=>
(
and
(
instance
?P
Decoding
)
(
agent
?P ?A))
(
exists
(?CODE)
(
or
(
knows
?A ?CODE)
(
exists
(?OBJ)
(
and
(
instrument
?P ?OBJ)
(
containsInformation
?OBJ ?CODE))))))
QoSontology.kif 2181-2191
工程
は
復号化
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
公式
認識エージェント
は
公式
を
know
s %n{ない}
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
公式
の情報を
contain
s %n{ない}
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