destination
(=>
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))
(
exists
(?LEND)
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))))
Merge.kif 11731-11742
工程
は
借り
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
貸し
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT))
(
destination
?BUY ?AGENT))
Merge.kif 11895-11899
工程
は
購買
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT1)
(
origin
?BUY ?AGENT2)
(
patient
?BUY ?OBJECT))
(
exists
(?SELL)
(
and
(
instance
?SELL
Selling
)
(
agent
?SELL ?AGENT2)
(
destination
?SELL ?AGENT1)
(
patient
?SELL ?OBJECT))))
Merge.kif 11905-11916
工程
は
購買
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
販売
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?Bond
Bond
)
(
couponInterest
?Bond ?Interest)
(
possesses
?BondHolder ?Bond))
(
exists
(?Period ?Payment)
(
and
(
periodicPayment
(
AccountFn
?Bond) ?Interest ?Period)
(
destination
?Payment ?BondHolder))))
FinancialOntology.kif 2270-2278
Bond
は
Bond
の
instance
では %n
couponInterest
Bond
and
Interest
Bond
Holder は
Bond
を
possess
es %n{ない}
時間分
工程
periodicPayment
AccountFn
Bond
,
Interest
and
時間分
工程
は
Bond
Holder に
end
s %n{ない}
(=>
(
and
(
instance
?Bond
ZeroCouponBond
)
(
maturityDate
(
AccountFn
?Bond) ?Date)
(
possesses
?BondHolder ?Bond)
(
principalAmount
(
AccountFn
?Bond)
(
MeasureFn
?Principal ?CUNIT))
(
agreementPeriod
(
AccountFn
?Bond) ?Period)
(
interestEarned
(
AccountFn
?Bond)
(
MeasureFn
?Interest ?CUNIT) ?Period)
(
equal
?Total
(
AdditionFn
?Principal ?Interest)))
(
exists
(?Payment)
(
and
(
instance
?Payment
Payment
)
(
destination
?Payment ?BondHolder)
(
origin
?Payment
(
AccountFn
?Bond))
(
transactionAmount
?Payment
(
MeasureFn
?Total ?CUNIT)))))
FinancialOntology.kif 2333-2355
FinancialAsset
は
ZeroCouponBond
の
instance
では %n
maturityDate
AccountFn
FinancialAsset
and
日
FinancialAsset
Holder は
FinancialAsset
を
possess
es %n{ない}
principalAmount
AccountFn
FinancialAsset
and
実数
の
測定単位
(s)
agreementPeriod
AccountFn
FinancialAsset
and
時間間隔
interestEarned
AccountFn
FinancialAsset
,
実数
の
測定単位
(s) and
時間間隔
実数
は (
実数
+
実数
) と
equal
では %n
金融取引
金融取引
は
Payment
の
instance
では %n
金融取引
は
FinancialAsset
Holder に
end
s %n{ない}
金融取引
は
AccountFn
FinancialAsset
から
originate
s %n{ない}
transactionAmount
金融取引
and
実数
の
測定単位
(s)
(=>
(
and
(
instance
?C
Convoy
)
(
member
?X1 ?C)
(
member
?X2 ?C)
(
not
(
equal
?X1 ?X2)))
(
exists
(?P1 ?P2 ?D)
(
and
(
instance
?P1
Transportation
)
(
instance
?P2
Transportation
)
(
agent
?P1 ?X1)
(
agent
?P2 ?X2)
(
destination
?P1 ?D)
(
destination
?P2 ?D))))
Military.kif 108-122
コレクション
は
Convoy
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
AutonomousAgent
と
equal
では
工程
工程
and
エンティティー
工程
は
交通手段
の
instance
では %n
工程
は
交通手段
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
(=>
(
and
(
instance
?CD
CertificateOfDeposit
)
(
maturityDate
?CD ?MaturityDate)
(
instance
?Withdrawal
Withdrawal
)
(
origin
?Withdrawal
(
CurrencyFn
?CD))
(
date
?Withdrawal ?DateOfWithdrawal)
(
before
(
EndFn
?DateOfWithdrawal)
(
BeginFn
?MaturityDate)))
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?CD))
(
causes
?Withdrawal ?Penalty))))
FinancialOntology.kif 1087-1099
FinancialAccount
は
CertificateOfDeposit
の
instance
では %n
maturityDate
FinancialAccount
and
日
工程
は
Withdrawal
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
から
originate
s %n{ない}
工程
の
date
は
日
では
日
の
end
は
日
の
beginning
の
before
に happens %n{ない}
工程
工程
は
Penalty
の
instance
では %n
工程
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
instance
?DRIVING
Driving
)
(
subProcess
?TRANSPORT ?DRIVING)
(
instance
?TRANSPORT
Transportation
)
(
destination
?DRIVING ?DEST))
(
destination
?TRANSPORT ?DEST))
Mid-level-ontology.kif 23583-23589
工程
は
運転
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
交通手段
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
and
(
instance
?Depositing
DepositingACheck
)
(
patient
?Depositing ?Check)
(
instance
?Check
Check
)
(
checkAccount
?Check ?Account)
(
monetaryValue
?Check ?Amount))
(
exists
(?Deposit)
(
and
(
instance
?Deposit
Deposit
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit ?Amount))))
FinancialOntology.kif 340-351
工程
は
DepositingACheck
の
instance
では %n
Check
は
工程
の
patient
では %n
Check
は
Check
の
instance
では %n
checkAccount
Check
and
FinancialAccount
Check
の
value
は
通貨測定
では %n
金融取引
金融取引
は
Deposit
の
instance
では %n
金融取引
は
CurrencyFn
FinancialAccount
に
end
s %n{ない}
transactionAmount
金融取引
and
通貨測定
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9964-9976
工程
は
Edema
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
オブジェクト
and
オブジェクト
motion
は
移動
の
instance
では %n
オブジェクト
は
Liquid
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
motion
は
オブジェクト
に
end
s %n{ない}
moves
motion
and
オブジェクト
motion
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
交通手段
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
工程
A は
工程
の
patient
では %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
?F
Food
)
(
attribute
?F
DecafAttribute
)
(
piece
?C ?F)
(
instance
?C
Caffeine
))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
destination
?R ?F)
(
patient
?R ?C))))
Food.kif 425-435
物質
は
Food
の
instance
では %n
DecafAttribute
は
物質
の
attribute
では %n
物質
は
物質
の
piece
では %n
物質
は
Caffeine
の
instance
では %n
工程
工程
は
除却
の
instance
では %n
工程
は
物質
に
end
s %n{ない}
物質
は
工程
の
patient
では %n
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
工程
は
FourStrokeIntake
の
instance
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
工程
V
工程
工程
は
GasMotion
の
instance
では %n
工程
V は
FuelVapor
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
HoleRegion
に
end
s %n{ない}
工程
V は
工程
の
patient
では %n
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP))
(
hasPurpose
?FP
(
exists
(?GT ?EC)
(
and
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)))))
Cars.kif 1051-1068
オブジェクト
は
FuelPump
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
交通手段
の
instance
では %n
工程
は
Fuel
の
instance
では %n
工程
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
GasTank
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
エンティティー
は
EngineCylinder
の
instance
では %n
エンティティー
は
オブジェクト
の
part
では %n
工程
は
エンティティー
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
工程
は
GERefluxDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
and
オブジェクト
工程
は
移動
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
Esophagus
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT))
(
destination
?GET ?AGENT))
Merge.kif 11781-11785
工程
は
取得
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %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
?HA
HeartAttack
)
(
instance
?H
Heart
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
Muscle
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11368-11385
物理
は
HeartAttack
の
instance
では %n
オブジェクト
は
Heart
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
オブジェクト
時間間隔
は
LiquidMotion
の
instance
では %n
objectTransferred
時間間隔
and
オブジェクト
オブジェクト
は
血
の
instance
では %n
時間間隔
は
物理
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?HA
Stroke
)
(
instance
?H
Brain
)
(
located
?HA ?H))
(
exists
(?M)
(
and
(
instance
?M
NerveCell
)
(
part
?M ?H)
(
not
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
during
?BF
(
WhenFn
?HA))
(
destination
?BF ?M)))))))
Mid-level-ontology.kif 11915-11932
物理
は
Stroke
の
instance
では %n
オブジェクト
は
Brain
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
オブジェクト
オブジェクト
は
NerveCell
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
時間間隔
オブジェクト
時間間隔
は
LiquidMotion
の
instance
では %n
objectTransferred
時間間隔
and
オブジェクト
オブジェクト
は
血
の
instance
では %n
時間間隔
は
物理
の
time
の existence の
during
に takes %n{ない}
時間間隔
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?I
Immigrating
)
(
agent
?I ?A))
(
exists
(?N1 ?N2)
(
and
(
instance
?N1
Nation
)
(
instance
?N2
Nation
)
(
origin
?I ?N1)
(
destination
?I ?N2)
(
not
(
equal
?N1 ?N2))
(
member
?A
(
CitizenryFn
?N1))
(
not
(
member
?A
(
CitizenryFn
?N2)))
(
hasPurpose
?I
(
inhabits
?A ?N2)))))
Mid-level-ontology.kif 17352-17368
工程
は
Immigrating
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
地政学的地域
地政学的地域
地政学的地域
は
国民
の
instance
では %n
地政学的地域
は
国民
の
instance
では %n
工程
は
地政学的地域
から
originate
s %n{ない}
工程
は
地政学的地域
に
end
s %n{ない}
地政学的地域
は
地政学的地域
と
equal
では
AutonomousAgent
は
CitizenryFn
地政学的地域
の
member
では %n
AutonomousAgent
は
CitizenryFn
地政学的地域
の
member
では
工程
は
AutonomousAgent
は
地政学的地域
に
live
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
移動
は
Intubation
の
instance
では %n
オブジェクト
は
Tube
の
instance
では %n
objectTransferred
移動
and
オブジェクト
AutonomousAgent
が
移動
を
experience
s %n{ない}
オブジェクト
H
オブジェクト
H は
Trachea
の
instance
では %n
オブジェクト
H は
AutonomousAgent
の
part
では %n
移動
は
オブジェクト
H に
end
s %n{ない}
(=>
(
and
(
instance
?II
IntraosseousInfusion
)
(
patient
?II ?H))
(
exists
(?B)
(
and
(
instance
?B
BoneMarrow
)
(
destination
?II ?B)
(
part
?B ?H))))
Medicine.kif 1179-1187
工程
は
IntraosseousInfusion
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
オブジェクト
は
BoneMarrow
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
オブジェクト
は
InvasiveVentilator
の
instance
では %n
工程
は
呼吸
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
は
工程
の
instrument
では %n
工程
工程
は
Intubation
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %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