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
Die Zahl 1 Argument von
webcart
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
domain
webcart
2
Collection
)
UXExperimentalTerms.kif 681-681
Die Zahl 2 Argument von
webcart
ist ein
fall
von
Collection
%n{nicht}
(
domain
webcart
3
WebSite
)
UXExperimentalTerms.kif 682-682
Die Zahl 3 Argument von
webcart
ist ein
fall
von
WebSite
%n{nicht}
(
instance
webcart
TernaryPredicate
)
UXExperimentalTerms.kif 673-673
webcart
ist ein
fall
von
TernaryPredicate
%n{nicht}
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
Wenn
webcart
CognitiveAgent
,
Collection
and
WebSite
und
Physical
ist ein
fall
von
Object
%n{nicht} und
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** CognitiveAgent
wuenscht es gibt
entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und
** Physical
ist ein
patient
von
** entity
%n{nicht} und
** entity
ist der
agent
von
** CognitiveAgent
%n{nicht} %n{nicht}
(=>
(
and
(
webcart
?USER ?COLL ?SITE)
(
member
?OBJ ?COLL))
(
instance
?OBJ
Object
))
UXExperimentalTerms.kif 684-688
Wenn
webcart
AutonomousAgent
,
Collection
and
WebSite
und
Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
Object
%n{nicht}
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
Wenn
TimeInterval
ist ein
fall
von
AddToCart
%n{nicht} und
Entity
ist ein
fall
von
Object
%n{nicht} und
** Entity
ist ein
patient
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
AutonomousAgent
%n{nicht},
dann es gibt
Collection
,
WebSite
,, ,
TimePosition
, and und
** TimeInterval
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** WebSite
ist ein
fall
von
WebSite
%n{nicht} und
** ** TimeInterval
ist ein
fall
von
TimeInterval
%n{nicht} und
webcart
** AutonomousAgent
,
** Collection
and
** WebSite
und der
anfang
von
** ** TimeInterval
ist gleich das
ende
von
** TimeInterval
%n{nicht} und
** Entity
ist ein
Mitglied
von
** Collection
%n{nicht} haelt
waehrend
** TimePosition
%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