Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
Agent
?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 848-850
(
domain
webcart
1
Agent
)
UXExperimentalTerms.kif 852-852
The number 1 argument of
web cart
is an
instance
of
agent
(
domain
webcart
2
Collection
)
UXExperimentalTerms.kif 854-854
The number 2 argument of
web cart
is an
instance
of
collection
(
domain
webcart
3
WebSite
)
UXExperimentalTerms.kif 856-856
The number 3 argument of
web cart
is an
instance
of
WebSite
(
instance
webcart
TernaryPredicate
)
UXExperimentalTerms.kif 844-844
web cart
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
webcart
"使用者 %1 在 %3 有 cart %2 ")
domainEnglishFormat.kif 4963-4963
(
format
ChineseTraditionalLanguage
webcart
"使用者 %1 在 %3 有 cart %2 ")
domainEnglishFormat.kif 4962-4962
(
format
EnglishLanguage
webcart
"user %1 at %3 has cart %2")
domainEnglishFormat.kif 4961-4961
(
termFormat
EnglishLanguage
webcart
"web cart")
UXExperimentalTerms.kif 846-846
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 864-874
If user
a cognitive agent
at
a WebSite
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 858-862
If user
an agent
at
a WebSite
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)
(
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 1523-1539
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 WebSite
and
a time position
such that
the collection
is an
instance
of
collection
and
the WebSite
is an
instance
of
WebSite
and
another time interval
is an
instance
of
time interval
and user
the agent
at
the WebSite
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
webcart