agent
(=>
(
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
?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
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
工程
は
AngryVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
ステートメント
causesProposition
AutonomousAgent
NG
AutonomousAgent
NG は
Anger
の
instance
では %n
AutonomousAgent
が
AutonomousAgent
NG を
experience
s %n{ない} and
工程
は
AngryVoiceUtterance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n には
Likely
の
modal
force
が ある
(=>
(
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
)
(
instance
?D
Death
)
(
instance
?H
Human
)
(
instance
?P
Human
)
(
experiencer
?B ?P)
(
orientation
?H ?P
Near
)
(
modalAttribute
(
causes
?B ?D)
Likely
))
(
holdsObligation
?H
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
agent
?A ?H)
(
destination
?A ?P)))))
Medicine.kif 44-59
工程
は
Bleeding
の
instance
では %n
エンティティー
は
死
の
instance
では %n
公式
は
人[人間]
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
公式
は
Near
対
AutonomousAgent
では %n ステートメント
工程
は
エンティティー
を
cause
s %n{ない} には
Likely
の
modal
force
が ある
エンティティー
エンティティー
は
取付け
の
instance
では %n
公式
は
エンティティー
の
agent
では %n
エンティティー
は
AutonomousAgent
に
end
s %n{ない} はタイプ
公式
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?B
Blockade
)
(
instance
?C
Contest
)
(
subProcess
?B ?C)
(
contestParticipant
?C ?A1)
(
agent
?B ?A1))
(
exists
(?C1 ?A2)
(
and
(
prevents
?C1
Translocation
)
(
instance
?B ?C1)
(
contestParticipant
?C ?A2)
(
not
(
equal
?A1 ?A2))
(
desires
?A2
(
exists
(?I)
(
and
(
instance
?I ?C1)
(
agent
?I ?A1)
(
subProcess
?I ?C)))))))
Mid-level-ontology.kif 21776-21795
工程
は
Blockade
の
instance
では %n
コンテスト
は
コンテスト
の
instance
では %n
工程
は
コンテスト
% の
subprocess
では %n
contestParticipant
コンテスト
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
コンテスト
1
認識エージェント
コンテスト
1 は
Translocation
の出来事を
prevent
s %n{ない}
工程
は
コンテスト
1 の
instance
では %n
contestParticipant
コンテスト
and
認識エージェント
AutonomousAgent
は
認識エージェント
と
equal
では
認識エージェント
が
エンティティー
エンティティー
は
コンテスト
1 の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
エンティティー
は
コンテスト
% の
subprocess
では %n を
desire
s %n{ない}
(=>
(
and
(
instance
?BB
Bodybuilding
)
(
agent
?BB ?H))
(
exists
(?W)
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H)
(
earlier
(
WhenFn
?W)
(
WhenFn
?BB)))))
Sports.kif 778-788
工程
は
Bodybuilding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Weightlifting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
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 ?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
CallableBond
)
(
issuedBy
?Bond ?Agent))
(
capability
Call
agent
?Agent))
FinancialOntology.kif 2477-2481
証明書
は
CallableBond
の
instance
では %n
issuedBy
証明書
and
認識エージェント
認識エージェント
は
Call
を
agent
として行う
capable
では %n
(=>
(
and
(
instance
?C
CavalryUnit
)
(
instance
?B
Battle
)
(
agent
?B ?C))
(
exists
(?P ?V ?T)
(
and
(
attribute
?P
Soldier
)
(
member
?P ?C)
(
instance
?T
Transportation
)
(
agent
?T ?P)
(
instance
?V
Vehicle
)
(
patient
?T ?V)
(
during
?T ?B))))
Mid-level-ontology.kif 8387-8400
AutonomousAgent
は
CavalryUnit
の
instance
では %n
時間間隔
は
戦い
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
AutonomousAgent
エンティティー
and
時間間隔
Soldier
は
AutonomousAgent
の
attribute
では %n
AutonomousAgent
は
AutonomousAgent
の
member
では %n
時間間隔
は
交通手段
の
instance
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
エンティティー
は
Vehicle
の
instance
では %n
エンティティー
は
時間間隔
の
patient
では %n
時間間隔
は
時間間隔
の
during
に takes %n{ない}
(=>
(
and
(
instance
?C
Confirming
)
(
agent
?C ?A)
(
containsInformation
?C ?P))
(
exists
(?S ?RA ?A2)
(
and
(
instance
?S
Stating
)
(
earlier
?S ?C)
(
instance
?RA
ReachingAgreement
)
(
agent
?S ?A2)
(
containsInformation
?RA ?P)
(
containsInformation
?S ?P)
(
partyToAgreement
?RA ?A)
(
partyToAgreement
?RA ?A2))))
Mid-level-ontology.kif 29639-29653
時間間隔
は
Confirming
の
instance
では %n
Agreement
は
時間間隔
の
agent
では %n
時間間隔
は
命題
の情報を
contain
s %n{ない}
時間間隔
ContentBearingPhysical
and
Agreement
2
時間間隔
は
記載
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ContentBearingPhysical
は
ReachingAgreement
の
instance
では %n
Agreement
2 は
時間間隔
の
agent
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間間隔
は
命題
の情報を
contain
s %n{ない}
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
2
(=>
(
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
?CAB
GovernmentCabinet
)
(
subOrganization
?CAB
(
GovernmentFn
?AREA))
(
instance
?AREA
GeopoliticalArea
))
(
hasPurpose
?CAB
(
exists
(?ADVICE ?LEADER)
(
and
(
instance
?ADVICE
Stating
)
(
agent
?ADVICE ?CAB)
(
patient
?ADVICE ?LEADER)
(
leader
?LEADER
(
GovernmentFn
?AREA))))))
Government.kif 1513-1524
組織
は
GovernmentCabinet
の
instance
では %n
組織
は組織
地政学的地域
の
government
の一部では %n
地政学的地域
は
地政学的地域
の
instance
では %n
組織
は
エンティティー
エンティティー
エンティティー
は
記載
の
instance
では %n
組織
は
エンティティー
の
agent
では %n
エンティティー
は
エンティティー
の
patient
では %n
leader
エンティティー
and
地政学的地域
の
government
の 目的 %n{ない}
(=>
(
and
(
instance
?CO
CounterproliferationWMD
)
(
agent
?CO ?AGENT))
(
exists
(?ENEMY ?OP)
(
and
(
enemy
?AGENT ?ENEMY)
(
agent
?OP ?ENEMY)
(
instance
?OP
ProliferationWMD
)
(
hasPurpose
?CO
(
prevents
?CO
ProliferationWMD
)))))
MilitaryProcesses.kif 1478-1488
工程
は
CounterproliferationWMD
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
工程
enemy
AutonomousAgent
and
AutonomousAgent
AutonomousAgent
は
工程
の
agent
では %n
工程
は
ProliferationWMD
の
instance
では %n
工程
は
工程
は
ProliferationWMD
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?COMMENTING
Commenting
)
(
instance
?PROCESS
Process
)
(
patient
?COMMENTING ?PROCESS))
(
exists
(?AGENT ?SPEAKING ?LOOKING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SPEAKING
Speaking
)
(
instance
?LOOKING
Looking
)
(
agent
?SPEAKING ?AGENT)
(
agent
?LOOKING ?AGENT)
(
patient
?LOOKING ?PROCESS)
(
refers
?SPEAKING ?PROCESS))))
Mid-level-ontology.kif 15887-15900
工程
は
Commenting
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
工程
and
工程
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
Speaking
の
instance
では %n
工程
は
Looking
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
エンティティー
への
reference
を includes %n{ない}
(=>
(
and
(
instance
?Card
DebitCard
)
(
possesses
?Agent ?Card)
(
instance
?Transaction
FinancialTransaction
)
(
instrument
?Transaction ?Card))
(
exists
(?PIN ?Enter)
(
and
(
pin
?PIN ?Card)
(
instance
?Enter
EnteringAPin
)
(
patient
?Enter ?PIN)
(
agent
?Enter ?Agent))))
FinancialOntology.kif 3543-3554
BankCard
は
DebitCard
の
instance
では %n
AutonomousAgent
は
BankCard
を
possess
es %n{ない}
工程
は
金融取引
の
instance
では %n
BankCard
は
工程
の
instrument
では %n
記号文字列
工程
pin
記号文字列
and
BankCard
工程
は
EnteringAPin
の
instance
では %n
記号文字列
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?Controlling
ControllingAnAccount
)
(
patient
?Controlling ?Account)
(
accountAt
?Account ?Bank))
(
agent
?Controlling ?Bank))
FinancialOntology.kif 356-361
工程
は
ControllingAnAccount
の
instance
では %n
FinancialAccount
は
工程
の
patient
では %n
accountAt
FinancialAccount
and
FinancialOrganization
FinancialOrganization
は
工程
の
agent
では %n
(=>
(
and
(
instance
?D
DeliveryService
)
(
agent
?D ?AGENT))
(
capability
DeliveryService
agent
?AGENT))
Dining.kif 532-536
工程
は
DeliveryService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
DeliveryService
を
agent
として行う
capable
では %n
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
工程
は
Deciding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
セット
の
instance
では %n
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
ContentBearingPhysical
の
instance
では %n
containsFormula
ContentBearingPhysical
and
エンティティー
エンティティー
は
エンティティー
の
element
%n
エンティティー
は
意図的なプロセス
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n は
工程
の
time
の existence の
after
の
during
holds %n{ない}
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
工程
は
Deciding
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
セット
は
セット
の
instance
では %n
セット
は
工程
の
patient
では %n
エンティティー
は
セット
の
element
%n
認識エージェント
は
エンティティー
エンティティー
は
エンティティー
の
instance
では %n
エンティティー
は
意図的なプロセス
の
subclass
では %n
認識エージェント
は
エンティティー
を
agent
として行う
capable
では %n を
believe
s %n{ない}
(=>
(
and
(
instance
?DIGEST
Digesting
)
(
agent
?DIGEST ?ORGANISM))
(
exists
(?INGEST)
(
and
(
instance
?INGEST
Ingesting
)
(
agent
?INGEST ?ORGANISM)
(
overlapsTemporally
(
WhenFn
?INGEST)
(
WhenFn
?DIGEST)))))
Merge.kif 10289-10297
工程
は
Digesting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
摂取
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence と
overlap
s %n{dない}
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16690-16702
工程
は
入学
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
College
の
instance
では %n
工程
AutonomousAgent
工程
は
卒業
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
SecondarySchool
の
instance
では %n
工程
の
time
の existence は
工程
の
time
の existence より
earlier
happens %n{ない}
(=>
(
and
(
instance
?EBP
EmotionalBehavioralProcess
)
(
agent
?EBP ?A))
(
exists
(?APP)
(
and
(
instance
?APP
AppraisalProcess
)
(
agent
?APP ?A)
(
causes
?APP ?EBP))))
emotion.kif 119-127
工程
は
EmotionalBehavioralProcess
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
PP
AutonomousAgent
PP は
AppraisalProcess
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
PP の
agent
では %n
AutonomousAgent
PP は
工程
を
cause
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