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
SecondarySmeltingRefiningAndAlloyingOfNonferrousMetalExceptCopperAndAluminum
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
Il numero 1 argomenti di
listingBuyer
è un
istanza
di
WebListing
(
domain
listingBuyer
2
AutonomousAgent
)
UXExperimentalTerms.kif 78-78
Il numero 2 argomenti di
listingBuyer
è un
istanza
di
AutonomousAgent
(
instance
listingBuyer
BinaryPredicate
)
UXExperimentalTerms.kif 76-76
listingBuyer
è un'
istanza
di
PredicatoBinario
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
Entit�
è un'
istanza
di
Oggetto
WebSite
è un'
istanza
di
WebSite
Entit�
ECT è un
paziente
di
WebListing
hostedOn
WebListing
and
WebSite
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
Entit�
è un
paziente
di
ScambioFinanziario
eCommerceSite
ScambioFinanziario
and
WebSite
ScambioFinanziario
è un
agente
di
AutonomousAgent
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