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
hostedOn
的 1 数量 是
WebListing
的
instance
(
domain
hostedOn
2
WebSite
)
UXExperimentalTerms.kif 119-119
hostedOn
的 2 数量 是
WebSite
的
instance
(
instance
hostedOn
BinaryPredicate
)
UXExperimentalTerms.kif 117-117
hostedOn
是
二元谓语
的
instance
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
如果
施事体
是
WebListing
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 施事体
是在
那个 WebSite
hosted
和
那个 施事体
created
人类
,
然后
那个 人类
是
seller
在
那个 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
如果
施事体
buys
WebListing
和
实体
是
客体
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 实体
ECT 是
那个 WebListing
的
patient
和
那个 WebListing
是在
那个 WebSite
hosted
,
然后 有存在
金融交易
这样
那个 金融交易
是
购买
的
instance
和
那个 实体
是
那个 金融交易
的
patient
和
那个 WebSite
facilitates
那个 金融交易
和
那个 施事体
是
那个 金融交易
的
agent
(=>
(
and
(
listingSeller
?LISTING ?AGENT)
(
hostedOn
?LISTING ?SITE))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 70-74
如果
人类
sells
WebListing
和
那个 WebListing
是在
WebSite
hosted
,
然后
那个 人类
是
seller
在
那个 WebSite
(=>
(
hostedOn
?LISTING ?SITE)
(
exists
(?PAGE)
(
and
(
instance
?PAGE
WebPage
)
(
subString
?LISTING ?PAGE)
(
subString
?PAGE ?SITE))))
UXExperimentalTerms.kif 125-131
如果
符号串
是在
WebSite
hosted
,
然后 有存在
另一个 符号串
这样
那个 另外 符号串
是
WebPage
的
instance
和
那个 符号串
是
那个 另外 符号串
的
sub
-string 和
那个 另外 符号串
是
那个 WebSite
的
sub
-string
consequent
(=>
(
advertisedOn
?OBJ ?SITE)
(
exists
(?ADVERT)
(
and
(
instance
?ADVERT
Advertising
)
(
hostedOn
?ADVERT ?SITE)
(
patient
?ADVERT ?OBJ))))
UXExperimentalTerms.kif 193-199
如果
advertisedOn
客体
and
WebSite
,
然后 有存在
WebListing
这样
那个 WebListing
是
广告
的
instance
和
那个 WebListing
是在
那个 WebSite
hosted
和
那个 客体
是
那个 WebListing
的
patient
(=>
(
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
如果
施事体
是
施事体
的
instance
和
WebSite
是
WebSite
的
instance
,
然后 有存在
群体
这样
那个 群体
是
群体
的
instance
和 对所有
WebListing
如果
那个 WebListing
是
WebListing
的
instance
和
那个 WebListing
是在
那个 WebSite
hosted
和
那个 施事体
sells
那个 WebListing
,
然后
那个 WebListing
是
那个 群体
的
member
和 样品对于
sale
由
那个 施事体
在
那个 WebSite
equal
那个 群体
(=>
(
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
如果
群体
是
群体
的
instance
和 对所有
物理
如果
那个 物理
是
那个 群体
的
member
,
然后
那个 物理
是
WebListing
的
instance
,
然后 有存在
实体
,
另一个 实体
, and 和
第三 实体
这样
那个 实体
所描述的类别
instance
的数量 和
那个 群体
instance
的数量
equal
在
那个 群体
的
bids
數字
(=>
(
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
如果
躯体性物体
是
ViewItemPage
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 躯体性物体
是
那个 WebSite
的
component
,
然后 有存在
实体
和
WebListing
这样
那个 实体
是
客体
的
instance
和
那个 WebListing
是
WebListing
的
instance
和
那个 WebListing
是
那个 躯体性物体
的
component
和
那个 WebListing
是在
那个 WebSite
hosted
和
那个 实体
是
那个 WebListing
的
patient
(=>
(
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
如果
过程
是
FinalValueFee
的
instance
,
然后 有存在
WebListing
,
金融交易
,, ,
施事体
,, ,
实体
, and 和
WebSite
这样
那个 WebListing
是
WebListing
的
instance
和
那个 金融交易
是
出售
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 实体
是
物理
的
instance
和
那个 WebListing
是
WebListing
的
instance
和
那个 实体
是
那个 WebListing
的
patient
和
那个 实体
是
那个 金融交易
的
patient
和
那个 金融交易
causes
那个 过程
和
那个 施事体
是
那个 过程
的
agent
和
那个 WebListing
是在
那个 WebSite
hosted
和
那个 施事体
possesses
那个 WebSite
和
那个 施事体
facilitates
那个 金融交易
(=>
(
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
如果
过程
是
InsertionFee
的
instance
,
然后 有存在
WebSite
,
施事体
, and 和
WebListing
这样
那个 WebSite
是
WebSite
的
instance
和
那个 施事体
是
施事体
的
instance
和
那个 WebListing
是
WebListing
的
instance
和
那个 WebListing
是在
那个 WebSite
hosted
和
那个 施事体
possesses
那个 WebSite
和
那个 施事体
是
那个 过程
的
agent
(=>
(
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
如果
时距
是
ListOnSite
的
instance
,
然后 有存在
客体
,
实体
,, ,
另一个 时距
,, ,
第三 时距
, and 和
施事体
这样
那个 客体
是
WebSite
的
instance
和
那个 实体
是
WebListing
的
instance
和
那个 另外 时距
是
时距
的
instance
和
那个 第三 时距
是
时距
的
instance
和
那个 实体
是
那个 时距
的
patient
和
那个 另外 时距
的结束
equal
那个 时距
的结束 和
那个 时距
比
那个 第三 时距
发生的
earlier
和
那个 时距
接着
那个 第三 时距
和 不
那个 实体
是在
那个 客体
hosted
在
那个 另外 时距
holdsDuring
和
那个 实体
是在
那个 客体
hosted
在
那个 第三 时距
holdsDuring
和
那个 施事体
是
那个 时距
的
agent
和
那个 施事体
possesses
那个 客体
(=>
(
instance
?LISTING
WebListing
)
(
exists
(?SITE)
(
and
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 32-37
如果
WebListing
是
WebListing
的
instance
,
然后 有存在
WebSite
这样
那个 WebSite
是
WebSite
的
instance
和
那个 WebListing
是在
那个 WebSite
hosted
(=>
(
webSeller
?SELLER ?SITE)
(
exists
(?LISTING)
(
and
(
instance
?LISTING
WebListing
)
(
listingSeller
?LISTING ?SELLER)
(
hostedOn
?LISTING ?SITE))))
UXExperimentalTerms.kif 959-965
如果
人类
是
seller
在
WebSite
,
然后 有存在
WebListing
这样
那个 WebListing
是
WebListing
的
instance
和
那个 人类
sells
那个 WebListing
和
那个 WebListing
是在
那个 WebSite
hosted
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