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
webcart
Sigma KEE - webcart
webcart
appearance as argument number 1
(
documentation
webcart
EnglishLanguage
"(webCart ?USER ?COLL ?SITE) associates a
Collection
of
Object
s ?COLL with an
AutonomousAgent
?USER and a
WebSite
?SITE. It specifies that ?COLL is the users webcart at ?SITE, and that ?USER
desires
to buy the
member
s of ?COLL.")
UXExperimentalTerms.kif 676-678
(
domain
webcart
1
AutonomousAgent
)
UXExperimentalTerms.kif 680-680
The number 1 argument of
web cart
is an
instance
of
agent
(
domain
webcart
2
Collection
)
UXExperimentalTerms.kif 681-681
The number 2 argument of
web cart
is an
instance
of
collection
(
domain
webcart
3
WebSite
)
UXExperimentalTerms.kif 682-682
The number 3 argument of
web cart
is an
instance
of
web site
(
instance
webcart
TernaryPredicate
)
UXExperimentalTerms.kif 673-673
web cart
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
webcart
"使用者 %1 在 %3 有 cart %2 ")
domainEnglishFormat.kif 4954-4954
(
format
ChineseTraditionalLanguage
webcart
"使用者 %1 在 %3 有 cart %2 ")
domainEnglishFormat.kif 4953-4953
(
format
EnglishLanguage
webcart
"user %1 at %3 has cart %2")
domainEnglishFormat.kif 4952-4952
(
termFormat
EnglishLanguage
webcart
"web cart")
UXExperimentalTerms.kif 674-674
antecedent
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
instance
?OBJ
Object
)
(
member
?OBJ ?COLL))
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER)))))
UXExperimentalTerms.kif 690-700
If user
a cognitive agent
at
a web site
has
cart
a collection
and
a physical
is an
instance
of
object
and
the physical
is a
member
of
the collection
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
buying
and
the physical
is a
patient
of
the entity
and
the cognitive agent
is an
agent
of
the entity
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
If user
an agent
at
a web site
has
cart
a collection
and
a physical
is a
member
of
the collection
,
then
the physical
is an
instance
of
object
consequent
(=>
(
and
(
instance
?ATC
AddToCart
)
(
instance
?OBJ
Object
)
(
patient
?ATC ?OBJ)
(
agent
?ATC ?USER))
(
exists
(?COLL ?SITE ?AFTER ?INTERVAL)
(
and
(
instance
?COLL
Collection
)
(
instance
?SITE
WebSite
)
(
instance
?INTERVAL
TimeInterval
)
(
webcart
?USER ?COLL ?SITE)
(
equal
(
BeginFn
?INTERVAL)
(
EndFn
?ATC))
(
holdsDuring
?AFTER
(
member
?OBJ ?COLL)))))
UXExperimentalTerms.kif 1326-1342
If
a time interval
is an
instance
of
add to cart
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the time interval
and
an agent
is an
agent
of
the time interval
,
then there exist
a collection
,
a web site
,, ,
a time position
and
another time interval
such that
the collection
is an
instance
of
collection
and
the web site
is an
instance
of
web site
and
the other time interval
is an
instance
of
time interval
and user
the agent
at
the web site
has
cart
the collection
and the
beginning
of
the other time interval
is
equal
to the
end
of
the time interval
and
the entity
is a
member
of
the collection
holds
during
the time position
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