represents
(=>
(
representsForAgent
?REP ?ENTITY ?AGENT)
(
represents
?REP ?ENTITY))
Merge.kif 4472-4474
If
an agent
use
s
an entity
to stand for
another entity
,
then
the entity
express
es
the other entity
(=>
(
searchQueryRewrite
?QUERY1 ?QUERY2)
(
exists
(?SEARCHATTEMPT)
(
and
(
instance
?SEARCHATTEMPT
SearchAttempt
)
(
represents
?QUERY1 ?SEARCHATTEMPT)
(
represents
?QUERY2 ?SEARCHATTEMPT))))
UXExperimentalTerms.kif 2453-2459
If
a Search query
is a
rewrite
of
another Search query
,
then there exists
an entity
such that
the entity
is an
instance
of
search attempt
and
the Search query
express
es
the entity
and
the other Search query
express
es
the 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
If
a database
is the
catalog
for
a web site
,
then there exist
an object
,
a collection
and
a symbolic string
such that
the collection
is an
instance
of
collection
and
the object
is a
part
of
the database
and
the object
express
es
the collection
and for all
another object
if
the other object
is a
member
of
the collection
,
then
the other object
is an
instance
of
physical
and
the other object
is
capable
of doing the
class
described by
the symbolic string
as a
patient
(=>
(
subBrand
?BRAND1 ?BRAND2)
(
exists
(?COLL ?OBJ)
(
and
(
instance
?COLL
Collection
)
(
represents
?BRAND1 ?COLL)
(
member
?OBJ ?COLL)
(
represents
?BRAND2 ?OBJ))))
Hotel.kif 1335-1342
If
an entity
is a
sub
-brand of
another entity
,
then there exist
a collection
and
a physical
such that
the collection
is an
instance
of
collection
and
the other entity
express
es
the collection
and
the physical
is a
member
of
the collection
and
the entity
express
es
the 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
If
a database
is the
user
database
for
a web site
,
then there exist
an object
and
a collection
such that
the collection
is an
instance
of
collection
and
the object
is a
part
of
the database
and
the object
express
es
the collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
agent
and there exist
a process
and
a corpuscular object
such that
the process
is an
instance
of
accessing web page
and
the corpuscular object
is an
instance
of
web page
and
page
is a
patient
of
the process
and
agent
is an
agent
of
the process
and
the corpuscular object
is a
component
of
the web site
(=>
(
webVisitor
?VISITOR ?SITE)
(
exists
(?ID ?BROWSER)
(
and
(
instance
?ID
Identifier
)
(
instance
?BROWSER
WebBrowser
)
(
browserID
?ID ?BROWSER ?SITE)
(
represents
?ID ?VISITOR))))
UXExperimentalTerms.kif 1209-1216
If
an agent
is a
visitor
to
a web site
,
then there exist
an identifier
and
a web browser
such that
the identifier
is an
instance
of
identifier
and
the web browser
is an
instance
of
web browser
and
the identifier
is the
ID
of
the web browser
when accessing
the web site
and
the identifier
express
es
the agent
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