represents
(=>
(
representsForAgent
?REP ?ENTITY ?AGENT)
(
represents
?REP ?ENTITY))
Merge.kif 4472-4474
代表代理人
Entity
,
Entity
and
AutonomousAgent
代表
Entity
and
Entity
(=>
(
searchQueryRewrite
?QUERY1 ?QUERY2)
(
exists
(?SEARCHATTEMPT)
(
and
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY1 ?SEARCHATTEMPT)
(
represents
?QUERY2 ?SEARCHATTEMPT))))
UXExperimentalTerms.kif 2453-2459
SearchQuery
是
SearchQuery
的
rewrite
Entity
例
Entity
and
SearchAttempt
代表
SearchQuery
and
Entity
代表
SearchQuery
and
Entity
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
數據庫
是
catalog
對於
WebSite
Object
Collection
and
SymbolicString
例
Collection
and
Collection
部分
Object
and
數據庫
代表
Object
and
Collection
Object
會員
Object
and
Collection
例
Object
and
Physical
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Buying
WebSite
facilitates
SymbolicString
,
患者
and
Object
(=>
(
subBrand
?BRAND1 ?BRAND2)
(
exists
(?COLL ?OBJ)
(
and
(
instance
?COLL
Collection
)
(
represents
?BRAND1 ?COLL)
(
member
?OBJ ?COLL)
(
represents
?BRAND2 ?OBJ))))
Hotel.kif 1335-1342
Entity
是
Entity
的
sub
-brand
Collection
Physical
例
Collection
and
Collection
代表
Entity
and
Collection
會員
Physical
and
Collection
代表
Entity
and
Physical
(=>
(
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
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ID ?BROWSER)
(
and
(
instance
?ID
Identifier
)
(
instance
?BROWSER
WebBrowser
)
(
browserID
?ID ?BROWSER ?SITE)
(
represents
?ID ?VISITOR))))
UXExperimentalTerms.kif 1209-1216
AutonomousAgent
是對於
WebSite
的
visitor
Identifier
WebBrowser
例
Identifier
and
Identifier
例
WebBrowser
and
WebBrowser
Identifier
是
WebBrowser
的
ID
當取用
WebSite
代表
Identifier
and
AutonomousAgent
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