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
では %n
(
domain
listingBuyer
2
AutonomousAgent
)
UXExperimentalTerms.kif 78-78
listingBuyer
の数値 2 引数は
AutonomousAgent
の
instance
では %n
(
instance
listingBuyer
BinaryPredicate
)
UXExperimentalTerms.kif 76-76
listingBuyer
は
2進述語
の
instance
では %n
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
listingBuyer
WebListing
and
AutonomousAgent
エンティティー
は
オブジェクト
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
エンティティー
ECT は
WebListing
の
patient
では %n
hostedOn
WebListing
and
WebSite
金融取引
金融取引
は
購買
の
instance
では %n
エンティティー
は
金融取引
の
patient
では %n
eCommerceSite
金融取引
and
WebSite
AutonomousAgent
は
金融取引
の
agent
では %n
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