agent
(=>
(
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
?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 16199-16211
エンティティー
は
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
?B
Bequeathing
)
(
agent
?B ?P)
(
destination
?B ?H)
(
objectTransferred
?B ?PROP))
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
earlier
(
WhenFn
?D)
(
WhenFn
?B))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
possesses
?P ?PROP))
(
confersNorm
?P
(
possesses
?H ?PROP)
Permission
))))
Mid-level-ontology.kif 18678-18694
移動
は
Bequeathing
の
instance
では %n
AutonomousAgent
は
移動
の
agent
では %n
移動
は
エンティティー
に
end
s %n{ない}
objectTransferred
移動
and
AutonomousAgent
ROP
工程
工程
は
死
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
移動
の
time
の existence より
earlier
happens %n{ない}
AutonomousAgent
は
AutonomousAgent
ROP を
possess
es %n{ない} は
工程
の
time
の existence の immediately
before
の
during
holds %n{ない}
confersNorm
AutonomousAgent
,
エンティティー
は
AutonomousAgent
ROP を
possess
es %n{ない} and
Permission
(=>
(
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 21775-21794
工程
は
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
?B
Boarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
onboard
?A ?V))))
Mid-level-ontology.kif 17385-17396
工程
は
Boarding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?B
Deboarding
)
(
agent
?B ?A)
(
patient
?B ?V))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?B))
(
onboard
?A ?V))
(
holdsDuring
(
EndFn
(
WhenFn
?B))
(
not
(
onboard
?A ?V)))))
Mid-level-ontology.kif 17426-17438
工程
は
Deboarding
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
onboard
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
end
の
during
holds %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
?BIDDING
Bidding
)
(
instance
?OBJECT
Physical
)
(
instance
?AMOUNT
CurrencyMeasure
)
(
instance
?AGENT ?AGENT)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))
(
bidPrice
?OBJECT ?AMOUNT ?AGENT))
UXExperimentalTerms.kif 1416-1425
Bidding
は
Bidding
の
instance
では %n
オブジェクト
は
物理
の
instance
では %n
通貨測定
は
通貨測定
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
objectOfBid
Bidding
and
オブジェクト
amountOfBid
Bidding
and
通貨測定
AutonomousAgent
は
Bidding
の
agent
では %n
bidPrice
オブジェクト
,
通貨測定
and
AutonomousAgent
(=>
(
and
(
instance
?BITE
Biting
)
(
agent
?BITE ?ANIMAL))
(
exists
(?MOUTH)
(
and
(
instance
?MOUTH
Mouth
)
(
part
?MOUTH ?ANIMAL)
(
instrument
?BITE ?MOUTH))))
Mid-level-ontology.kif 6514-6522
工程
は
Biting
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
オブジェクト
は
Mouth
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
工程
の
instrument
では %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 11753-11764
工程
は
借り
の
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 11917-11921
工程
は
購買
の
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 11927-11938
工程
は
購買
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
工程
工程
は
販売
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?C
CateringService
)
(
agent
?C ?AGENT)
(
destination
?C ?CUST)
(
located
?AGENT ?LOC1)
(
customer
?CUST ?AGENT)
(
exists
(?S ?FOOD ?E)
(
and
(
instance
?S
Cooking
)
(
agent
?S ?AGENT)
(
result
?S ?FOOD)
(
patient
?C ?FOOD)
(
instance
?E
Eating
)
(
agent
?E ?CUST)
(
eventLocated
?E ?LOC2))))
(
not
(
equal
?LOC1 ?LOC2)))
Dining.kif 586-602
工程
は
CateringService
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
UST に
end
s %n{ない}
AutonomousAgent
は
オブジェクト
に
located
して %n
customer
工程
UST and
AutonomousAgent
工程
エンティティー
and
工程
工程
は
料理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
result
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
摂食
の
instance
では %n
工程
UST は
工程
の
agent
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
は
オブジェクト
と
equal
では
(=>
(
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 8386-8399
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
CheckingVitals
)
(
agent
?C ?A)
(
patient
?C ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?L
Lung
)
(
part
?L ?P)
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))
(
knows
?A
(
and
(
holdsDuring
(
WhenFn
?C)
(
and
(
systolicBloodPressure
?P ?SYS)
(
diastolicBloodPressure
?P ?DIA)
(
measure
?P
(
MeasureFn
?T
FahrenheitDegree
))))
(
heartRate
?H
(
WhenFn
?C) ?I)
(
breathingRate
?L
(
WhenFn
?C) ?R))))
Medicine.kif 6505-6529
工程
は
CheckingVitals
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
Heart
は
Heart
の
instance
では %n
Heart
は
オブジェクト
の
part
では %n
Lung
は
Lung
の
instance
では %n
Lung
は
オブジェクト
の
part
では %n
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
認識エージェント
は
systolicBloodPressure
オブジェクト
and
エンティティー
diastolicBloodPressure
オブジェクト
and
エンティティー
オブジェクト
の
measure
は
エンティティー
の
FahrenheitDegree
(s) では %n は
工程
の
time
の existence の
during
holds %n{ない}
heartRate
Heart
,
工程
の
time
の existence and
整数
breathingRate
Lung
,
工程
の
time
の existence and
整数
を
know
s %n{ない}
(=>
(
and
(
instance
?C
ComputerBackingUp
)
(
dataProcessed
?C ?DD)
(
instance
?DD
DigitalData
)
(
agent
?C ?A))
(
desires
?A
(
exists
(?T)
(
and
(
earlier
(
WhenFn
?C) ?T)
(
holdsDuring
(?T)
(
exists
(?PROC)
(
and
(
instance
?PROC
ComputerProcess
)
(
capability
?PROC
dataProcessed
?DD))))))))
ComputingBrands.kif 3496-3510
ComputerProcess
は
ComputerBackingUp
の
instance
では %n
dataProcessed
ComputerProcess
and
DigitalData
DigitalData
は
DigitalData
の
instance
では %n
認識エージェント
は
ComputerProcess
の
agent
では %n
認識エージェント
が
エンティティー
ComputerProcess
の
time
の existence は
エンティティー
より
earlier
happens %n{ない}
エンティティー
エンティティー
は
ComputerProcess
の
instance
では %n
DigitalData
は
エンティティー
を
dataProcessed
として行う
capable
では %n は
エンティティー
の
during
holds %n{ない} を
desire
s %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 29627-29641
時間間隔
は
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
Crawling
)
(
agent
?C ?A))
(
exists
(?ARM)
(
and
(
instance
?ARM
Arm
)
(
part
?ARM ?A)
(
instrument
?C ?ARM))))
Mid-level-ontology.kif 4391-4399
工程
は
Crawling
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
RM
AutonomousAgent
RM は
Arm
の
instance
では %n
AutonomousAgent
RM は
AutonomousAgent
の
part
では %n
AutonomousAgent
RM は
工程
の
instrument
では %n
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
instance
?A
Biped
))
Mid-level-ontology.kif 4401-4405
工程
は
Crawling
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
Biped
の
instance
では %n
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
工程
は
InPersonCommunication
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
AutonomousAgent
と
equal
では
AutonomousAgent
は
Near
対
AutonomousAgent
では %n は
工程
の
during
holds %n{ない}
(=>
(
and
(
instance
?CARNIVORE
Carnivore
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?CARNIVORE)
(
patient
?EAT ?PREY))
(
instance
?PREY
Animal
))
Merge.kif 14625-14631
AutonomousAgent
は
肉食動物
の
instance
では %n
工程
は
摂食
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
動物
の
instance
では %n
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17111-17116
工程
は
Catching
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
エンティティー
を
grasp
s %n{ない} は
工程
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21511-21516
工程
は
ClosingContract
の
instance
では %n
Agreement
は
工程
の
agent
では %n
工程
は
認識エージェント
に
end
s %n{ない}
partyToAgreement
認識エージェント
and
Agreement
(=>
(
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
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
holdsDuring
(
WhenFn
?COMM)
(
states
?AGENT ?SENTENCE)))
Media.kif 1836-1842
工程
は
LinguisticCommunication
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
文
の
instance
では %n
states
AutonomousAgent
and
エンティティー
は
工程
の
time
の existence の
during
holds %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