agent
(=>
(
and
(
customer
?CUST ?AGENT)
(
employs
?AGENT ?X)
(
attribute
?AGENT
TravelerAccommodation
)
(
attribute
?X
Porter
)
(
possesses
?CUST ?LUGGAGE)
(
instance
?LUGGAGE
TravelContainer
))
(
exists
(?ROOM ?CARRY)
(
and
(
instance
?ROOM
HotelUnit
)
(
instance
?CARRY
Carrying
)
(
agent
?CARRY ?X)
(
or
(
destination
?CARRY ?ROOM)
(
origin
?CARRY ?ROOM)))))
Hotel.kif 2392-2407
customer
認識エージェント
and
AutonomousAgent
AutonomousAgent
は
認識エージェント
を
employ
s %n{ない}
TravelerAccommodation
は
AutonomousAgent
の
attribute
では %n
Porter
は
認識エージェント
の
attribute
では %n
認識エージェント
は
オブジェクト
を
possess
es %n{ない}
オブジェクト
は
TravelContainer
の
instance
では %n
オブジェクト
工程
オブジェクト
は
HotelUnit
の
instance
では %n
工程
は
Carrying
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
オブジェクト
から
originate
s %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
(
engineeringSubcomponent
?DEVICE1
Internet
)
(
engineeringSubcomponent
?DEVICE2
Internet
)
(
not
(
equal
?DEVICE1 ?DEVICE2)))
(
hasPurpose
Internet
(
exists
(?COMM)
(
and
(
instance
?COMM
Communication
)
(
agent
?COMM ?DEVICE1)
(
destination
?COMM ?DEVICE2)
(
instrument
?COMM
Internet
)))))
Hotel.kif 1347-1358
エンジニアリング部品
は
Internet
の
component
では %n
エンジニアリング部品
は
Internet
の
component
では %n
エンジニアリング部品
は
エンジニアリング部品
と
equal
では
Internet
は
エンティティー
エンティティー
は
コミュニケーション
の
instance
では %n
エンジニアリング部品
は
エンティティー
の
agent
では %n
エンティティー
は
エンジニアリング部品
に
end
s %n{ない}
Internet
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
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
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
firstTimeBuyers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
firstTimeBuyers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
firstTimeSellers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
firstTimeSellers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
より
earlier
happens %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
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
AVPUVerbalStatus
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
は
Speaking
の
instance
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
Evacuee
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
時間間隔
は
時間間隔
の
instance
では %n
工程
AutonomousAgent
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
MilitaryOrganization
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
工程
は
Apologizing
の
instance
では %n
工程
G は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
CT
suffers
工程
CT and
AutonomousAgent
工程
G は
工程
CT の
agent
では %n
工程
G は
工程
CT を
want
ない は
工程
の
time
の existence の
during
holds %n{ない}
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
Motionless
は
AutonomousAgent
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
工程
工程
は
動作
の
instance
では %n
工程
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?A
MedicalPerson
)
(
attribute
?C ?A))
(
hasPurpose
?C
(
exists
(?TP)
(
and
(
instance
?TP
TherapeuticProcess
)
(
agent
?TP ?C)))))
Medicine.kif 6338-6346
属性
は
MedicalPerson
の
instance
では %n
属性
は
オブジェクト
の
attribute
では %n
オブジェクト
は
エンティティー
エンティティー
は
治療経過
の
instance
では %n
オブジェクト
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?ELECTION
(
ElectionFn
?AGENT)))
(
agent
?ELECTION ?AGENT))
Government.kif 1700-1704
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
ElectionFn
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AGREEMENT
InternationalAgreement
)
(
instance
?COMMITTING
Committing
)
(
represents
?COMMITTING ?AGREEMENT))
(
exists
(?AGENT)
(
and
(
agent
?COMMITTING ?AGENT)
(
instance
?AGENT
Nation
))))
Geography.kif 3001-3009
エンティティー
は
InternationalAgreement
の
instance
では %n
工程
は
委託
の
instance
では %n
工程
は
エンティティー
を
express
es %n{ない}
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
国民
の
instance
では %n
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?AMBULATE ?AGENT))
(
agent
?STEP ?AGENT))
Mid-level-ontology.kif 516-522
工程
は
Ambulating
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AMBULATE
Ambulating
)
(
instance
?STEP
Stepping
)
(
subProcess
?STEP ?AMBULATE)
(
agent
?STEP ?AGENT))
(
agent
?AMBULATE ?AGENT))
Mid-level-ontology.kif 524-530
工程
は
Ambulating
の
instance
では %n
工程
は
Stepping
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?AMBUSH
Ambush
)
(
agent
?AMBUSH ?AG))
(
exists
(?C)
(
and
(
instance
?C
Concealing
)
(
subProcess
?C ?AMBUSH)
(
hasPurpose
?C
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AG)))))))
Mid-level-ontology.kif 21757-21769
工程
は
Ambush
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Concealing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
エンティティー
エンティティー
は
Attack
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n の 目的 %n{ない}
(=>
(
and
(
instance
?ANI
Animal
)
(
instance
?D
DiseaseOrSyndrome
)
(
not
(
attribute
?ANI ?D)))
(
exists
(?P ?W)
(
and
(
instance
?P
BiologicalProcess
)
(
instance
?P
Removing
)
(
origin
?P ?ANI)
(
instance
?W
Sewage
)
(
agent
?P ?ANI)
(
objectTransferred
?P ?W))))
Mid-level-ontology.kif 2162-2175
AutonomousAgent
は
動物
の
instance
では %n
属性
は
病気または症候群
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では
移動
オブジェクト
移動
は
生物学的プロセス
の
instance
では %n
移動
は
除却
の
instance
では %n
移動
は
AutonomousAgent
から
originate
s %n{ない}
オブジェクト
は
Sewage
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
objectTransferred
移動
and
オブジェクト
(=>
(
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
AmphibiousReconnaissance
)
(
agent
?AR ?AGENT))
(
exists
(?LANDING)
(
and
(
subProcess
?LANDING ?AR)
(
instance
?LANDING
LandingWaterLand
)
(
agent
?LANDING ?AGENT))))
MilitaryProcesses.kif 782-790
工程
は
AmphibiousReconnaissance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
工程
% の
subprocess
では %n
工程
は
LandingWaterLand
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %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