desires
(=>
(
holdsDuring
?T1
(
and
(
member
?AGENT1
Public
)
(
member
?AGENT2
Public
)
(
not
(
equal
?AGENT1 ?AGENT2))))
(
exists
(?INTEREST)
(
holdsDuring
?T1
(
and
(
desires
?AGENT1 ?INTEREST)
(
desires
?AGENT2 ?INTEREST)))))
Mid-level-ontology.kif 26080-26091
持有期間
TimePosition
and
會員
entity
and
上市
會員
entity
and
上市
等於
entity
and
entity
entity
持有期間
TimePosition
and
慾望
entity
and
entity
慾望
entity
and
entity
(=>
(
hopes
?AGENT ?FORMULA)
(
desires
?AGENT ?FORMULA))
Mid-level-ontology.kif 7404-7406
CognitiveAgent
hopes
Formula
成為現實
慾望
CognitiveAgent
and
Formula
(=>
(
inhibits
?A ?P)
(
desires
?A
(
not
(
exists
(?I)
(
instance
?I ?P)))))
Mid-level-ontology.kif 18371-18376
抑制
CognitiveAgent
and
Process
慾望
CognitiveAgent
and
entity
例
entity
and
Process
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
desires
?H
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW))))))))
Merge.kif 15854-15865
例
Physical
and
ArtWork
有目的
Physical
and
entity
例
entity
and
Human
慾望
entity
and
entity
例
entity
and
Perception
體驗者
entity
and
entity
患者
entity
and
Physical
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
例
內容承載物理
and
BusinessRequirementDocument
Proposition
CognitiveAgent
and
Formula
例
Proposition
and
Plan
例
CognitiveAgent
and
Business
例
Formula
and
Process
代表
Proposition
and
Formula
慾望
CognitiveAgent
and
Formula
包含信息
內容承載物理
and
Proposition
(=>
(
instance
?P
Phishing
)
(
exists
(?FS ?V ?M ?I)
(
and
(
instance
?M
Communication
)
(
origin
?M ?FS)
(
agent
?P ?FS)
(
destination
?M ?V)
(
instance
?I
Formula
)
(
knows
?V ?I)
(
not
(
desires
?V
(
knows
?FS ?I)))
(
desires
?FS
(
knows
?FS ?I)))))
ComputingBrands.kif 4235-4249
例
Process
and
Phishing
CognitiveAgent
CognitiveAgent
,
Process
and
Formula
例
Process
and
Communication
起源
Process
and
CognitiveAgent
agent
Process
and
CognitiveAgent
目的地
Process
and
CognitiveAgent
例
Formula
and
Formula
知道
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
知道
CognitiveAgent
and
Formula
(=>
(
instance
?P
Prompting
)
(
exists
(?H ?A)
(
and
(
destination
?P ?H)
(
agent
?P ?A)
(
desires
?A
(
exists
(?LC)
(
and
(
instance
?LC
LinguisticCommunication
)
(
agent
?LC ?H)
(
earlier
?P ?LC)
(
subsumesContentInstance
?LC ?P)))))))
Mid-level-ontology.kif 29710-29722
例
Process
and
Prompting
Entity
CognitiveAgent
目的地
Process
and
Entity
agent
Process
and
CognitiveAgent
慾望
CognitiveAgent
and
entity
例
entity
and
語言交流
agent
entity
and
Entity
早期
Process
and
entity
包含內容實例
entity
and
Process
(=>
(
instance
?S
Sieve
)
(
hasPurpose
?S
(
exists
(?REMOVE ?MIX ?SUB ?HOLE ?A)
(
and
(
instance
?REMOVE
Removing
)
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
part
?SUB ?MIX)
(
patient
?REMOVE ?SUB)
(
part
?HOLE ?S)
(
instrument
?REMOVE ?HOLE)
(
instance
?A
Human
)
(
agent
?REMOVE ?A)
(
not
(
desires
?A ?SUB))))))
Mid-level-ontology.kif 4528-4543
例
Physical
and
筲箕
有目的
Physical
and
entity
entity
,
Physical
UB,
entity
and
entity
例
entity
and
Removing
例
entity
and
Mixture
例
Physical
UB and
Substance
部分
Physical
UB and
entity
患者
entity
and
Physical
UB
部分
entity
and
Physical
儀器
entity
and
entity
例
entity
and
Human
agent
entity
and
entity
慾望
entity
and
Physical
UB
(=>
(
instance
?X
(
AbortedFn
?A ?P))
(
exists
(?T)
(
and
(
holdsDuring
?T
(
desires
?A
(
exists
(?PR)
(
and
(
instance
?PR ?P)
(
agent
?PR ?A)))))
(
earlier
?T
(
WhenFn
?X)))))
MilitaryProcesses.kif 2417-2428
例
Physical
and 由
Process
中止的
AutonomousAgent
TimeInterval
持有期間
TimeInterval
and
慾望
AutonomousAgent
and
Process
R
例
Process
R and
Process
agent
Process
R and
AutonomousAgent
早期
TimeInterval
and
何時
Physical
(=>
(
plays
?G ?A)
(
desires
?A
(
and
(
instance
?S
Score
)
(
subProcess
?S ?G)
(
agent
?S ?A))))
ComputingBrands.kif 1710-1716
CognitiveAgent
扮演
Game
慾望
CognitiveAgent
and
例
entity
and
得分
子過程
entity
and
Game
agent
entity
and
CognitiveAgent
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
CognitiveAgent
扮演
Game
慾望
CognitiveAgent
and
entity
CognitiveAgent
已在
Game
完成
entity
(=>
(
prohibits
?A ?F)
(
desires
?A
(
not
?F)))
Law.kif 55-58
prohibits
CognitiveAgent
and
Formula
慾望
CognitiveAgent
and
Formula
(=>
(
shortage
?A ?O ?C ?T ?Q)
(
desires
?A
(
exists
(?I)
(
and
(
instance
?I ?O)
(
possesses
?A ?I)))))
Mid-level-ontology.kif 30890-30896
shortage
CognitiveAgent
,
Object
,
CurrencyMeasure
,
TimeInterval
and
Quantity
慾望
CognitiveAgent
and
entity
例
entity
and
Object
擁有
CognitiveAgent
and
entity
(=>
(
webSeller
?SELLER ?SITE)
(
desires
?SELLER
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)))))
UXExperimentalTerms.kif 967-973
Human
是
seller
在
WebSite
慾望
Human
and
entity
例
entity
and
Selling
agent
entity
and
Human
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