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
BirchWood
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 13742-13743
(
domain
creator
1
AutonomousAgent
)
Mid-level-ontology.kif 13740-13740
域
creator
, 1 and
AutonomousAgent
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13741-13741
域
creator
, 2 and
Entity
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13739-13739
例
creator
and
BinaryPredicate
appearance as argument number 2
(
format
ChineseLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3146-3146
(
format
ChineseTraditionalLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3145-3145
(
format
EnglishLanguage
creator
"%1 created %2")
domainEnglishFormat.kif 3144-3144
(
subrelation
composer
creator
)
Music.kif 137-137
子關係
composer
and
creator
(
subrelation
lyricist
creator
)
Music.kif 156-156
子關係
lyricist
and
creator
(
termFormat
EnglishLanguage
creator
"creator")
Mid-level-ontology.kif 13744-13744
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
例
Object
and
WebListing
例
Process
and
Object
例
CognitiveAgent
and
AutonomousAgent
attribute
Object
and
AuctionAttribute
患者
Process
and
Object
CognitiveAgent
created
Object
慾望
CognitiveAgent
and
entity
例
entity
and
Auctioning
患者
entity
and
Process
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
例
AutonomousAgent
and
WebListing
例
WebSite
and
WebSite
AutonomousAgent
是在
WebSite
hosted
AutonomousAgent
created
Human
Human
是
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
例
CorpuscularObject
and
DigitalPost
例
AutonomousAgent
and
AutonomousAgent
例
WebSite
and
WebSite
零件
CorpuscularObject
and
WebSite
AutonomousAgent
created
CorpuscularObject
AutonomousAgent
是
WebSite
的
registered
user
有目的
CorpuscularObject
and
entity
例
entity
and
Disseminating
agent
entity
and
AutonomousAgent
患者
entity
and
CorpuscularObject
儀器
entity
and
WebSite
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13745-13751
AutonomousAgent
created
Entity
Process
例
Process
and
Creation
agent
Process
and
AutonomousAgent
結果
Process
and
Entity
consequent
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
子類
Class
and
Android
例
Entity
and
Class
Alphabet公司
created
Entity
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
子類
Class
and
蘋果作業系統
例
Entity
and
Class
蘋果
created
Entity
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
子類
Class
and
WindowsOS
例
Entity
and
Class
微軟
created
Entity
(=>
(
listingSeller
?LISTING ?AGENT)
(
creator
?LISTING ?AGENT))
UXExperimentalTerms.kif 57-59
AutonomousAgent
sells
AutonomousAgent
AutonomousAgent
created
AutonomousAgent
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
TikTok
(
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