Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
WadiKeltWestBank
Sigma KEE - hostedOn
hostedOn
appearance as argument number 1
(
documentation
hostedOn
EnglishLanguage
"(hostedOn ?LISTING ?SITE) means that the
WebListing
?LISTING is a Component of a
WebPage
which is a Component of the
WebSite
?SITE.")
UXExperimentalTerms.kif 122-123
(
domain
hostedOn
1
WebListing
)
UXExperimentalTerms.kif 118-118
The number 1 argument of
hosted on
is an
instance
of
web listing
(
domain
hostedOn
2
WebSite
)
UXExperimentalTerms.kif 119-119
The number 2 argument of
hosted on
is an
instance
of
web site
(
instance
hostedOn
BinaryPredicate
)
UXExperimentalTerms.kif 117-117
hosted on
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
hostedOn
"%1 是在 %2 hosted ")
domainEnglishFormat.kif 3664-3664
(
format
ChineseTraditionalLanguage
hostedOn
"%1 是在 %2 hosted ")
domainEnglishFormat.kif 3663-3663
(
format
EnglishLanguage
hostedOn
"%1 is hosted on %2")
domainEnglishFormat.kif 3662-3662
(
termFormat
EnglishLanguage
hostedOn
"hosted on")
UXExperimentalTerms.kif 120-120
antecedent
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
If
an agent
is an
instance
of
web listing
and
a web site
is an
instance
of
web site
and
the agent
is
hosted
on
the web site
and
the agent
created
a human
,
then
the human
is a
seller
at
the web site
(=>
(
and
(
listingBuyer
?LISTING ?BUYER)
(
instance
?OBJ
Object
)
(
instance
?SITE
WebSite
)
(
patient
?LISTING ?OBJECT)
(
hostedOn
?LISTING ?SITE))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
eCommerceSite
?BUYING ?SITE)
(
agent
?BUYING ?BUYER))))
UXExperimentalTerms.kif 86-98
If
an agent
buys
a web listing
and
an entity
is an
instance
of
object
and
a web site
is an
instance
of
web site
and
the entity
ECT is a
patient
of
the web listing
and
the web listing
is
hosted
on
the web site
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the entity
is a
patient
of
the financial transaction
and
the web site
facilitates
the financial transaction
and
the agent
is an
agent
of
the financial transaction
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
hostedOn
?LISTING ?SITE))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 70-74
If
a human
sells
a web listing
and
the web listing
is
hosted
on
a web site
,
then
the human
is a
seller
at
the web site
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
If
a symbolic string
is
hosted
on
a web site
,
then there exists
another symbolic string
such that
the other symbolic string
is an
instance
of
web page
and
the symbolic string
is a
sub_string
of
the other symbolic string
and
the other symbolic string
is a
sub_string
of
the web site
consequent
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
If
an object
was
advertisedOn
a web site
,
then there exists
a web listing
such that
the web listing
is an
instance
of
advertising
and
the web listing
is
hosted
on
the web site
and
the object
is a
patient
of
the web listing
(=>
(
and
(
instance
?AGENT
AutonomousAgent
)
(
instance
?SITE
WebSite
))
(
exists
(?COLL)
(
and
(
instance
?COLL
Collection
)
(
forall
(?LISTING)
(=>
(
and
(
instance
?LISTING
WebListing
)
(
hostedOn
?LISTING ?SITE)
(
listingSeller
?LISTING ?AGENT))
(
member
?LISTING ?COLL)))
(
equal
(
SellersItemsFn
?AGENT ?SITE) ?COLL))))
UXExperimentalTerms.kif 992-1008
If
an agent
is an
instance
of
agent
and
a web site
is an
instance
of
web site
,
then there exists
a collection
such that
the collection
is an
instance
of
collection
and for all
a web listing
if
the web listing
is an
instance
of
web listing
and
the web listing
is
hosted
on
the web site
and
the agent
sells
the web listing
,
then
the web listing
is a
member
of
the collection
and items for
sale
by
the agent
at
the web site
is
equal
to
the collection
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
If
a collection
is an
instance
of
collection
and for all
a physical
if
the physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
web listing
,
then the number of
instances
in there exist
an entity
,
another entity
and
a third entity
such that the
class
described by
the entity
and the number of
instances
in
the collection
is
equal
to number of
bids
in
the collection
(=>
(
and
(
instance
?PAGE
ViewItemPage
)
(
instance
?SITE
WebSite
)
(
component
?PAGE ?SITE))
(
exists
(?ITEM ?ADVERTISING)
(
and
(
instance
?ITEM
Object
)
(
instance
?ADVERTISING
WebListing
)
(
component
?ADVERTISING ?PAGE)
(
hostedOn
?ADVERTISING ?SITE)
(
patient
?ADVERTISING ?ITEM))))
UXExperimentalTerms.kif 2065-2076
If
a corpuscular object
is an
instance
of
next generation view item
and
a web site
is an
instance
of
web site
and
the corpuscular object
is a
component
of
the web site
,
then there exist
an entity
and
a web listing
such that
the entity
is an
instance
of
object
and
the web listing
is an
instance
of
web listing
and
the web listing
is a
component
of
the corpuscular object
and
the web listing
is
hosted
on
the web site
and
the entity
is a
patient
of
the web listing
(=>
(
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
If
a process
is an
instance
of
final fee
,
then there exist
a web listing
,
a financial transaction
,, ,
an agent
,, ,
an entity
and
a web site
such that
the web listing
is an
instance
of
web listing
and
the financial transaction
is an
instance
of
selling
and
the agent
is an
instance
of
agent
and
the entity
is an
instance
of
physical
and
the web listing
is an
instance
of
web listing
and
the entity
is a
patient
of
the web listing
and
the entity
is a
patient
of
the financial transaction
and
the financial transaction
cause
s
the process
and
the agent
is an
agent
of
the process
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
facilitates
the financial transaction
(=>
(
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
If
a process
is an
instance
of
insertion fee
,
then there exist
a web site
,
an agent
and
a web listing
such that
the web site
is an
instance
of
web site
and
the agent
is an
instance
of
agent
and
the web listing
is an
instance
of
web listing
and
the web listing
is
hosted
on
the web site
and
the agent
possess
es
the web site
and
the agent
is an
agent
of
the process
(=>
(
instance
?LIST
ListOnSite
)
(
exists
(?SITE ?ADVERT ?EARLIER ?AFTER ?OWNER)
(
and
(
instance
?SITE
WebSite
)
(
instance
?ADVERT
WebListing
)
(
instance
?EARLIER
TimeInterval
)
(
instance
?AFTER
TimeInterval
)
(
patient
?LIST ?ADVERT)
(
equal
(
EndFn
?EARLIER)
(
EndFn
?LIST))
(
earlier
?LIST ?AFTER)
(
meetsTemporally
?LIST ?AFTER)
(
holdsDuring
?EARLIER
(
not
(
hostedOn
?ADVERT ?SITE)))
(
holdsDuring
?AFTER
(
hostedOn
?ADVERT ?SITE))
(
agent
?LIST ?OWNER)
(
possesses
?OWNER ?SITE))))
UXExperimentalTerms.kif 266-286
If
a time interval
is an
instance
of
list on site
,
then there exist
an object
,
an entity
,, ,
another time interval
,, ,
a third time interval
and
an agent
such that
the object
is an
instance
of
web site
and
the entity
is an
instance
of
web listing
and
the other time interval
is an
instance
of
time interval
and
the third time interval
is an
instance
of
time interval
and
the entity
is a
patient
of
the time interval
and the
end
of
the other time interval
is
equal
to the
end
of
the time interval
and
the time interval
happens
earlier
than
the third time interval
and
the time interval
meet
s
the third time interval
and not
the entity
is
hosted
on
the object
holds
during
the other time interval
and
the entity
is
hosted
on
the object
holds
during
the third time interval
and
the agent
is an
agent
of
the time interval
and
the agent
possess
es
the object
(=>
(
instance
?LISTING
WebListing
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 32-37
If
a web listing
is an
instance
of
web listing
,
then there exists
a web site
such that
the web site
is an
instance
of
web site
and
the web listing
is
hosted
on
the web site
(=>
(
webSeller
?SELLER ?SITE)
(
exists
(?LISTING)
(
and
(
instance
?LISTING
WebListing
)
(
listingSeller
?LISTING ?SELLER)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 959-965
If
a human
is a
seller
at
a web site
,
then there exists
a web listing
such that
the web listing
is an
instance
of
web listing
and
the human
sells
the web listing
and
the web listing
is
hosted
on
the web site
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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