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
eCommerceSite
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
eCommerceSite
の数値 1 引数は
金融取引
の
instance
では %n
(
domain
eCommerceSite
2
WebSite
)
UXExperimentalTerms.kif 1707-1707
eCommerceSite
の数値 2 引数は
WebSite
の
instance
では %n
(
instance
eCommerceSite
CaseRole
)
UXExperimentalTerms.kif 1703-1703
eCommerceSite
は
格役割
の
instance
では %n
(
subrelation
eCommerceSite
broker
)
UXExperimentalTerms.kif 1711-1711
eCommerceSite
は
broker
の
subrelation
では %n
(
subrelation
eCommerceSite
instrument
)
UXExperimentalTerms.kif 1709-1709
eCommerceSite
は
instrument
の
subrelation
では %n
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
firstTimeBuyers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
firstTimeBuyers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
購買
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
firstTimeSellers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
(=>
(
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
firstTimeSellers
時間間隔
,
WebSite
and
コレクション
AutonomousAgent
は
コレクション
の
member
では %n
金融取引
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
の
time
の existence は
時間間隔
より
earlier
happens %n{ない}
(=>
(
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
コレクション
は
コレクション
の
instance
では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
WebListing
の
instance
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
で記述される
class
の
instances
の数 +
コレクション
の
instances
の数 は
BidCountFn
コレクション
と
equal
では %n
(=>
(
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
エンティティー
は
オブジェクト
の
instance
では %n
WebSite
は
WebSite
の
instance
では %n
エンティティー
ECT は
WebListing
の
patient
では %n
hostedOn
WebListing
and
WebSite
金融取引
金融取引
は
購買
の
instance
では %n
エンティティー
は
金融取引
の
patient
では %n
eCommerceSite
金融取引
and
WebSite
AutonomousAgent
は
金融取引
の
agent
では %n
(=>
(
and
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
member
?BUYING ?PURCHASES))
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE)))
UXExperimentalTerms.kif 839-846
webPurchases
コレクション
,
人[人間]
and
WebSite
金融取引
は
コレクション
の
member
では %n
金融取引
は
購買
の
instance
では %n
人[人間]
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
(=>
(
and
(
webSales
?SALES ?SELLER ?SITE)
(
member
?SELLING ?SALES))
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE)))
UXExperimentalTerms.kif 934-941
webSales
コレクション
,
人[人間]
and
WebSite
金融取引
は
コレクション
の
member
では %n
金融取引
は
販売
の
instance
では %n
人[人間]
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
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
工程
は
FinalValueFee
の
instance
では %n
WebListing
金融取引
,
AutonomousAgent
,
エンティティー
and
WebSite
WebListing
は
WebListing
の
instance
では %n
金融取引
は
販売
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
エンティティー
は
物理
の
instance
では %n
WebListing
は
WebListing
の
instance
では %n
エンティティー
は
WebListing
の
patient
では %n
エンティティー
は
金融取引
の
patient
では %n
金融取引
は
工程
を
cause
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
hostedOn
WebListing
and
WebSite
AutonomousAgent
は
WebSite
を
possess
es %n{ない}
eCommerceSite
金融取引
and
AutonomousAgent
(=>
(
prohibitedItem
?ITEM ?SITE)
(
modalAttribute
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
eCommerceSite
?SELLING ?SITE)))
Prohibition
))
UXExperimentalTerms.kif 398-405
prohibitedItem
オブジェクト
and
WebSite
ステートメント
エンティティー
エンティティー
は
販売
の
instance
では %n
eCommerceSite
エンティティー
and
WebSite
には
Prohibition
の
modal
force
が ある
(=>
(
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
siteCatalog
Database
and
WebSite
オブジェクト
コレクション
and
記号文字列
コレクション
は
コレクション
の
instance
では %n
オブジェクト
は
Database
の
part
では %n
オブジェクト
は
コレクション
を
express
es %n{ない}
オブジェクト
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
物理
の
instance
では %n
オブジェクト
は
記号文字列
で記述される
class
を
patient
として行う
capable
では %n
(=>
(
webPurchases
?PURCHASES ?BUYER ?SITE)
(
forall
(?BUYING)
(=>
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?BUYER)
(
eCommerceSite
?BUYING ?SITE))
(
member
?BUYING ?PURCHASES))))
UXExperimentalTerms.kif 829-837
webPurchases
コレクション
,
人[人間]
and
WebSite
金融取引
金融取引
は
購買
の
instance
では %n
人[人間]
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
は
コレクション
の
member
では %n
(=>
(
webSales
?SALES ?SELLER ?SITE)
(
forall
(?SELLING)
(=>
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?SELLER)
(
eCommerceSite
?SELLING ?SITE))
(
member
?SELLING ?SALES))))
UXExperimentalTerms.kif 924-932
webSales
コレクション
,
人[人間]
and
WebSite
金融取引
金融取引
は
販売
の
instance
では %n
人[人間]
は
金融取引
の
agent
では %n
eCommerceSite
金融取引
and
WebSite
金融取引
は
コレクション
の
member
では %n
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