earlier
(=>
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?OBJ))
(
exists
(?IMPEL)
(
and
(
instance
?IMPEL
Impelling
)
(
patient
?IMPEL ?OBJ)
(
earlier
(
WhenFn
?IMPEL)
(
WhenFn
?IMPACT)))))
Merge.kif 11539-11547
例
Process
and
Impacting
患者
Process
and
Entity
Process
例
Process
and
Impelling
患者
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?IMPRISON
Imprisoning
)
(
detainee
?IMPRISON ?AGENT)
(
instance
?AGENT
Human
)
(
time
?IMPRISON ?INTERVAL)
(
instance
?INTERVAL
TimeInterval
))
(
exists
(?ARREST ?TIME)
(
and
(
instance
?TIME
TimeInterval
)
(
time
?ARREST ?TIME)
(
earlier
?TIME ?INTERVAL)
(
instance
?ARREST
PlacingUnderArrest
)
(
arrested
?ARREST ?AGENT))))
Mid-level-ontology.kif 23513-23526
例
Confining
and
監禁
Animal
是
Confining
的 拘留者
例
Animal
and
Human
時間
Confining
and
TimeInterval
例
TimeInterval
and
TimeInterval
被捕
TimeInterval
例
TimeInterval
and
TimeInterval
時間
被捕
and
TimeInterval
早期
TimeInterval
and
TimeInterval
例
被捕
and
被捕
被捕
被捕
and
Animal
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18621-18639
例
Process
and
繼承
agent
Process
and
CognitiveAgent
起源
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Death
體驗者
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
持有期間
不久的過去
何時
Process
and
擁有
AutonomousAgent
and
Entity
賦予權利
擁有
CognitiveAgent
and
Entity
,
AutonomousAgent
and
CognitiveAgent
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWBUYERS)
(
and
(
instance
?NEWBUYERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWBUYERS)
(
and
(
exists
(?BUYING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?AGENT)
(
instrument
?BUYING ?SITE)
(
during
?BUYING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?BUYING_BEFORE)
(
and
(
instance
?BUYING_BEFORE
Buying
)
(
agent
?BUYING_BEFORE ?AGENT)
(
instrument
?BUYING_BEFORE ?SITE)
(
during
?BUYING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewBuyersFn
?INTERVAL ?SITE) ?NEWBUYERS))))
UXExperimentalTerms.kif 3376-3408
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
AutonomousAgent
會員
AutonomousAgent
and
Collection
TimeInterval
例
AutonomousAgent
and
AutonomousAgent
例
TimeInterval
and
Buying
agent
TimeInterval
and
AutonomousAgent
儀器
TimeInterval
and
WebSite
期間
TimeInterval
and
TimeInterval
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
Buying
agent
TimeInterval
_BEFORE and
AutonomousAgent
儀器
TimeInterval
_BEFORE and
WebSite
期間
TimeInterval
_BEFORE and
TimeInterval
等於
new
buyers
在
WebSite
其間
TimeInterval
and
Collection
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWREGISTRATIONS)
(
and
(
instance
?NEWREGISTRATIONS
Collection
)
(
forall
(?USER)
(=>
(
and
(
instance
?USER
Human
)
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
registeredUser
?USER ?SITE)))))
(
exists
(?INTERVAL_DURING)
(
and
(
instance
?INTERVAL_DURING
TimeInterval
)
(
during
?INTERVAL_DURING ?INTERVAL)
(
holdsDuring
?INTERVAL
(
registeredUser
?USER ?SITE)))))
(
member
?USER ?NEWREGISTRATIONS)))
(
equal
?NEWREGISTRATIONS
(
SiteWideNewRegistrationsFn
?INTERVAL ?SITE)))))
UXExperimentalTerms.kif 3428-3455
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
Physical
例
Physical
and
Human
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
Physical
是
WebSite
的
registered
user
TimeInterval
_DURING
例
TimeInterval
_DURING and
TimeInterval
期間
TimeInterval
_DURING and
TimeInterval
持有期間
TimeInterval
and
Physical
是
WebSite
的
registered
user
會員
Physical
and
Collection
等於
Collection
and
new
registrations
在
WebSite
期間
TimeInterval
(=>
(
and
(
instance
?INTERVAL
TimeInterval
)
(
instance
?SITE
WebSite
))
(
exists
(?NEWSELLERS)
(
and
(
instance
?NEWSELLERS
Collection
)
(
forall
(?AGENT)
(=>
(
member
?AGENT ?NEWSELLERS)
(
and
(
exists
(?SELLING)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?AGENT)
(
instrument
?SELLING ?SITE)
(
during
?SELLING ?INTERVAL)))
(
not
(
exists
(?INTERVAL_BEFORE)
(
and
(
instance
?INTERVAL_BEFORE
TimeInterval
)
(
earlier
?INTERVAL_BEFORE ?INTERVAL)
(
holdsDuring
?INTERVAL_BEFORE
(
exists
(?SELLING_BEFORE)
(
and
(
instance
?SELLING_BEFORE
Selling
)
(
agent
?SELLING_BEFORE ?AGENT)
(
instrument
?SELLING_BEFORE ?SITE)
(
during
?SELLING_BEFORE ?INTERVAL))))))))))
(
equal
(
SiteWideNewSellersFn
?INTERVAL ?SITE) ?NEWSELLERS))))
UXExperimentalTerms.kif 3475-3507
例
TimeInterval
and
TimeInterval
例
WebSite
and
WebSite
Collection
例
Collection
and
Collection
AutonomousAgent
會員
AutonomousAgent
and
Collection
TimeInterval
例
AutonomousAgent
and
AutonomousAgent
例
TimeInterval
and
Selling
agent
TimeInterval
and
AutonomousAgent
儀器
TimeInterval
and
WebSite
期間
TimeInterval
and
TimeInterval
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
TimeInterval
早期
TimeInterval
_BEFORE and
TimeInterval
持有期間
TimeInterval
_BEFORE and
TimeInterval
_BEFORE
例
TimeInterval
_BEFORE and
Selling
agent
TimeInterval
_BEFORE and
AutonomousAgent
儀器
TimeInterval
_BEFORE and
WebSite
期間
TimeInterval
_BEFORE and
TimeInterval
等於
new
sellers
在
WebSite
期間
TimeInterval
and
Collection
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
例
Object
and
InvasiveVentilator
例
Process
and
Breathing
體驗者
Process
and
AutonomousAgent
儀器
Process
and
Object
Process
例
Process
and
Intubation
目的地
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?JOIN
Hiring
)
(
instance
?ORG
Organization
)
(
agent
?JOIN ?ORG)
(
patient
?JOIN ?PERSON))
(
expects
?ORG
(
exists
(?FT)
(
and
(
instance
?FT
FinancialTransaction
)
(
agent
?FT ?ORG)
(
destination
?FT ?PERSON)
(
earlier
(
WhenFn
?JOIN)
(
WhenFn
?FT))))))
Merge.kif 10631-10643
例
Process
and
Hiring
例
CognitiveAgent
and
Organization
agent
Process
and
CognitiveAgent
患者
Process
and
Entity
CognitiveAgent
expects
entity
例
entity
and
FinancialTransaction
agent
entity
and
CognitiveAgent
目的地
entity
and
Entity
早期
何時
Process
and
何時
entity
會是事實
(=>
(
and
(
instance
?KEEP
Keeping
)
(
agent
?KEEP ?AGENT)
(
patient
?KEEP ?OBJ))
(
exists
(?PUT)
(
and
(
instance
?PUT
Putting
)
(
agent
?PUT ?AGENT)
(
patient
?PUT ?OBJ)
(
earlier
(
WhenFn
?PUT)
(
WhenFn
?KEEP)))))
Merge.kif 12178-12188
例
Process
and
Keeping
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
Process
例
Process
and
Putting
agent
Process
and
AutonomousAgent
患者
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?M
MoveToEvac
)
(
objectTransferred
?M ?P))
(
hasPurpose
?M
(
exists
(?E)
(
and
(
instance
?E
Evacuation
)
(
objectTransferred
?E ?P)
(
earlier
(
WhenFn
?M)
(
WhenFn
?E))))))
Medicine.kif 6532-6543
例
Transfer
and
MoveToEvac
objectTransferred
Transfer
and
Object
有目的
Transfer
and
entity
例
entity
and
疏散
objectTransferred
entity
and
Object
早期
何時
Transfer
and
何時
entity
(=>
(
and
(
instance
?M1
(
MonthFn
?N1
(
YearFn
?Y)))
(
instance
?M2
(
MonthFn
?N2
(
YearFn
?Y)))
(
successorClass
?N1 ?N2))
(
earlier
?M1 ?M2))
Merge.kif 8715-8720
例
TimeInterval
and
月
Month
and
年
Integer
例
TimeInterval
and
月
Month
and
年
Integer
successorClass
Month
and
Month
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?PLAN
Plan
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC))
(
exists
(?PLANNING ?CBO)
(
and
(
instance
?PLANNING
Planning
)
(
instance
?CBO
ContentBearingPhysical
)
(
containsInformation
?CBO ?PLAN)
(
result
?PLANNING ?CBO)
(
earlier
(
BeginFn
(
WhenFn
?PLANNING))
(
BeginFn
(
WhenFn
?PROC)))
(
earlier
(
EndFn
(
WhenFn
?PLANNING))
(
EndFn
(
WhenFn
?PROC))))))
Military.kif 32-44
例
Proposition
and
Plan
例
Physical
and
Process
代表
Proposition
and
Physical
Proposition
NING
內容承載物理
例
Proposition
NING and
Planning
例
內容承載物理
and
內容承載物理
包含信息
內容承載物理
and
Proposition
結果
Proposition
NING and
內容承載物理
早期
開始
何時
Proposition
NING and
開始
何時
Physical
早期
結束
何時
Proposition
NING and
結束
何時
Physical
(=>
(
and
(
instance
?PREDICT
Predicting
)
(
patient
?PREDICT ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
earlier
?TIME
(
WhenFn
?PREDICT)))))
Merge.kif 12149-12156
例
Process
and
Predicting
患者
Process
and
Formula
TimeInterval
持有期間
TimeInterval
and
Formula
早期
TimeInterval
and
何時
Process
(=>
(
and
(
instance
?PROC
IntentionalProcess
)
(
result
?PROC ?DOC)
(
recordForAgreement
?DOC ?AG)
(
attribute
?AG
Legal
))
(
exists
(?O ?A ?A1 ?A2)
(
and
(
instance
?O
Offering
)
(
instance
?A
ReachingAgreement
)
(
refers
?O ?AG)
(
refers
?A ?AG)
(
agent
?O ?A1)
(
agent
?A ?A2)
(
earlier
(
WhenFn
?O)
(
WhenFn
?A)))))
Law.kif 526-540
例
Process
and
IntentionalProcess
結果
Process
and
內容承載物理
內容承載物理
是
協議
的
record
attribute
協議
and
合法
Process
Process
,
Process
and
Process
例
Process
and
提供
例
Process
and
ReachingAgreement
參照
Process
and
協議
參照
Process
and
協議
agent
Process
and
Process
agent
Process
and
Process
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?PSR
PoststrikeReconnaissance
)
(
patient
?PSR ?OBJ))
(
exists
(?ATTACK)
(
and
(
instance
?ATTACK
Attack
)
(
patient
?ATTACK ?OBJ)
(
earlier
(
WhenFn
?ATTACK)
(
WhenFn
?PSR)))))
MilitaryProcesses.kif 121-129
例
Process
and
追擊偵察
患者
Process
and
Entity
Process
例
Process
and
攻擊
患者
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
holdsDuring
(
WhenFn
?REM)
(
part
?OBJ ?REM)))
(
exists
(?ORG)
(
and
(
instance
?ORG
Organism
)
(
earlier
(
WhenFn
?ORG)
(
WhenFn
?REM))
(
finishes
(
WhenFn
?REM)
(
WhenFn
?ORG))
(
holdsDuring
(
WhenFn
?ORG)
(
part
?OBJ ?ORG)))))
Mid-level-ontology.kif 45-56
例
Physical
and
OrganismRemains
持有期間
何時
Physical
and
部分
entity
and
Physical
Physical
例
Physical
and
Organism
早期
何時
Physical
and
何時
Physical
飾面
何時
Physical
and
何時
Physical
持有期間
何時
Physical
and
部分
entity
and
Physical
(=>
(
and
(
instance
?REMEMBER
Remembering
)
(
patient
?REMEMBER ?FORMULA))
(
exists
(?TIME)
(
and
(
holdsDuring
?TIME ?FORMULA)
(
or
(
before
?TIME
(
WhenFn
?REMEMBER))
(
earlier
?TIME
(
WhenFn
?REMEMBER))))))
Merge.kif 12163-12172
例
Process
and
Remembering
患者
Process
and
Formula
TimeInterval
持有期間
TimeInterval
and
Formula
之前
TimeInterval
and
何時
Process
早期
TimeInterval
and
何時
Process
(=>
(
and
(
instance
?REPAIR
Repairing
)
(
patient
?REPAIR ?OBJ))
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?OBJ)
(
earlier
(
WhenFn
?DAMAGE)
(
WhenFn
?REPAIR)))))
Merge.kif 12229-12237
例
Process
and
Repairing
患者
Process
and
Entity
Process
例
Process
and
Damaging
患者
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?RETURN
GivingBack
)
(
agent
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?GIVE)
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?DEST)
(
destination
?GIVE ?AGENT)
(
earlier
(
WhenFn
?GIVE)
(
WhenFn
?RETURN)))))
Merge.kif 11763-11773
例
Process
and
回饋
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
Process
例
Process
and
Giving
agent
Process
and
AutonomousAgent
目的地
Process
and
AutonomousAgent
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?RETURN
Returning
)
(
experiencer
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?TIME)
(
and
(
earlier
?TIME
(
WhenFn
?RETURN))
(
holdsDuring
?TIME
(
located
?AGENT ?DEST)))))
Mid-level-ontology.kif 17266-17274
例
Process
and
返回
體驗者
Process
and
AutonomousAgent
目的地
Process
and
Entity
TimeInterval
早期
TimeInterval
and
何時
Process
持有期間
TimeInterval
and
位於
AutonomousAgent
and
Entity
(=>
(
and
(
instance
?Reusing
ReusingAResource
)
(
resourceUsed
?Reusing ?Resource))
(
exists
(?Using)
(
and
(
instance
?Using
UsingAResource
)
(
resourceUsed
?Using ?Resource)
(
earlier
(
WhenFn
?Using)
(
WhenFn
?Reusing)))))
QoSontology.kif 1981-1989
例
電腦程序
and
重用資源
%
電腦程序
uses
計算機資源
電腦程序
例
電腦程序
and
使用A資源
%
電腦程序
uses
計算機資源
早期
何時
電腦程序
and
何時
電腦程序
(=>
(
and
(
instance
?S
Sentencing
)
(
patient
?S ?P))
(
exists
(?C)
(
and
(
causes
?C ?S)
(
instance
?C
LegalConviction
)
(
patient
?C ?P)
(
earlier
(
WhenFn
?C)
(
WhenFn
?S)))))
Mid-level-ontology.kif 16250-16259
例
Process
and
宣判
患者
Process
and
Entity
Process
原因
Process
and
Process
例
Process
and
法律定罪
患者
Process
and
Entity
早期
何時
Process
and
何時
Process
(=>
(
and
(
instance
?SEO
SEO
)
(
patient
?SEO ?PAGE))
(
hasPurpose
?SEO
(
exists
(?SRPRESULT_BEFORE ?SRPRESULT_AFTER ?BEFORE ?AFTER ?BM1 ?BM2)
(
and
(
instance
?SRPRESULT_BEFORE
SRPResults
)
(
instance
?SRPRESULT_AFTER
SRPResults
)
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_BEFORE ?BEFORE))
(
equal
?PAGE
(
ListOrderFn
?SRPRESULT_AFTER ?AFTER))
(
instance
?BM1
BestMatchAlgorithm
)
(
instance
?BM2
BestMatchAlgorithm
)
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?SEO)
(
WhenFn
?BM2))
(
earlier
(
WhenFn
?BM1)
(
WhenFn
?SEO))
(
greaterThan
?BEFORE ?AFTER)))))
UXExperimentalTerms.kif 2388-2404
例
Process
and
SEO
患者
Process
and
Entity
有目的
Process
and
entity
_BEFORE
entity
_AFTER,
entity
,
entity
,
entity
and
entity
例
entity
_BEFORE and
SRPResults
例
entity
_AFTER and
SRPResults
等於
Entity
and
清單順序
entity
_BEFORE and
entity
等於
Entity
and
清單順序
entity
_AFTER and
entity
例
entity
and
BestMatchAlgorithm
例
entity
and
BestMatchAlgorithm
早期
何時
entity
and
何時
entity
早期
何時
Process
and
何時
entity
早期
何時
entity
and
何時
Process
比較多
entity
and
entity
(=>
(
and
(
instance
?U
SoftwareUnInstallation
)
(
equal
?T2
(
WhenFn
?U))
(
dataProcessed
?U ?P)
(
instance
?P
ComputerProgram
)
(
located
?U ?C))
(
exists
(?I ?T1)
(
and
(
instance
?I
SoftwareInstallation
)
(
equal
?T1
(
WhenFn
?I))
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
located
?I ?C)
(
earlier
?T1 ?T2))))
ComputingBrands.kif 3603-3617
例
電腦程序
and
反安裝
等於
TimeInterval
and
何時
電腦程序
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
位於
電腦程序
and
Object
電腦程序
TimeInterval
例
電腦程序
and
安裝
等於
TimeInterval
and
何時
電腦程序
數字數據
是由
電腦程序
processed
例
數字數據
and
ComputerProgram
位於
電腦程序
and
Object
早期
TimeInterval
and
TimeInterval
(=>
(
and
(
instance
?W
Whiskey
)
(
instance
?D
Distilling
)
(
result
?D ?W)
(
resource
?DR ?W)
(
instance
?DR
Drinking
))
(
exists
(?C ?T ?H)
(
and
(
instance
?C
Cask
)
(
instance
?H
HoleRegion
)
(
hole
?H ?C)
(
holdsDuring
?T
(
partiallyFills
?W ?C))
(
earlier
?D ?T)
(
earlier
?T ?DR))))
Food.kif 3617-3632
例
Object
and
威士忌酒
例
TimeInterval
and
蒸餾
結果
TimeInterval
and
Object
資源
TimeInterval
R and
Object
例
TimeInterval
R and
Drinking
SelfConnectedObject
TimeInterval
and
HoleRegion
例
SelfConnectedObject
and
Cask
例
HoleRegion
and
HoleRegion
hole
HoleRegion
and
SelfConnectedObject
持有期間
TimeInterval
and
部分填補
Object
and
SelfConnectedObject
早期
TimeInterval
and
TimeInterval
早期
TimeInterval
and
TimeInterval
R
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