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
例
Process
and
AngryVoiceUtterance
agent
Process
and
AutonomousAgent
模態屬性
例
Process
and
AngryVoiceUtterance
agent
Process
and
AutonomousAgent
是
AutonomousAgent
NG
例
AutonomousAgent
NG and
憤怒
體驗者
AutonomousAgent
NG and
AutonomousAgent
的
causes
提議 and
容易
(=>
(
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
例
Entity
and
法律獎勵
參照
Entity
and
Process
例
Process
and
LegalAction
agent
Process
and
CognitiveAgent
賦予權利
entity
entity
and
entity
例
entity
and
Getting
體驗者
entity
and
CognitiveAgent
患者
entity
and
entity
貨幣價值
entity
and
entity
,
Entity
and
CognitiveAgent
(=>
(
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
例
Transfer
and
遺贈
agent
Transfer
and
AutonomousAgent
目的地
Transfer
and
Entity
objectTransferred
Transfer
and
AutonomousAgent
ROP
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Transfer
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
AutonomousAgent
ROP
AutonomousAgent
confers
規範
擁有
Entity
and
AutonomousAgent
ROP 對於
允許
(=>
(
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
例
Process
and
封鎖
例
Contest
and
Contest
子過程
Process
and
Contest
AutonomousAgent
participates
在
Contest
agent
Process
and
AutonomousAgent
Contest
1
CognitiveAgent
防止
Contest
1 and
易位
例
Process
and
Contest
1
CognitiveAgent
participates
在
Contest
等於
AutonomousAgent
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
Contest
1
agent
entity
and
AutonomousAgent
子過程
entity
and
Contest
(=>
(
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
例
Process
and
登機
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
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
例
Process
and
deboarding
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
開始
何時
Process
and
AutonomousAgent
是
onboard
Entity
持有期間
結束
何時
Process
and
AutonomousAgent
是
onboard
Entity
(=>
(
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
例
Process
and
健美運動
agent
Process
and
AutonomousAgent
Process
例
Process
and
Weightlifting
agent
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
(=>
(
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
and
Bidding
例
Object
and
Physical
例
CurrencyMeasure
and
CurrencyMeasure
例
AutonomousAgent
and
AutonomousAgent
Bidding
是個
bid
對於
Object
CurrencyMeasure
是
Bidding
的
bid
agent
Bidding
and
AutonomousAgent
AutonomousAgent
bids
CurrencyMeasure
對於
Object
(=>
(
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
例
Process
and
尖刻
agent
Process
and
AutonomousAgent
Object
例
Object
and
口
部分
Object
and
AutonomousAgent
儀器
Process
and
Object
(=>
(
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
例
Process
and
Borrowing
agent
Process
and
AutonomousAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Lending
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
and
(
instance
?BUY
Buying
)
(
agent
?BUY ?AGENT))
(
destination
?BUY ?AGENT))
Merge.kif 11917-11921
例
Process
and
Buying
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
(=>
(
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
例
Process
and
Buying
agent
Process
and
AutonomousAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Selling
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
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
例
Process
and
CateringService
agent
Process
and
AutonomousAgent
目的地
Process
and
Process
UST
位於
AutonomousAgent
and
Object
AutonomousAgent
是
Process
UST 的
customer
Process
Entity
and
Process
例
Process
and
Cooking
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
患者
Process
and
Entity
例
Process
and
Eating
agent
Process
and
Process
UST
Process
是
located
在
Object
等於
Object
and
Object
(=>
(
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
and
騎兵部隊
例
TimeInterval
and
Battle
agent
TimeInterval
and
AutonomousAgent
AutonomousAgent
Entity
and
TimeInterval
attribute
AutonomousAgent
and
士兵
會員
AutonomousAgent
and
AutonomousAgent
例
TimeInterval
and
Transportation
agent
TimeInterval
and
AutonomousAgent
例
Entity
and
車輛
患者
TimeInterval
and
Entity
期間
TimeInterval
and
TimeInterval
(=>
(
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
例
Process
and
CheckingVitals
agent
Process
and
CognitiveAgent
患者
Process
and
Object
例
心
and
心
部分
心
and
Object
例
肺
and
肺
部分
肺
and
Object
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
知道
CognitiveAgent
and
持有期間
何時
Process
and
systolicBloodPressure
Object
and
entity
diastolicBloodPressure
Object
and
entity
測量
Object
and
測量
entity
and
華氏度
heartRate
心
,
何時
Process
and
Integer
breathingRate
肺
,
何時
Process
and
Integer
(=>
(
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
例
電腦程序
and
ComputerBackingUp
數字數據
是由
電腦程序
processed
例
數字數據
and
數字數據
agent
電腦程序
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
早期
何時
電腦程序
and
entity
持有期間
entity
and
entity
例
entity
and
電腦程序
能力
entity
,
數據已處理
and
數字數據
(=>
(
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
例
TimeInterval
and
Confirming
agent
TimeInterval
and
協議
包含信息
TimeInterval
and
Proposition
TimeInterval
內容承載物理
and
協議
2
例
TimeInterval
and
Stating
早期
TimeInterval
and
TimeInterval
例
內容承載物理
and
ReachingAgreement
agent
TimeInterval
and
協議
2
包含信息
內容承載物理
and
Proposition
包含信息
TimeInterval
and
Proposition
協議
是
內容承載物理
的
party
協議
協議
2 是
內容承載物理
的
party
協議
(=>
(
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
例
Process
and
Crawling
agent
Process
and
AutonomousAgent
AutonomousAgent
RM
例
AutonomousAgent
RM and
臂
部分
AutonomousAgent
RM and
AutonomousAgent
儀器
Process
and
AutonomousAgent
RM
(=>
(
and
(
instance
?C
Crawling
)
(
agent
?C ?A))
(
instance
?A
Biped
))
Mid-level-ontology.kif 4401-4405
例
Process
and
Crawling
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Biped
(=>
(
and
(
instance
?C
InPersonCommunication
)
(
agent
?C ?A1)
(
agent
?C ?A2)
(
not
(
equal
?A1 ?A2)))
(
holdsDuring
?C
(
orientation
?A1 ?A2
Near
)))
Media.kif 224-231
例
Process
and
InPersonCommunication
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
等於
AutonomousAgent
and
AutonomousAgent
持有期間
Process
and
方位
AutonomousAgent
,
AutonomousAgent
and
近
(=>
(
and
(
instance
?CARNIVORE
Carnivore
)
(
instance
?EAT
Eating
)
(
agent
?EAT ?CARNIVORE)
(
patient
?EAT ?PREY))
(
instance
?PREY
Animal
))
Merge.kif 14625-14631
例
AutonomousAgent
and
Carnivore
例
Process
and
Eating
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Animal
(=>
(
and
(
instance
?CATCH
Catching
)
(
agent
?CATCH ?AGENT)
(
patient
?CATCH ?BALL))
(
holdsDuring
(
EndFn
(
WhenFn
?CATCH))
(
grasps
?AGENT ?BALL)))
Mid-level-ontology.kif 17111-17116
例
Process
and
捕
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
持有期間
結束
何時
Process
and
掌握
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?CLOSE
ClosingContract
)
(
agent
?CLOSE ?AGENT)
(
destination
?CLOSE ?CONTRACT))
(
partyToAgreement
?CONTRACT ?AGENT))
Mid-level-ontology.kif 21511-21516
例
Process
and
契約終止
agent
Process
and
協議
目的地
Process
and
CognitiveAgent
協議
是
CognitiveAgent
的
party
協議
(=>
(
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
例
Process
and
反擴散
agent
Process
and
AutonomousAgent
AutonomousAgent
Process
enemy
AutonomousAgent
and
AutonomousAgent
agent
Process
and
AutonomousAgent
例
Process
and
增殖作用
有目的
Process
and
防止
Process
and
增殖作用
(=>
(
and
(
instance
?COMM
LinguisticCommunication
)
(
agent
?COMM ?AGENT)
(
patient
?COMM ?SENTENCE)
(
instance
?SENTENCE
Sentence
))
(
holdsDuring
(
WhenFn
?COMM)
(
states
?AGENT ?SENTENCE)))
Media.kif 1836-1842
例
Process
and
語言交流
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
例
Entity
and
Sentence
持有期間
何時
Process
and
AutonomousAgent
states
Entity
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