patient
(=>
(
and
(
buys
?CUST ?AGENT ?ITEM)
(
instance
?ITEM
Proposition
))
(
exists
(?TRANS ?PROC)
(
and
(
agent
?TRANS ?CUST)
(
realization
?PROC ?ITEM)
(
instance
?TRANS
Buying
)
(
patient
?TRANS ?PROC)
(
origin
?TRANS ?AGENT))))
Mid-level-ontology.kif 29974-29984
buys
認識エージェント
,
AutonomousAgent
and
命題
命題
は
命題
の
instance
では %n
工程
工程
認識エージェント
は
工程
の
agent
では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
は
購買
の
instance
では %n
工程
は
工程
の
patient
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
(=>
(
and
(
capability
ValetParking
agent
?AGENT)
(
customer
?CUST ?AGENT)
(
located
?AGENT ?LOC)
(
instance
?D
Arriving
)
(
agent
?D ?CUST)
(
patient
?D ?VEHICLE)
(
destination
?D ?LOC))
(
exists
(?VALET)
(
and
(
occupiesPosition
?VALET
Valet
?AGENT)
(
modalAttribute
(
exists
(?VP ?PARK)
(
and
(
instance
?VP
ValetParking
)
(
agent
?VP ?VALET)
(
patient
?VP ?VEHICLE)
(
destination
?VP ?PARK)
(
instance
?PARK
ParkingRegion
)))
Possibility
))))
TransportDetail.kif 153-172
組織
は
ValetParking
を
agent
として行う
capable
では %n
customer
認識エージェント
and
組織
組織
は
オブジェクト
に
located
して %n
工程
は
Arriving
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
オブジェクト
に
end
s %n{ない}
人[人間]
人[人間]
は
組織
の
Valet
の
position
を holds %n{ない} ステートメント
エンティティー
エンティティー
エンティティー
は
ValetParking
の
instance
では %n
人[人間]
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
ParkingRegion
の
instance
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
cardCode
?Code ?Card)
(
cardAccount
?Card ?Account))
(
exists
(?Encoding)
(
and
(
instance
?Encoding
Encoding
)
(
patient
?Encoding ?Account))))
FinancialOntology.kif 3504-3511
cardCode
コンテンツベアリングオブジェクト
and
BankCard
cardAccount
BankCard
and
FinancialAccount
工程
工程
は
符号化
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
(=>
(
and
(
checkOutTime
?HOTEL ?TIME)
(
guest
?GUEST ?HOTEL))
(
expects
?HOTEL
(
exists
(?T ?C)
(
and
(
instance
?T ?TIME)
(
patient
?C ?GUEST)
(
instance
?C
CheckOutService
)
(
agent
?C ?HOTEL)
(
before
(
BeginFn
(
WhenFn
?C)) ?T)))))
Hotel.kif 684-695
checkOutTime
認識エージェント
and
時点
guest
認識エージェント
and
認識エージェント
expects
認識エージェント
and
エンティティー
エンティティー
エンティティー
は
時点
の
instance
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
CheckOutService
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
before
に happens %n{ない}
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Object
)
(
instance
?X ?PHYS))
(
confersRight
(
exists
(?PROC)
(
and
(
instance
?PROC
Process
)
(
or
(
resource
?PROC ?X)
(
instrument
?PROC ?X)
(
patient
?PROC ?X))
(
or
(
agent
?PROC ?CUST)
(
experiencer
?PROC ?CUST)))) ?AGENT ?CUST))
Hotel.kif 504-520
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
オブジェクト
の
subclass
では %n
エンティティー
は
物理
の
instance
では %n
AutonomousAgent
は
認識エージェント
が
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n
認識エージェント
が
エンティティー
を
experience
s %n{ない} のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
customer
?CUST ?AGENT)
(
propertyAmenity
?AGENT ?PHYS)
(
subclass
?PHYS
Process
))
(
modalAttribute
(
exists
(?S ?LOC ?PROC)
(
and
(
element
?LOC
(
PropertyFn
?AGENT))
(
agent
?S ?AGENT)
(
patient
?S ?CUST)
(
or
(
instance
?S ?PHYS)
(
and
(
instance
?PROC ?PHYS)
(
subProcess
?S ?PROC)))
(
located
?S ?LOC)))
Possibility
))
Hotel.kif 522-538
customer
認識エージェント
and
AutonomousAgent
propertyAmenity
AutonomousAgent
and
物理
物理
は
工程
の
subclass
では %n
ステートメント
エンティティー
エンティティー
and
エンティティー
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
AutonomousAgent
は
エンティティー
の
agent
では %n
認識エージェント
は
エンティティー
の
patient
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
エンティティー
は
エンティティー
に
located
して %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
equal
(
MeasureFn
?Y
McgPerKg
)
(
PerFn
?M1 ?M2))
(
equal
?M1
(
MeasureFn
?NUM1
(
MicroFn
Gram
)))
(
equal
?M2
(
MeasureFn
?NUM2
(
KiloFn
Gram
))))
(
exists
(?I ?B ?A)
(
and
(
instance
?I
Ingesting
)
(
instance
?B
BiologicallyActiveSubstance
)
(
instance
?A
Organism
)
(
patient
?I ?B)
(
agent
?I ?A)
(
weight
?B ?M1)
(
weight
?A ?M2))))
WMD.kif 823-840
実数
の
McgPerKg
(s) は
PerFn
質量測定
and
質量測定
と
equal
では %n
質量測定
は
実数
の 1 の
millionth
Gram
(s) と
equal
では %n
質量測定
は
実数
の 1 の
thousand
Gram
s(s) と
equal
では %n
工程
自己接続オブジェクト
and
自己接続オブジェクト
工程
は
摂取
の
instance
では %n
自己接続オブジェクト
は
生物活性物質
の
instance
では %n
自己接続オブジェクト
は
物
の
instance
では %n
自己接続オブジェクト
は
工程
の
patient
では %n
自己接続オブジェクト
は
工程
の
agent
では %n
weight
自己接続オブジェクト
and
質量測定
weight
自己接続オブジェクト
and
質量測定
(=>
(
and
(
equal
?S
(
SongFn
?MC ?LC))
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV)
(
and
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Music.kif 867-876
Song
は
SongFn
MusicalComposition
and
LyricalContent
と
equal
では %n
Song
は
工程
の内容を
express
es %n{ない}
工程
工程
MusicalComposition
は
工程
の
patient
では %n
LyricalContent
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
functionRoomAmenity
?FR ?PHY)
(
instance
?RM ?FR)
(
element
?RM
(
PropertyFn
?HOTEL))
(
instance
?RENT
Renting
)
(
patient
?RENT ?RM)
(
agent
?RENT ?HOTEL)
(
destination
?RENT ?CUST)
(
subclass
?PHY
Object
))
(
modalAttribute
(
exists
(?O ?P)
(
and
(
instance
?O ?PHY)
(
instance
?P
Process
)
(
or
(
resource
?P ?O)
(
instrument
?P ?O)
(
patient
?P ?O))
(
or
(
agent
?P ?CUST)
(
experiencer
?P ?CUST))))
Possibility
))
Hotel.kif 811-832
functionRoomAmenity
HotelFunctionRoom
and
物理
エンティティー
は
HotelFunctionRoom
の
instance
では %n
エンティティー
は
AutonomousAgent
の
belongings
の
element
%n
工程
は
Renting
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
物理
は
オブジェクト
の
subclass
では %n
ステートメント
エンティティー
エンティティー
エンティティー
は
物理
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
resource
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
agent
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
and
(
guest
?CUST ?HOTEL)
(
stays
?CUST ?R)
(
element
?R
(
PropertyFn
?HOTEL))
(
instance
?R ?ROOM)
(
roomAmenity
?ROOM ?OBJ)
(
subclass
?OBJ
Object
))
(
exists
(?O)
(
and
(
instance
?O ?OBJ)
(
located
?O ?R)
(
confersRight
(
exists
(?PROC)
(
and
(
agent
?PROC ?CUST)
(
or
(
instrument
?PROC ?O)
(
patient
?PROC ?O)
(
resource
?PROC ?O)))) ?HOTEL ?CUST))))
Hotel.kif 294-313
guest
人[人間]
and
AutonomousAgent
stays
人[人間]
and
TemporaryResidence
TemporaryResidence
は
AutonomousAgent
の
belongings
の
element
%n
TemporaryResidence
は
TemporaryResidence
OOM の
instance
では %n
roomAmenity
TemporaryResidence
OOM and
物理
物理
は
オブジェクト
の
subclass
では %n
物理
物理
は
物理
の
instance
では %n
物理
は
TemporaryResidence
に
located
して %n
AutonomousAgent
は
人[人間]
が
エンティティー
人[人間]
は
エンティティー
の
agent
では %n
物理
は
エンティティー
の
instrument
では %n
物理
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
resource
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
hasAccount
?U ?AC)
(
password
?P ?AC)
(
deviceAccount
?AC ?D)
(
not
(
knows
?U
(
password
?P ?AC)))
(
knows
?U
(
recoveryKey
?S ?AC))
(
possesses
?U ?D))
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
ChangingPassword
)
(
patient
?C ?AC)
(
agent
?C ?U)))
Possibility
))
ComputingBrands.kif 4427-4444
hasAccount
認識エージェント
and
UserAccount
password
ComputerPassword
and
UserAccount
deviceAccount
UserAccount
and
Computer
認識エージェント
は
password
ComputerPassword
and
UserAccount
を
know
ない
認識エージェント
は
recoveryKey
エンティティー
and
UserAccount
を
know
s %n{ない}
認識エージェント
は
Computer
を
possess
es %n{ない}
ステートメント
エンティティー
エンティティー
は
ChangingPassword
の
instance
では %n
UserAccount
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n には
Possibility
の
modal
force
が ある
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
Expellee
は
エンティティー
の
attribute
では %n
エンティティー
は
エンティティー
-NATION% の
citizen
では %n は
時間位置
の
during
holds %n{ない}
時間位置
は
時間間隔
の
instance
では %n
工程
オブジェクト
オブジェクト
は
国民
の
instance
では %n
オブジェクト
は
エンティティー
-NATION と
equal
では
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
-NATION に
end
s %n{ない}
時間位置
は
工程
の
time
の existence の
part
では %n
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
エンティティー
and
エンティティー
は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
工程
は
Wedding
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
instance
?ACT
Surgery
)
(
patient
?ACT ?ANIMAL))
(
exists
(?SUBACT)
(
and
(
instance
?SUBACT
Cutting
)
(
instance
?ANIMAL
Animal
)
(
patient
?SUBACT ?ANIMAL)
(
subProcess
?SUBACT ?ACT))))
Merge.kif 12259-12268
工程
は
手術
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
切断
の
instance
では %n
エンティティー
は
動物
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?APR
AirPhotographicReconnaissance
)
(
agent
?APR ?AGENT)
(
patient
?APR ?HOSTILE))
(
exists
(?PHOTOGRAPHING)
(
and
(
instance
?PHOTOGRAPHING
Photographing
)
(
subProcess
?PHOTOGRAPHING ?APR)
(
agent
?PHOTOGRAPHING ?AGENT)
(
patient
?PHOTOGRAPHING ?HOSTILE))))
MilitaryProcesses.kif 753-763
工程
は
AirPhotographicReconnaissance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
Photographing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?AR
ArmedReconnaissance
)
(
agent
?AR ?AGENT)
(
patient
?AR ?HOSTILE)
(
holdsDuring
(
WhenFn
?AR)
(
enemy
?AGENT ?HOSTILE)))
(
confersRight
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))) ?AR ?AGENT))
MilitaryProcesses.kif 89-103
工程
は
ArmedReconnaissance
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
enemy
認識エージェント
and
エンティティー
は
工程
の
time
の existence の
during
holds %n{ない}
工程
は
認識エージェント
が
エンティティー
エンティティー
は
Attack
の
instance
では %n
認識エージェント
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
occupiesPosition
?PERSON
Leader
(
GovernmentFn
?AREA)))
(
exists
(?LEADING)
(
and
(
instance
?LEADING
Guiding
)
(
patient
?LEADING ?AREA)
(
agent
?LEADING ?PERSON))))
Government.kif 2309-2317
地政学的地域
は
地政学的地域
の
instance
では %n
人[人間]
は
地政学的地域
の
government
の
Leader
の
position
を holds %n{ない}
工程
工程
は
案内
の
instance
では %n
地政学的地域
は
工程
の
patient
では %n
人[人間]
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AS
ArtSchool
)
(
instance
?P
EducationalProcess
)
(
eventLocated
?P ?AS))
(
exists
(?M ?ART)
(
and
(
instance
?M
Making
)
(
patient
?M ?ART)
(
instance
?ART
ArtWork
)
(
refers
?P ?M))))
Mid-level-ontology.kif 16766-16776
オブジェクト
は
ArtSchool
の
instance
では %n
工程
は
教育過程
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
エンティティー
工程
は
作る
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
芸術作品
の
instance
では %n
工程
は
工程
への
reference
を includes %n{ない}
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?USER
AutonomousAgent
)
(
instance
?OBJ
Object
)
(
agent
?ATC ?USER)
(
patient
?ATC ?OBJ))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 1312-1324
工程
は
AddToCart
の
instance
では %n
認識エージェント
は
AutonomousAgent
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
認識エージェント
が
エンティティー
エンティティー
は
購買
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
認識エージェント
は
エンティティー
の
agent
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?OBJ))
(
hasPurposeForAgent
?ATTACK
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ))) ?AGENT))
Merge.kif 13409-13418
工程
は
Attack
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
AutonomousAgent
の 目的
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n %n{ない}
(=>
(
and
(
instance
?AWARD
LegalAward
)
(
refers
?AWARD ?ACTION)
(
instance
?ACTION
LegalAction
)
(
agent
?ACTION ?PLAINTIFF))
(
confersRight
(
exists
(?GET ?OBJ ?VALUE)
(
and
(
instance
?GET
Getting
)
(
experiencer
?GET ?PLAINTIFF)
(
patient
?GET ?OBJ)
(
monetaryValue
?OBJ ?VALUE))) ?AWARD ?PLAINTIFF))
Mid-level-ontology.kif 16200-16212
エンティティー
は
LegalAward
の
instance
では %n
エンティティー
は
工程
への
reference
を includes %n{ない}
工程
は
訴訟
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
エンティティー
は
認識エージェント
が
エンティティー
エンティティー
and
エンティティー
エンティティー
は
取得
の
instance
では %n
認識エージェント
が
エンティティー
を
experience
s %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
の
value
は
エンティティー
では %n のタスクを実行することはを
allow
s %n{ない}
(=>
(
and
(
instance
?Account
FinancialAccount
)
(
accountAt
?Account ?Bank))
(
exists
(?Activity)
(
and
(
instance
?Activity
ControllingAnAccount
)
(
patient
?Activity ?Account)
(
agent
?Activity ?Bank))))
FinancialOntology.kif 76-84
FinancialAccount
は
FinancialAccount
の
instance
では %n
accountAt
FinancialAccount
and
FinancialOrganization
工程
工程
は
ControllingAnAccount
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
FinancialOrganization
は
工程
の
agent
では %n
(=>
(
and
(
instance
?B
Bleeding
)
(
experiencer
?B ?H))
(
exists
(?VA ?D)
(
and
(
or
(
instance
?VA
Vein
)
(
instance
?VA
Artery
))
(
part
?VA ?H)
(
instance
?D
Damaging
)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
patient
?D ?VA))))
Medicine.kif 80-94
工程
は
Bleeding
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
オブジェクト
工程
オブジェクト
は
Vein
の
instance
では %n
オブジェクト
は
Artery
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
損害を与える
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?B
Object
)
(
roastedToTemperature
?B ?T))
(
exists
(?H)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
holdsDuring
(
EndFn
(
WhenFn
?H))
(
measure
?B
(
MeasureFn
?T
CelsiusDegree
))))))
Food.kif 468-478
Food
は
オブジェクト
の
instance
では %n
roastedToTemperature
Food
and
実数
工程
工程
は
加熱
の
instance
では %n
Food
は
工程
の
patient
では %n
Food
の
measure
は
実数
の
CelsiusDegree
(s) では %n は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
VehicleBrake
)
(
instance
?V
Vehicle
)
(
part
?B ?V))
(
hasPurpose
?B
(
exists
(?S)
(
and
(
instance
?S
(
StopFn
Motion
))
(
patient
?S ?V)
(
instrument
?S ?B)))))
Mid-level-ontology.kif 3416-3426
オブジェクト
は
VehicleBrake
の
instance
では %n
オブジェクト
は
Vehicle
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
は
StopFn
motion
の
instance
では %n
オブジェクト
は
エンティティー
の
patient
では %n
オブジェクト
は
エンティティー
の
instrument
では %n の 目的 %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