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
O argumento numero 1 de
hostedOn
e' uma
instancia
de
WebListing
(
domain
hostedOn
2
WebSite
)
UXExperimentalTerms.kif 119-119
O argumento numero 2 de
hostedOn
e' uma
instancia
de
WebSite
(
instance
hostedOn
BinaryPredicate
)
UXExperimentalTerms.kif 117-117
hostedOn
e' uma
instancia
de
Predicado Binario
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
e' uma
instancia
de
WebListing
WebSite
e' uma
instancia
de
WebSite
hostedOn
AutonomousAgent
and
WebSite
creator
AutonomousAgent
and
Humano
webSeller
Humano
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
Entidade
e' uma
instancia
de
Objeto
WebSite
e' uma
instancia
de
WebSite
Entidade
ECT e' um
patient
de
WebListing
hostedOn
WebListing
and
WebSite
Transacao Financeira
Transacao Financeira
e' uma
instancia
de
Comprar
Entidade
e' um
patient
de
Transacao Financeira
eCommerceSite
Transacao Financeira
and
WebSite
Transacao Financeira
e' um
agente
de
AutonomousAgent
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
hostedOn
?LISTING ?SITE))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 70-74
listingSeller
WebListing
and
Humano
hostedOn
WebListing
and
WebSite
webSeller
Humano
and
WebSite
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
hostedOn
Sequencia Simbolica
and
WebSite
Sequencia Simbolica
Sequencia Simbolica
e' uma
instancia
de
WebPage
subString
Sequencia Simbolica
and
Sequencia Simbolica
subString
Sequencia Simbolica
and
WebSite
consequent
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
advertisedOn
Objeto
and
WebSite
WebListing
WebListing
e' uma
instancia
de
Promover
hostedOn
WebListing
and
WebSite
Objeto
e' um
patient
de
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
e' uma
instancia
de
AutonomousAgent
WebSite
e' uma
instancia
de
WebSite
Colecao
Colecao
e' uma
instancia
de
Colecao
WebListing
WebListing
e' uma
instancia
de
WebListing
hostedOn
WebListing
and
WebSite
listingSeller
WebListing
and
AutonomousAgent
WebListing
e'
membro
de
Colecao
SellersItemsFn
AutonomousAgent
and
WebSite
e'
igual
a
Colecao
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
Fisico
Fisico
e'
membro
de
Colecao
Fisico
e' uma
instancia
de
WebListing
o numero de
instancias
dentro de
Entidade
Entidade
and
Entidade
a
classe
descrita por
Entidade
+ o numero de
instancias
dentro de
Colecao
e'
igual
a
BidCountFn
Colecao
(=>
(
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
Objeto Corpuscular
e' uma
instancia
de
ViewItemPage
WebSite
e' uma
instancia
de
WebSite
Objeto Corpuscular
e' um
componente
de
WebSite
Entidade
WebListing
Entidade
e' uma
instancia
de
Objeto
WebListing
e' uma
instancia
de
WebListing
WebListing
e' um
componente
de
Objeto Corpuscular
hostedOn
WebListing
and
WebSite
Entidade
e' um
patient
de
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
e' uma
instancia
de
FinalValueFee
WebListing
Transacao Financeira
,
AutonomousAgent
,
Entidade
and
WebSite
WebListing
e' uma
instancia
de
WebListing
Transacao Financeira
e' uma
instancia
de
Vender
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
Entidade
e' uma
instancia
de
Fisico
WebListing
e' uma
instancia
de
WebListing
Entidade
e' um
patient
de
WebListing
Entidade
e' um
patient
de
Transacao Financeira
Transacao Financeira
causa
Processo
Processo
e' um
agente
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
possui
WebSite
eCommerceSite
Transacao Financeira
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
e' uma
instancia
de
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
e' uma
instancia
de
WebSite
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
WebListing
e' uma
instancia
de
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
possui
WebSite
Processo
e' um
agente
de
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
Intervalo Temporal
e' uma
instancia
de
ListOnSite
Objeto
Entidade
,
Intervalo Temporal
,
Intervalo Temporal
and
AutonomousAgent
Objeto
e' uma
instancia
de
WebSite
Entidade
e' uma
instancia
de
WebListing
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Entidade
e' um
patient
de
Intervalo Temporal
o
fim
de
Intervalo Temporal
e'
igual
a o
fim
de
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
Intervalo Temporal
encontra
Intervalo Temporal
hostedOn
Entidade
and
Objeto
vale
durante
Intervalo Temporal
hostedOn
Entidade
and
Objeto
vale
durante
Intervalo Temporal
Intervalo Temporal
e' um
agente
de
AutonomousAgent
AutonomousAgent
possui
Objeto
(=>
(
instance
?LISTING
WebListing
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 32-37
WebListing
e' uma
instancia
de
WebListing
WebSite
WebSite
e' uma
instancia
de
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
Humano
and
WebSite
WebListing
WebListing
e' uma
instancia
de
WebListing
listingSeller
WebListing
and
Humano
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