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
creator
Sigma KEE - creator
creator
appearance as argument number 1
(
documentation
creator
EnglishLanguage
"(creator ?AGENT ?ENTITY) means that some
AutonomousAgent
?AGENT is the creator of some
Entity
?ENTITY")
Mid-level-ontology.kif 13965-13966
(
domain
creator
1
AutonomousAgent
)
Mid-level-ontology.kif 13963-13963
creator
的 1 数量 是
施事体
的
instance
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13964-13964
creator
的 2 数量 是
实体
的
instance
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13962-13962
creator
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3138-3138
(
format
ChineseTraditionalLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3137-3137
(
format
EnglishLanguage
creator
"%1 created %2")
domainEnglishFormat.kif 3136-3136
(
subrelation
composer
creator
)
Music.kif 137-137
composer
是
creator
的
subrelation
(
subrelation
lyricist
creator
)
Music.kif 156-156
lyricist
是
creator
的
subrelation
(
termFormat
EnglishLanguage
creator
"creator")
Mid-level-ontology.kif 13967-13967
lyricist
是
creator
的
subrelation
antecedent
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?ITEM
Object
)
(
instance
?CREATOR
AutonomousAgent
)
(
attribute
?LISTING
AuctionAttribute
)
(
patient
?ITEM ?LISTING)
(
creator
?CREATOR ?LISTING))
(
desires
?CREATOR
(
exists
(?AUCTION)
(
and
(
instance
?AUCTION
Auctioning
)
(
patient
?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 313-325
如果
客体
是
WebListing
的
instance
和
过程
是
客体
的
instance
和
有认知的主事
是
施事体
的
instance
和
AuctionAttribute
是
那个 客体
的
attribute
和
那个 客体
是
那个 过程
的
patient
和
那个 有认知的主事
created
那个 客体
,
然后
那个 有认知的主事
desires
有存在
实体
这样
那个 实体
是
Auctioning
的
instance
和
那个 过程
是
那个 实体
的
patient
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
如果
施事体
是
WebListing
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 施事体
是在
那个 WebSite
hosted
和
那个 施事体
created
人类
,
然后
那个 人类
是
seller
在
那个 WebSite
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
AutonomousAgent
)
(
instance
?W
WebSite
)
(
component
?P ?W)
(
creator
?A ?P)
(
registeredUser
?A ?W))
(
hasPurpose
?P
(
exists
(?D)
(
and
(
instance
?D
Disseminating
)
(
agent
?D ?A)
(
patient
?D ?P)
(
instrument
?D ?W)))))
ComputerInput.kif 2830-2844
如果
躯体性物体
是
DigitalPost
的
instance
和
施事体
是
施事体
的
instance
和
WebSite
是
WebSite
的
instance
和
那个 躯体性物体
是
那个 WebSite
的
component
和
那个 施事体
created
那个 躯体性物体
和
那个 施事体
是
那个 WebSite
的
registered
user
,
然后
那个 躯体性物体
的 目的 是 有存在
实体
这样
那个 实体
是
传播
的
instance
和
那个 施事体
是
那个 实体
的
agent
和
那个 躯体性物体
是
那个 实体
的
patient
和
那个 WebSite
是导致
那个 实体
的
instrument
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13968-13974
如果
施事体
created
实体
,
然后 有存在
过程
这样
那个 过程
是
创作
的
instance
和
那个 施事体
是
那个 过程
的
agent
和
那个 实体
是
那个 过程
的
result
consequent
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
如果
类
是
Android
的
subclass
和
实体
是
那个 类
的
instance
,
然后
Alphabet公司
created
那个 实体
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
如果
类
是
苹果作业系统
的
subclass
和
实体
是
那个 类
的
instance
,
然后
苹果
created
那个 实体
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
如果
类
是
WindowsOS
的
subclass
和
实体
是
那个 类
的
instance
,
然后
微软
created
那个 实体
(=>
(
listingSeller
?LISTING ?AGENT)
(
creator
?LISTING ?AGENT))
UXExperimentalTerms.kif 57-59
如果
施事体
sells
另一个 施事体
,
然后
那个 另外 施事体
created
那个 施事体
appearance as argument number 0
(
creator
AdobeComputerCorp
AdobeFlashPlayer
)
ComputingBrands.kif 2950-2950
Adobe
created
Flash
(
creator
AppleComputer
AppleAppStore
)
ComputingBrands.kif 1971-1971
AppleComputer
created
蘋果app 商店
(
creator
AppleComputerCorporation
AirPlay
)
ComputingBrands.kif 1858-1858
苹果
created
隔空播放
(
creator
AppleComputerCorporation
AirPrint
)
ComputingBrands.kif 1900-1900
苹果
created
隔空打印
(
creator
AppleComputerCorporation
AppleFairPlay
)
ComputingBrands.kif 956-956
苹果
created
FairPlay
(
creator
AppleComputerCorporation
AppleMigrationAssistant
)
ComputingBrands.kif 989-989
苹果
created
迁移助理
(
creator
AppleComputerCorporation
AppleSafari
)
ComputingBrands.kif 975-975
苹果
created
Safari
(
creator
AppleComputerCorporation
AppleSetupAssistant
)
ComputingBrands.kif 982-982
苹果
created
设置助理
(
creator
AppleComputerCorporation
CocoaTouch
)
ComputingBrands.kif 2433-2433
苹果
created
可可触控
(
creator
AppleComputerCorporation
IBooks
)
ComputingBrands.kif 3293-3293
苹果
created
AppleBooks
(
creator
AppleComputerCorporation
IBookstore
)
ComputingBrands.kif 3306-3306
苹果
created
iBookstore
(
creator
ByteDance
TikTok
)
ComputingBrands.kif 4591-4591
ByteDance
created
抖音
(
creator
ByteDance
Toutiao
)
ComputingBrands.kif 4622-4622
ByteDance
created
Toutiao
(
creator
EBay
EBayWebSite
)
ComputingBrands.kif 4677-4677
EBay
created
EBayWebSite
(
creator
FacebookCorporation
Facebook
)
ComputingBrands.kif 69-69
脸书
created
脸书
(
creator
GoogleCorporation
GMail
)
ComputingBrands.kif 3100-3100
GoogleCorporation
created
GMail
(
creator
GoogleCorporation
YouTube
)
ComputingBrands.kif 4635-4635
GoogleCorporation
created
YouTube
(
creator
MicrosoftCorporation
ActiveSync
)
ComputingBrands.kif 1770-1770
微软
created
活性同步
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