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
Le nombre 1 argument de
hostedOn
est une
instance
de
WebListing
(
domain
hostedOn
2
WebSite
)
UXExperimentalTerms.kif 119-119
Le nombre 2 argument de
hostedOn
est une
instance
de
WebSite
(
instance
hostedOn
BinaryPredicate
)
UXExperimentalTerms.kif 117-117
hostedOn
est une
instance
de
pr�dicat binaire
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
est une
instance
de
WebListing
WebSite
est une
instance
de
WebSite
hostedOn
AutonomousAgent
and
WebSite
creator
AutonomousAgent
and
humain
webSeller
humain
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�
est une
instance
de
objet
WebSite
est une
instance
de
WebSite
entit�
ECT est un
patient
de
WebListing
hostedOn
WebListing
and
WebSite
financial transaction
financial transaction
est une
instance
de
acheter
entit�
est un
patient
de
financial transaction
eCommerceSite
financial transaction
and
WebSite
financial transaction
est un
agent
de
AutonomousAgent
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
hostedOn
?LISTING ?SITE))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 70-74
listingSeller
WebListing
and
humain
hostedOn
WebListing
and
WebSite
webSeller
humain
and
WebSite
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
hostedOn
cha�ne sympbolique
and
WebSite
cha�ne sympbolique
cha�ne sympbolique
est une
instance
de
WebPage
subString
cha�ne sympbolique
and
cha�ne sympbolique
subString
cha�ne sympbolique
and
WebSite
consequent
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
advertisedOn
objet
and
WebSite
WebListing
WebListing
est une
instance
de
promouvoir
hostedOn
WebListing
and
WebSite
objet
est un
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
est une
instance
de
AutonomousAgent
WebSite
est une
instance
de
WebSite
collection
collection
est une
instance
de
collection
WebListing
WebListing
est une
instance
de
WebListing
hostedOn
WebListing
and
WebSite
listingSeller
WebListing
and
AutonomousAgent
WebListing
est un
membre
de
collection
SellersItemsFn
AutonomousAgent
and
WebSite
est
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
Collection
est une
instance
de
collection
physique
physique
est un
membre
de
collection
physique
est une
instance
de
WebListing
le nombre d'
instances
dans
entit�
entit�
and
entit�
la
classe
d�crite par
entit�
+ le nombre d'
instances
dans
collection
est
BidCountFn
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
Objet corpusculaire
est une
instance
de
ViewItemPage
WebSite
est une
instance
de
WebSite
objet corpusculaire
est un
composant
de
WebSite
entit�
WebListing
entit�
est une
instance
de
objet
WebListing
est une
instance
de
WebListing
WebListing
est un
composant
de
objet corpusculaire
hostedOn
WebListing
and
WebSite
entit�
est un
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
Processus
est une
instance
de
FinalValueFee
WebListing
financial transaction
,
AutonomousAgent
,
entit�
and
WebSite
WebListing
est une
instance
de
WebListing
financial transaction
est une
instance
de
vendre
AutonomousAgent
est une
instance
de
AutonomousAgent
entit�
est une
instance
de
physique
WebListing
est une
instance
de
WebListing
entit�
est un
patient
de
WebListing
entit�
est un
patient
de
financial transaction
financial transaction
cause
processus
processus
est un
agent
de
AutonomousAgent
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
eCommerceSite
financial transaction
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
Processus
est une
instance
de
InsertionFee
WebSite
AutonomousAgent
and
WebListing
WebSite
est une
instance
de
WebSite
AutonomousAgent
est une
instance
de
AutonomousAgent
WebListing
est une
instance
de
WebListing
hostedOn
WebListing
and
WebSite
AutonomousAgent
poss
�de
WebSite
processus
est un
agent
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
Interval temporel
est une
instance
de
ListOnSite
objet
entit�
,
interval temporel
,
interval temporel
and
AutonomousAgent
objet
est une
instance
de
WebSite
entit�
est une
instance
de
WebListing
interval temporel
est une
instance
de
interval temporel
interval temporel
est une
instance
de
interval temporel
entit�
est un
patient
de
interval temporel
la
fin
de
interval temporel
est
fin
de
interval temporel
interval temporel
arrive
plus
t�t que
interval temporel
interval temporel
rencontre
interval temporel
hostedOn
entit�
and
objet
pendant
interval temporel
hostedOn
entit�
and
objet
pendant
interval temporel
interval temporel
est un
agent
de
AutonomousAgent
AutonomousAgent
poss
�de
objet
(=>
(
instance
?LISTING
WebListing
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 32-37
WebListing
est une
instance
de
WebListing
WebSite
WebSite
est une
instance
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
humain
and
WebSite
WebListing
WebListing
est une
instance
de
WebListing
listingSeller
WebListing
and
humain
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