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
listingBuyer
Sigma KEE - listingBuyer
listingBuyer
appearance as argument number 1
(
documentation
listingBuyer
EnglishLanguage
"(listingBuyer ?LISTING ?AGENT) relates an
AutonomousAgent
to a
WebListing
. It represents that ?AGENT is the entity that was the
agent
of a
Buying
where the
Object
which is the
patient
of the buying is also the
patient
the ?LISTING, and the
WebSite
which the ?LISTING is
hostedOn
is the
eCommerceSite
of the buying.")
UXExperimentalTerms.kif 81-84
(
domain
listingBuyer
1
WebListing
)
UXExperimentalTerms.kif 77-77
listingBuyer
的 1 数量 是
WebListing
的
instance
(
domain
listingBuyer
2
AutonomousAgent
)
UXExperimentalTerms.kif 78-78
listingBuyer
的 2 数量 是
施事体
的
instance
(
instance
listingBuyer
BinaryPredicate
)
UXExperimentalTerms.kif 76-76
listingBuyer
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
listingBuyer
"%2
buys
%1 ")
domainEnglishFormat.kif 3778-3778
(
format
ChineseTraditionalLanguage
listingBuyer
"%2
buys
%1")
domainEnglishFormat.kif 3777-3777
(
format
EnglishLanguage
listingBuyer
"%2
buys
%1")
domainEnglishFormat.kif 3776-3776
(
termFormat
EnglishLanguage
listingBuyer
"listing buyer")
UXExperimentalTerms.kif 79-79
antecedent
(=>
(
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
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