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 16227-16239
エンティティー
は
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 18706-18722
移動
は
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 21828-21847
工程
は
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 17413-17424
工程
は
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 17454-17466
工程
は
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 6509-6517
工程
は
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 11777-11788
工程
は
借り
の
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 11941-11945
工程
は
購買
の
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 11951-11962
工程
は
購買
の
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 8414-8427
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 29690-29704
時間間隔
は
Confirming
の
instance
では %n
Agreement
は
時間間隔
の
agent
では %n
時間間隔
は
命題
の情報を
contain
s %n{ない}
時間間隔
ContentBearingPhysical
and
Agreement
時間間隔
は
記載
の
instance
では %n
時間間隔
は
時間間隔
より
earlier
happens %n{ない}
ContentBearingPhysical
は
ReachingAgreement
の
instance
では %n
Agreement
は
時間間隔
の
agent
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
時間間隔
は
命題
の情報を
contain
s %n{ない}
partyToAgreement
ContentBearingPhysical
and
Agreement
partyToAgreement
ContentBearingPhysical
and
Agreement
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
exists
(?ARM)
(
and
(
instance
?ARM
Arm
)
(
part
?ARM ?A)
(
instrument
?C ?ARM))))
Mid-level-ontology.kif 4384-4392
工程
は
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 4394-4398
工程
は
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 14649-14655
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 17139-17144
工程
は
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 21539-21544
工程
は
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