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
CombinationBulkCarrierShip
Sigma KEE - eCommerceSite
eCommerceSite
appearance as argument number 1
(
documentation
eCommerceSite
EnglishLanguage
"This
CaseRole
relates an instance of a
FinancialTransaction
to the
WebSite
that facilitaed the sale.")
UXExperimentalTerms.kif 1713-1714
(
domain
eCommerceSite
1
FinancialTransaction
)
UXExperimentalTerms.kif 1705-1705
Die Zahl 1 Argument von
eCommerceSite
ist ein
fall
von
FinancialTransaction
%n{nicht}
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
Die Zahl 2 Argument von
eCommerceSite
ist ein
fall
von
WebSite
%n{nicht}
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
eCommerceSite
ist ein
fall
von
CaseRole
%n{nicht}
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
eCommerceSite
ist eine
teilrelation
von
broker
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
eCommerceSite
ist eine
teilrelation
von
instrument
appearance as argument number 2
(
format
ChineseLanguage
eCommerceSite
"%2 facilitates %1 ")
domainEnglishFormat.kif 3294-3294
(
format
ChineseTraditionalLanguage
eCommerceSite
"%2 facilitates %1 ")
domainEnglishFormat.kif 3293-3293
(
format
EnglishLanguage
eCommerceSite
"%2 facilitates %1")
domainEnglishFormat.kif 3292-3292
(
termFormat
EnglishLanguage
eCommerceSite
"e-commerce site")
domainEnglishFormat.kif 65816-65816
consequent
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
Wenn
firstTimeBuyers
TimeInterval
,
WebSite
and
Collection
und
AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Buying
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
und die
zeit
des Bestehens von
** FinancialTransaction
geschieht
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
Wenn
firstTimeBuyers
TimeInterval
,
WebSite
and
Collection
und
AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt nicht
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Buying
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
und die
zeit
des Bestehens von
** FinancialTransaction
geschieht frueh als
** TimeInterval
%n{nicht}
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
Wenn
firstTimeSellers
TimeInterval
,
WebSite
and
Collection
und
AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
und die
zeit
des Bestehens von
** FinancialTransaction
geschieht
waehrend
** TimeInterval
%n{nicht}
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
Wenn
firstTimeSellers
TimeInterval
,
WebSite
and
Collection
und
AutonomousAgent
ist ein
Mitglied
von
** Collection
%n{nicht},
dann es gibt nicht
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
und die
zeit
des Bestehens von
** FinancialTransaction
geschieht frueh als
** TimeInterval
%n{nicht}
(=>
(
and
(
instance
?COLL
Collection
)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?COLL)
(
instance
?MEMBER
WebListing
))))
(
equal
(
DivisionFn
(
CardinalityFn
(
exists
(?LISTING ?SITE ?ITEM)
(
KappaFn
?LISTING
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
instance
?ITEM
Physical
)
(
member
?LISTING ?COLL)
(
patient
?LISTING ?ITEM)
(
hostedOn
?LISTING ?SITE)
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?ITEM)
(
eCommerceSite
?BUYING ?SITE)))))))
(
CardinalityFn
?COLL))
(
BidCountFn
?COLL)))
UXExperimentalTerms.kif 2845-2870
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und fuer alle
Physical
wenn
** Physical
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** Physical
ist ein
fall
von
WebListing
%n{nicht}
,
dann die Zahl
Faellen
in es gibt
entity
,
** entity
, and und
** entity
um die
kategorie
die
** entity
beschreibt und die Zahl
Faellen
in
** Collection
ist gleich
BidCountFn
** Collection
%n{nicht}
(=>
(
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
Wenn
listingBuyer
WebListing
and
AutonomousAgent
und
Entity
ist ein
fall
von
Object
%n{nicht} und
WebSite
ist ein
fall
von
WebSite
%n{nicht} und
** Entity
ECT ist ein
patient
von
** WebListing
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
,
dann es gibt
FinancialTransaction
um
** FinancialTransaction
ist ein
fall
von
Buying
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
und
** FinancialTransaction
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
Wenn
webPurchases
Collection
,
Human
and
WebSite
und
FinancialTransaction
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** FinancialTransaction
ist ein
fall
von
Buying
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** Human
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
Wenn
webSales
Collection
,
Human
and
WebSite
und
FinancialTransaction
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** Human
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
(=>
(
instance
?CHARGE
FinalValueFee
)
(
exists
(?ADVERT ?SELLING ?OWNER ?ITEM ?SITE)
(
and
(
instance
?ADVERT
WebListing
)
(
instance
?SELLING
Selling
)
(
instance
?OWNER
AutonomousAgent
)
(
instance
?ITEM
Physical
)
(
instance
?ADVERT
WebListing
)
(
patient
?ADVERT ?ITEM)
(
patient
?SELLING ?ITEM)
(
causes
?SELLING ?CHARGE)
(
agent
?CHARGE ?OWNER)
(
hostedOn
?ADVERT ?SITE)
(
possesses
?OWNER ?SITE)
(
eCommerceSite
?SELLING ?OWNER))))
UXExperimentalTerms.kif 240-255
Wenn
Process
ist ein
fall
von
FinalValueFee
%n{nicht},
dann es gibt
WebListing
,
FinancialTransaction
,, ,
AutonomousAgent
,, ,
Entity
, and und
WebSite
um
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** Entity
ist ein
fall
von
Physical
%n{nicht} und
** WebListing
ist ein
fall
von
WebListing
%n{nicht} und
** Entity
ist ein
patient
von
** WebListing
%n{nicht} und
** Entity
ist ein
patient
von
** FinancialTransaction
%n{nicht} und
** FinancialTransaction
verursacht
** Process
%n{nicht} und
** Process
ist der
agent
von
** AutonomousAgent
%n{nicht} und
hostedOn
** WebListing
and
** WebSite
und
** AutonomousAgent
besitzt
** WebSite
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** AutonomousAgent
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
Wenn
prohibitedItem
Object
and
WebSite
,
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Selling
%n{nicht} und
eCommerceSite
** entity
and
** WebSite
hat die modale Kraft von
Prohibition
(=>
(
siteCatalog
?DATABASE ?WEBSITE)
(
exists
(?PART ?PRODUCTS ?BUYING)
(
and
(
instance
?PRODUCTS
Collection
)
(
part
?PART ?DATABASE)
(
represents
?PART ?PRODUCTS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?PRODUCTS)
(
and
(
instance
?MEMBER
Physical
)
(
capability
(
KappaFn
?BUYING
(
and
(
instance
?BUYING
Buying
)
(
eCommerceSite
?BUYING ?WEBSITE)))
patient
?MEMBER)))))))
UXExperimentalTerms.kif 2242-2259
Wenn
siteCatalog
Database
and
WebSite
,
dann es gibt
Object
,
Collection
, and und
SymbolicString
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** Object
ist ein
teil
von
** Database
%n{nicht} und
** Object
drueckt
** Collection
aus und fuer alle
** Object
wenn
** ** Object
ist ein
Mitglied
von
** Collection
%n{nicht},
dann
** ** Object
ist ein
fall
von
Physical
%n{nicht} und
** ** Object
ist faehig %n{nicht}, in der Rolle
patient
die
kategorie
die
** SymbolicString
beschreibt zu tun
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
Wenn
webPurchases
Collection
,
Human
and
WebSite
,
dann fuer alle
FinancialTransaction
wenn
** FinancialTransaction
ist ein
fall
von
Buying
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** Human
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
,
dann
** FinancialTransaction
ist ein
Mitglied
von
** Collection
%n{nicht}
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
Wenn
webSales
Collection
,
Human
and
WebSite
,
dann fuer alle
FinancialTransaction
wenn
** FinancialTransaction
ist ein
fall
von
Selling
%n{nicht} und
** FinancialTransaction
ist der
agent
von
** Human
%n{nicht} und
eCommerceSite
** FinancialTransaction
and
** WebSite
,
dann
** FinancialTransaction
ist ein
Mitglied
von
** Collection
%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