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
The number 1 argument of
listing buyer
is an
instance
of
web listing
(
domain
listingBuyer
2
AutonomousAgent
)
UXExperimentalTerms.kif 78-78
The number 2 argument of
listing buyer
is an
instance
of
agent
(
instance
listingBuyer
BinaryPredicate
)
UXExperimentalTerms.kif 76-76
listing buyer
is an
instance
of
binary predicate
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
If
an agent
buys
a web listing
and
an entity
is an
instance
of
object
and
a web site
is an
instance
of
web site
and
the entity
ECT is a
patient
of
the web listing
and
the web listing
is
hosted
on
the web site
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the entity
is a
patient
of
the financial transaction
and
the web site
facilitates
the financial transaction
and
the agent
is an
agent
of
the financial transaction
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