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
LaboratoryApparatusAndFurnitureManufacturing
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
Die Zahl 1 Argument von
listingBuyer
ist ein
fall
von
WebListing
%n{nicht}
(
domain
listingBuyer
2
AutonomousAgent
)
UXExperimentalTerms.kif 78-78
Die Zahl 2 Argument von
listingBuyer
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
listingBuyer
BinaryPredicate
)
UXExperimentalTerms.kif 76-76
listingBuyer
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
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}
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