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
hostedOn
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
Il numero 1 argomenti di
hostedOn
è un
istanza
di
WebListing
(
domain
hostedOn
2
WebSite
)
UXExperimentalTerms.kif 119-119
Il numero 2 argomenti di
hostedOn
è un
istanza
di
WebSite
(
instance
hostedOn
BinaryPredicate
)
UXExperimentalTerms.kif 117-117
hostedOn
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
ChineseLanguage
hostedOn
"%1 是在 %2 hosted ")
domainEnglishFormat.kif 3670-3670
(
format
ChineseTraditionalLanguage
hostedOn
"%1 是在 %2 hosted ")
domainEnglishFormat.kif 3669-3669
(
format
EnglishLanguage
hostedOn
"%1 is hosted on %2")
domainEnglishFormat.kif 3668-3668
(
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
AutonomousAgent
è un'
istanza
di
WebListing
WebSite
è un'
istanza
di
WebSite
hostedOn
AutonomousAgent
and
WebSite
creator
AutonomousAgent
and
Umano
webSeller
Umano
and
WebSite
(=>
(
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
listingBuyer
WebListing
and
AutonomousAgent
Entit�
è un'
istanza
di
Oggetto
WebSite
è un'
istanza
di
WebSite
Entit�
ECT è un
paziente
di
WebListing
hostedOn
WebListing
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
ScambioFinanziario
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
agente
di
AutonomousAgent
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
hostedOn
?LISTING ?SITE))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 70-74
listingSeller
WebListing
and
Umano
hostedOn
WebListing
and
WebSite
webSeller
Umano
and
WebSite
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
hostedOn
Stringa
and
WebSite
Stringa
Stringa
è un'
istanza
di
WebPage
subString
Stringa
and
Stringa
subString
Stringa
and
WebSite
consequent
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
advertisedOn
Oggetto
and
WebSite
WebListing
WebListing
è un'
istanza
di
Pubblicit�
hostedOn
WebListing
and
WebSite
Oggetto
è un
paziente
di
WebListing
(=>
(
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
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebSite
è un'
istanza
di
WebSite
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
WebListing
WebListing
è un'
istanza
di
WebListing
hostedOn
WebListing
and
WebSite
listingSeller
WebListing
and
AutonomousAgent
WebListing
è un
membro
di
InsiemeConcreto
SellersItemsFn
AutonomousAgent
and
WebSite
is
uguale
a
InsiemeConcreto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
Entit�Concreta
Entit�Concreta
è un
membro
di
InsiemeConcreto
Entit�Concreta
è un'
istanza
di
WebListing
il numero di
istanzia
in
Entit�
Entit�
and
Entit�
la
classe
descritta da
Entit�
+ il numero di
istanzia
in
InsiemeConcreto
is
uguale
a
BidCountFn
InsiemeConcreto
(=>
(
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
OggettoCorpuscolare
è un'
istanza
di
ViewItemPage
WebSite
è un'
istanza
di
WebSite
OggettoCorpuscolare
è un
componente
di
WebSite
Entit�
WebListing
Entit�
è un'
istanza
di
Oggetto
WebListing
è un'
istanza
di
WebListing
WebListing
è un
componente
di
OggettoCorpuscolare
hostedOn
WebListing
and
WebSite
Entit�
è un
paziente
di
WebListing
(=>
(
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
Processo
è un'
istanza
di
FinalValueFee
WebListing
ScambioFinanziario
,
AutonomousAgent
,
Entit�
and
WebSite
WebListing
è un'
istanza
di
WebListing
ScambioFinanziario
è un'
istanza
di
Vendere
AutonomousAgent
è un'
istanza
di
AutonomousAgent
Entit�
è un'
istanza
di
Entit�Concreta
WebListing
è un'
istanza
di
WebListing
Entit�
è un
paziente
di
WebListing
Entit�
è un
paziente
di
ScambioFinanziario
ScambioFinanziario
causa
s
Processo
Processo
è un
agente
di
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
eCommerceSite
ScambioFinanziario
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
Processo
è un'
istanza
di
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
è un'
istanza
di
WebSite
AutonomousAgent
è un'
istanza
di
AutonomousAgent
WebListing
è un'
istanza
di
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
possiede
es
WebSite
Processo
è un
agente
di
AutonomousAgent
(=>
(
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
IntervalloTemporale
è un'
istanza
di
ListOnSite
Oggetto
Entit�
,
IntervalloTemporale
,
IntervalloTemporale
and
AutonomousAgent
Oggetto
è un'
istanza
di
WebSite
Entit�
è un'
istanza
di
WebListing
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Entit�
è un
paziente
di
IntervalloTemporale
la
fine
di
IntervalloTemporale
is
uguale
a la
fine
di
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
IntervalloTemporale
incontra
s
IntervalloTemporale
hostedOn
Entit�
and
Oggetto
vales
durante
IntervalloTemporale
hostedOn
Entit�
and
Oggetto
vales
durante
IntervalloTemporale
IntervalloTemporale
è un
agente
di
AutonomousAgent
AutonomousAgent
possiede
es
Oggetto
(=>
(
instance
?LISTING
WebListing
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 32-37
WebListing
è un'
istanza
di
WebListing
WebSite
WebSite
è un'
istanza
di
WebSite
hostedOn
WebListing
and
WebSite
(=>
(
webSeller
?SELLER ?SITE)
(
exists
(?LISTING)
(
and
(
instance
?LISTING
WebListing
)
(
listingSeller
?LISTING ?SELLER)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 959-965
webSeller
Umano
and
WebSite
WebListing
WebListing
è un'
istanza
di
WebListing
listingSeller
WebListing
and
Umano
hostedOn
WebListing
and
WebSite
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