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 13714-13715
(
domain
creator
1
AutonomousAgent
)
Mid-level-ontology.kif 13712-13712
The number 1 argument of
creator
is an
instance
of
agent
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13713-13713
The number 2 argument of
creator
is an
instance
of
entity
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13711-13711
creator
is an
instance
of
binary predicate
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
is a
subrelation
of
creator
(
subrelation
lyricist
creator
)
Music.kif 156-156
lyricist
is a
subrelation
of
creator
(
termFormat
EnglishLanguage
creator
"creator")
Mid-level-ontology.kif 13716-13716
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
If
an object
is an
instance
of
web listing
and
a process
is an
instance
of
object
and
a cognitive agent
is an
instance
of
agent
and
auction attribute
is an
attribute
of
the object
and
the object
is a
patient
of
the process
and
the cognitive agent
created
the object
,
then
the cognitive agent
desire
s there exists
an entity
such that
the entity
is an
instance
of
auctioning
and
the process
is a
patient
of
the entity
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?SITE
WebSite
)
(
hostedOn
?LISTING ?SITE)
(
creator
?LISTING ?AGENT))
(
webSeller
?AGENT ?SITE))
UXExperimentalTerms.kif 39-45
If
an agent
is an
instance
of
web listing
and
a web site
is an
instance
of
web site
and
the agent
is
hosted
on
the web site
and
the agent
created
a human
,
then
the human
is a
seller
at
the web site
(=>
(
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
If
a corpuscular object
is an
instance
of
digital post
and
an agent
is an
instance
of
agent
and
a web site
is an
instance
of
web site
and
the corpuscular object
is a
component
of
the web site
and
the agent
created
the corpuscular object
and
the agent
is a
registered
user
of
the web site
,
then
the corpuscular object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
disseminating
and
the agent
is an
agent
of
the entity
and
the corpuscular object
is a
patient
of
the entity
and
the web site
is an
instrument
for
the entity
(=>
(
creator
?AGENT ?ENTITY)
(
exists
(?CREATION)
(
and
(
instance
?CREATION
Creation
)
(
agent
?CREATION ?AGENT)
(
result
?CREATION ?ENTITY))))
Mid-level-ontology.kif 13717-13723
If
an agent
created
an entity
,
then there exists
a process
such that
the process
is an
instance
of
creation
and
the agent
is an
agent
of
the process
and
the entity
is a
result
of
the process
consequent
(=>
(
and
(
subclass
?OS
AndroidOS
)
(
instance
?INST ?OS))
(
creator
AlphabetCorporation
?INST))
ComputingBrands.kif 30-34
If
a class
is a
subclass
of
Android
and
an entity
is an
instance
of
the class
,
then
Alphabet
created
the entity
(=>
(
and
(
subclass
?OS
AppleIOS
)
(
instance
?INST ?OS))
(
creator
AppleComputerCorporation
?INST))
ComputingBrands.kif 93-97
If
a class
is a
subclass
of
IOS
and
an entity
is an
instance
of
the class
,
then
Apple
created
the entity
(=>
(
and
(
subclass
?OS
WindowsOS
)
(
instance
?INST ?OS))
(
creator
MicrosoftCorporation
?INST))
ComputingBrands.kif 62-66
If
a class
is a
subclass
of
windows OS
and
an entity
is an
instance
of
the class
,
then
Microsoft
created
the entity
(=>
(
listingSeller
?LISTING ?AGENT)
(
creator
?LISTING ?AGENT))
UXExperimentalTerms.kif 57-59
If
an agent
sells
another agent
,
then
the other agent
created
the agent
appearance as argument number 0
(
creator
AdobeComputerCorp
AdobeFlashPlayer
)
ComputingBrands.kif 2950-2950
Adobe
created
Flash
(
creator
AppleComputer
AppleAppStore
)
ComputingBrands.kif 1971-1971
Apple Computer
created
Apple app store
(
creator
AppleComputerCorporation
AirPlay
)
ComputingBrands.kif 1858-1858
Apple
created
AirPlay
(
creator
AppleComputerCorporation
AirPrint
)
ComputingBrands.kif 1900-1900
Apple
created
AirPrint
(
creator
AppleComputerCorporation
AppleFairPlay
)
ComputingBrands.kif 956-956
Apple
created
FairPlay
(
creator
AppleComputerCorporation
AppleMigrationAssistant
)
ComputingBrands.kif 989-989
Apple
created
Migration Assistant
(
creator
AppleComputerCorporation
AppleSafari
)
ComputingBrands.kif 975-975
Apple
created
Safari
(
creator
AppleComputerCorporation
AppleSetupAssistant
)
ComputingBrands.kif 982-982
Apple
created
Setup Assistant
(
creator
AppleComputerCorporation
CocoaTouch
)
ComputingBrands.kif 2433-2433
Apple
created
Cocoa Touch
(
creator
AppleComputerCorporation
IBooks
)
ComputingBrands.kif 3293-3293
Apple
created
AppleBooks
(
creator
AppleComputerCorporation
IBookstore
)
ComputingBrands.kif 3306-3306
Apple
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
eBay web site
(
creator
FacebookCorporation
Facebook
)
ComputingBrands.kif 69-69
Facebook
created
Facebook
(
creator
GoogleCorporation
GMail
)
ComputingBrands.kif 3100-3100
Google corporation
created
GMail
(
creator
GoogleCorporation
YouTube
)
ComputingBrands.kif 4635-4635
Google corporation
created
YouTube
(
creator
MicrosoftCorporation
ActiveSync
)
ComputingBrands.kif 1770-1770
Microsoft
created
ActiveSync
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