AutonomousAgent
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
例
Process
and
Awarding
AutonomousAgent
AutonomousAgent
,
Process
and
Process
WARD
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Process
例
Process
WARD and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
患者
Process
and
Process
WARD
目的地
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
instance
?BM
BestMatchAlgorithm
)
(
hasPurpose
?BM
(
exists
(?QUERY ?SEARCHATTEMPT ?OBJECT ?AGENT)
(
and
(
instance
?QUERY
SearchQuery
)
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY ?SEARCHATTEMPT)
(
patient
?BM ?QUERY)
(
instance
?AGENT
AutonomousAgent
)
(
patient
?SEARCHATTEMPT ?OBJECT)
(
agent
?SEARCHATTEMPT ?AGENT)))))
UXExperimentalTerms.kif 2301-2312
例
Physical
and
BestMatchAlgorithm
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
SearchQuery
例
entity
and
SearchAttempt
代表
entity
and
entity
患者
Physical
and
entity
例
entity
and
AutonomousAgent
患者
entity
and
entity
agent
entity
and
entity
(=>
(
instance
?CATALOG
Catalog
)
(
exists
(?X)
(
and
(
instance
?X
AutonomousAgent
)
(
offers
?X ?CATALOG))))
Catalog.kif 36-41
例
Abstract
and
Catalog
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
AutonomousAgent
offers
拍賣樣品在
Abstract
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
例
Process
and
FinalValueFee
WebListing
FinancialTransaction
,
AutonomousAgent
,
Entity
and
WebSite
例
WebListing
and
WebListing
例
FinancialTransaction
and
Selling
例
AutonomousAgent
and
AutonomousAgent
例
Entity
and
Physical
例
WebListing
and
WebListing
患者
WebListing
and
Entity
患者
FinancialTransaction
and
Entity
原因
FinancialTransaction
and
Process
agent
Process
and
AutonomousAgent
WebListing
是在
WebSite
hosted
擁有
AutonomousAgent
and
WebSite
AutonomousAgent
facilitates
FinancialTransaction
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?ADVERT ?PROC ?OWNER)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?PROC
ListOnSite
)
(
instance
?OWNER
AutonomousAgent
)
(
patient
?PROC ?ADVERT)
(
causes
?PROC ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
agent
?PROC ?OWNER))))
UXExperimentalTerms.kif 220-230
例
Process
and
InsertionFee
Entity
Process
and
AutonomousAgent
例
Entity
and
WebListing
例
Process
and
ListOnSite
例
AutonomousAgent
and
AutonomousAgent
患者
Process
and
Entity
原因
Process
and
Process
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
(=>
(
instance
?CHARGE
InsertionFee
)
(
exists
(?SITE ?OWNER ?ADVERT)
(
and
(
instance
?SITE
WebSite
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ADVERT
WebListing
)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
agent
?CHARGE ?OWNER))))
UXExperimentalTerms.kif 209-218
例
Process
and
InsertionFee
WebSite
AutonomousAgent
and
WebListing
例
WebSite
and
WebSite
例
AutonomousAgent
and
AutonomousAgent
例
WebListing
and
WebListing
WebListing
是在
WebSite
hosted
擁有
AutonomousAgent
and
WebSite
agent
Process
and
AutonomousAgent
(=>
(
instance
?D
Doll
)
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
represents
?D ?A))))
Mid-level-ontology.kif 2398-2403
例
Entity
and
Doll
Entity
例
Entity
and
AutonomousAgent
代表
Entity
and
Entity
(=>
(
instance
?INTERACTION
SocialInteraction
)
(
exists
(?AGENT1 ?AGENT2)
(
and
(
involvedInEvent
?INTERACTION ?AGENT1)
(
involvedInEvent
?INTERACTION ?AGENT2)
(
instance
?AGENT1
AutonomousAgent
)
(
instance
?AGENT2
AutonomousAgent
)
(
not
(
equal
?AGENT1 ?AGENT2)))))
Merge.kif 13004-13013
例
Process
and
SocialInteraction
Entity
Entity
Entity
是事件
Process
的
involved
Entity
是事件
Process
的
involved
例
Entity
and
AutonomousAgent
例
Entity
and
AutonomousAgent
等於
Entity
and
Entity
(=>
(
instance
?LGP
LargeGroupProcess
)
(
exists
(?G ?M)
(
and
(
instance
?G
Collection
)
(
member
?M ?G)
(
memberType
?G
AutonomousAgent
))))
Mid-level-ontology.kif 7932-7938
例
Entity
and
LargeGroupProcess
Collection
Physical
例
Collection
and
Collection
會員
Physical
and
Collection
AutonomousAgent
是
Collection
的
member
類別
(=>
(
instance
?NUMBER
AccountNumber
)
(
exists
(?CORPORATION ?AGENT ?HUMAN)
(
and
(
instance
?CORPORATION
Corporation
)
(
instance
?AGENT
AutonomousAgent
)
(
uniqueIdWithRespectTo
?CORPORATION ?HUMAN ?NUMBER))))
Mid-level-ontology.kif 29930-29936
例
SymbolicString
and
AccountNumber
Physical
Entity
and
Physical
例
Physical
and
Corporation
例
Entity
and
AutonomousAgent
SymbolicString
是
unique
ID
對於
Physical
相對於
Physical
(=>
(
instance
?PROFILE
VisitorProfile
)
(
exists
(?USER ?SITE)
(
and
(
instance
?USER
AutonomousAgent
)
(
instance
?SITE
WebSite
)
(
forall
(?FORMULA)
(=>
(
and
(
member
?FORMULA ?PROFILE)
(
instance
?FORMULA
Formula
))
(
visitorParameter
?USER ?FORMULA ?SITE))))))
UXExperimentalTerms.kif 1140-1151
例
Collection
and
VisitorProfile
AutonomousAgent
WebSite
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
Formula
會員
Formula
and
Collection
例
Formula
and
Formula
Formula
是
known
關於 拜訪
WebSite
的
AutonomousAgent
(=>
(
instance
?WAREHOUSE
DataWarehouse
)
(
hasPurpose
?WAREHOUSE
(
exists
(?AGENT)
(
and
(
instance
?AGENT
AutonomousAgent
)
(
forall
(?DATA)
(
and
(
inScopeOfInterest
?DATA ?AGENT)
(
component
?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2215-2224
例
Physical
and
DataWarehouse
有目的
Physical
and
entity
例
entity
and
AutonomousAgent
entity
在感興趣的範圍內
entity
and
entity
零件
entity
and
Physical
(=>
(
instance
?X
Vandalism
)
(
not
(
exists
(?A)
(
and
(
instance
?A
AutonomousAgent
)
(
patient
?X ?A)))))
Mid-level-ontology.kif 22127-22133
例
Process
and
人為破壞
Entity
例
Entity
and
AutonomousAgent
患者
Process
and
Entity
(=>
(
manner
?P
Solely
)
(
exists
(?H)
(
and
(
involvedInEvent
?P ?H)
(
instance
?H
AutonomousAgent
)
(
not
(
exists
(?H2)
(
and
(
involvedInEvent
?P ?H2)
(
instance
?H2
AutonomousAgent
)
(
not
(
equal
?H ?H2))))))))
Mid-level-ontology.kif 30207-30218
方式
Process
and
Solely
Entity
Entity
是事件
Process
的
involved
例
Entity
and
AutonomousAgent
Entity
2
Entity
2 是事件
Process
的
involved
例
Entity
2 and
AutonomousAgent
等於
Entity
and
Entity
2
(=>
(
userDatabase
?DATABASE ?WEBSITE)
(
exists
(?PART ?USERS)
(
and
(
instance
?USERS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?USERS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?USERS)
(
and
(
instance
?MEMBER
AutonomousAgent
)
(
exists
(?ACCESSING ?PAGE)
(
and
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
patient
?ACCESSING
Page
)
(
agent
?ACCESSING
AutonomousAgent
)
(
component
?PAGE ?WEBSITE)))))))))
UXExperimentalTerms.kif 2173-2191
數據庫
是
user
database
對於
WebSite
Object
Collection
例
Collection
and
Collection
部分
Object
and
數據庫
代表
Object
and
Collection
Physical
會員
Physical
and
Collection
例
Physical
and
AutonomousAgent
Process
CorpuscularObject
例
Process
and
AccessingWebPage
例
CorpuscularObject
and
WebPage
患者
Process
and
頁
agent
Process
and
AutonomousAgent
零件
CorpuscularObject
and
WebSite
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