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
Die Zahl 1 Argument von
hostedOn
ist ein
fall
von
WebListing
%n{nicht}
(
domain
hostedOn
2
WebSite
)
UXExperimentalTerms.kif 119-119
Die Zahl 2 Argument von
hostedOn
ist ein
fall
von
WebSite
%n{nicht}
(
instance
hostedOn
BinaryPredicate
)
UXExperimentalTerms.kif 117-117
hostedOn
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
Wenn
AutonomousAgent
ist ein
fall
von
WebListing
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
hostedOn
** AutonomousAgent
and
** WebSite
und
creator
** AutonomousAgent
and
Human
,
dann
webSeller
** Human
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
Wenn
listingBuyer
WebListing
and
AutonomousAgent
und
Entity
ist ein
fall
von
Object
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
** Entity
ECT ist ein
patient
von
** WebListing
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Buying
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
hostedOn
?LISTING ?SITE))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 70-74
Wenn
listingSeller
WebListing
and
Human
und
hostedOn
** WebListing
and
WebSite
,
dann
webSeller
** Human
and
** WebSite
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
Wenn
hostedOn
SymbolicString
and
WebSite
,
dann es gibt
** SymbolicString
um
** ** SymbolicString
ist ein
fall
von
WebPage
%n{nicht} und
subString
** SymbolicString
and
** ** SymbolicString
und
subString
** ** SymbolicString
and
** WebSite
consequent
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
Wenn
advertisedOn
Object
and
WebSite
,
dann es gibt
WebListing
um
** WebListing
ist ein
fall
von
Advertising
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
und
** Object
ist ein
patient
von
** WebListing
%n{nicht}
(=>
(
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
Wenn
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht},
dann es gibt
Collection
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
WebListing
wenn
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
und
listingSeller
** WebListing
and
** AutonomousAgent
,
dann
** WebListing
ist ein
Mitglied
von
** Collection
%n{nicht}
und
SellersItemsFn
** AutonomousAgent
and
** WebSite
ist gleich
** Collection
%n{nicht}
(=>
(
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
WebListing
%n{nicht}
,
dann die Zahl
Faellen
in es gibt
entity
,
** entity
, and und
** entity
um die
kategorie
die
** entity
beschreibt und die Zahl
Faellen
in
** Collection
ist gleich
BidCountFn
** Collection
%n{nicht}
(=>
(
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
Wenn
CorpuscularObject
ist ein
fall
von
ViewItemPage
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
** CorpuscularObject
ist ein
bestandteil
von
** WebSite
%n{nicht},
dann es gibt
Entity
und
WebListing
um
** Entity
ist ein
fall
von
Object
%n{nicht} und
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
** WebListing
ist ein
bestandteil
von
** CorpuscularObject
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
und
** Entity
ist ein
patient
von
** WebListing
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
FinalValueFee
%n{nicht},
dann es gibt
WebListing
,
FinancialTransaction
,, ,
AutonomousAgent
,, ,
Entity
, and und
WebSite
um
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Entity
ist ein
fall
von
Physical
%n{nicht} und
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
** Entity
ist ein
patient
von
** WebListing
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
** FinancialTransaction
verursacht
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
und
** AutonomousAgent
besitzt
** WebSite
%n{nicht} und
eCommerceSite
** FinancialTransaction
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
Wenn
Process
ist ein
fall
von
InsertionFee
%n{nicht},
dann es gibt
WebSite
,
AutonomousAgent
, and und
WebListing
um
** WebSite
ist ein
fall
von
WebSite
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
und
** AutonomousAgent
besitzt
** WebSite
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
TimeInterval
ist ein
fall
von
ListOnSite
%n{nicht},
dann es gibt
Object
,
Entity
,, ,
** TimeInterval
,, ,
** TimeInterval
, and und
AutonomousAgent
um
** Object
ist ein
fall
von
WebSite
%n{nicht} und
** Entity
ist ein
fall
von
WebListing
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
** Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und das
ende
von
** ** TimeInterval
ist gleich das
ende
von
** TimeInterval
%n{nicht} und
** TimeInterval
geschieht frueh als
** ** TimeInterval
%n{nicht} und
** TimeInterval
schliesst
** ** TimeInterval
zeitlich an und
hostedOn
** Entity
and
** Object
haelt
waehrend
** ** TimeInterval
%n{nicht} und
hostedOn
** Entity
and
** Object
haelt
waehrend
** ** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** AutonomousAgent
besitzt
** Object
%n{nicht}
(=>
(
instance
?LISTING
WebListing
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 32-37
Wenn
WebListing
ist ein
fall
von
WebListing
%n{nicht},
dann es gibt
WebSite
um
** WebSite
ist ein
fall
von
WebSite
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
(=>
(
webSeller
?SELLER ?SITE)
(
exists
(?LISTING)
(
and
(
instance
?LISTING
WebListing
)
(
listingSeller
?LISTING ?SELLER)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 959-965
Wenn
webSeller
Human
and
WebSite
,
dann es gibt
WebListing
um
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
listingSeller
** WebListing
and
** Human
und
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