destination
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
金融取引
は
Deposit
の
instance
では %n
FinancialAccount
は
FinancialAccount
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
currentAccountBalance
FinancialAccount
,
金融取引
の
time
の existence の immediately
before
and
実数
の
測定単位
(s)
実数
は (
実数
+
実数
) と
equal
では %n
currentAccountBalance
FinancialAccount
,
金融取引
の
after
の すぐ
after
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?E
Entombing
)
(
destination
?E ?T))
(
instance
?T
Tomb
))
Mid-level-ontology.kif 18049-18053
工程
は
Entombing
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
Tomb
の
instance
では %n
(=>
(
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
RadioEmission
)
(
destination
?E ?D))
(
instance
?D
ReceiverDevice
))
Mid-level-ontology.kif 1807-1811
工程
は
RadioEmission
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
ReceiverDevice
の
instance
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
地政学的地域
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
地政学的地域
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
工程
は
Exporting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
地政学的地域
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
物理
は
地政学的地域
の
instance
では %n
工程
は
物理
に
end
s %n{ない}
物理
は
オブジェクト
に
located
して
(=>
(
and
(
instance
?F
Feeding
)
(
destination
?F ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 11582-11586
工程
は
Feeding
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
動物
の
instance
では %n
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
工程
は
Scholarship
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
エンティティー
エンティティー
は
EducationalProgram
の
instance
では %n
エンティティー
は
エンティティー
の内容を
express
es %n{ない}
エンティティー
が
エンティティー
を
experience
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
水域
は
Waterfall
の
instance
では %n
WaterMotion
は
WaterMotion
の
instance
では %n
flowCurrent
WaterMotion
and
水域
WaterMotion
は
オブジェクト
から
originate
s %n{ない}
WaterMotion
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
水域
の
instance
では %n
オブジェクト
は
Above
対
オブジェクト
では %n
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
オブジェクト
は
FuelPump
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
motion
は
交通手段
の
instance
では %n
工程
は
Fuel
の
instance
では %n
工程
は
motion
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
GasTank
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
motion
は
オブジェクト
から
originate
s %n{ない}
motion
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
motion
が 発生する
path
では %n
motion
は
工程
F
工程
F は
FuelFilter
の
instance
では %n
betweenOnPath
オブジェクト
,
工程
F,
オブジェクト
and
オブジェクト
の 目的 %n{ない}
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11673-11685
工程
は
与える
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
取得
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
移動
は
摂取
の
instance
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
Hallucinogen
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
オブジェクト
AL
オブジェクト
AL は
Hallucination
の
instance
では %n
エンティティー
が
オブジェクト
AL を
experience
s %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
移動
は
Injecting
の
instance
では %n
オブジェクト
は
Adalimumab
の
instance
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
に
located
して %n
オブジェクト
は
体の部分
の
instance
では %n
移動
は
エンティティー
に
end
s %n{ない}
ステートメント
エンティティー
PainFn
オブジェクト
は
エンティティー
の
attribute
では %n は
エンティティー
の
during
holds %n{ない}
エンティティー
は
移動
の
time
の existence の
after
の
during
に takes %n{ない} には
Likely
の
modal
force
が ある
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
ComputerProcess
は
SoftwareInstallation
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
コンピュータープログラム
の
instance
では %n
ComputerProcess
は
エンティティー
に
end
s %n{ない}
ComputerProcess
は
DigitalData
ROC
computerRunning
DigitalData
ROC and
エンティティー
の 目的 %n{ない}
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11424-11431
工程
は
Inserting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
を
contain
ない は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
を
contain
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
オブジェクト
は
Lever
の
instance
では %n
工程
は
Pushing
の
instance
では %n
物理
は
motion
の
instance
では %n
測定単位
は
UnitOfLength
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
physicalEnd
オブジェクト
and
オブジェクト
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
オブジェクト
は
工程
1 に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
工程
2 に
located
して %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
オブジェクト
は
工程
3 に
located
して %n は
物理
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
工程
4 に
located
して %n は
物理
の
time
の existence の すぐ
after
の
during
holds %n{ない}
工程
1 と
工程
2 の
distance
は
実数
の
測定単位
(s) では %n
工程
3 と
工程
4 の
distance
は
実数
の
測定単位
(s) では %n
実数
は
実数
より
greater
では %n
(=>
(
and
(
instance
?L
LoadingWeapon
)
(
destination
?L ?W))
(
instance
?W
ProjectileLauncher
))
Mid-level-ontology.kif 1378-1382
工程
は
LoadingWeapon
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
エンティティー
は
ProjectileLauncher
の
instance
では %n
(=>
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))))
Merge.kif 11744-11755
工程
は
貸し
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
借り
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
Motion
は
motion
の
instance
では %n
moves
motion
and
オブジェクト
motion
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
motion
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
工程
は
MovingAwayFromPeople
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
工程
は
MovingTowardsPeople
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
と
equal
では
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
工程
は
BankCardPayment
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
BankCardPayment
を
destination
として行う
capable
では %n
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
工程
は
FoodPickup
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
エンティティー
は
FoodForFn
人[人間]
の
instance
では %n
オブジェクト
工程
and
工程
AutonomousAgent
は
オブジェクト
に
located
して %n
工程
は
Translocation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
取得
の
instance
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %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