Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
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
Agent
?AGENT is the creator of some
Entity
?ENTITY")
Mid-level-ontology.kif 13181-13182
(
domain
creator
1
Agent
)
Mid-level-ontology.kif 13179-13179
The number 1 argument of
creator
is an
instance
of
agent
(
domain
creator
2
Entity
)
Mid-level-ontology.kif 13180-13180
The number 2 argument of
creator
is an
instance
of
entity
(
instance
creator
BinaryPredicate
)
Mid-level-ontology.kif 13178-13178
creator
is an
instance
of
binary predicate
appearance as argument number 2
(
format
ChineseLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3151-3151
(
format
ChineseTraditionalLanguage
creator
"%1 created %2 ")
domainEnglishFormat.kif 3150-3150
(
format
EnglishLanguage
creator
"%1 created %2")
domainEnglishFormat.kif 3149-3149
(
subrelation
composer
creator
)
Music.kif 136-136
composer
is a
subrelation
of
creator
(
subrelation
lyricist
creator
)
Music.kif 154-154
lyricist
is a
subrelation
of
creator
(
termFormat
EnglishLanguage
creator
"creator")
Mid-level-ontology.kif 13183-13183
antecedent
(=>
(
and
(
instance
?LISTING
WebListing
)
(
instance
?ITEM
Object
)
(
instance
?CREATOR
Agent
)
(
attribute
?LISTING
AuctionAttribute
)
(
patient
?ITEM ?LISTING)
(
creator
?CREATOR ?LISTING))
(
desires
?CREATOR
(
exists
(?AUCTION)
(
and
(
instance
?AUCTION
Auctioning
)
(
patient
?AUCTION ?ITEM)))))
UXExperimentalTerms.kif 393-405
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
auction
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 44-50
If
an agent
is an
instance
of
web listing
and
a WebSite
is an
instance
of
WebSite
and
the agent
is
hosted
on
the WebSite
and
the agent
created
a human
,
then
the human
is a
seller
at
the WebSite
(=>
(
and
(
instance
?P
DigitalPost
)
(
instance
?A
Agent
)
(
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 2826-2840
If
a corpuscular object
is an
instance
of
digital post
and
an agent
is an
instance
of
agent
and
a WebSite
is an
instance
of
WebSite
and
the corpuscular object
is a
component
of
the WebSite
and
the agent
created
the corpuscular object
and
the agent
is a
registered
user
of
the WebSite
,
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 WebSite
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 13184-13190
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
(=>
(
listingSeller
?LISTING ?AGENT)
(
creator
?LISTING ?AGENT))
UXExperimentalTerms.kif 69-71
If
an agent
sells
another agent
,
then
the other agent
created
the agent
(=>
(
subclass
?OS
AndroidOS
)
(
creator
AlphabetCorporation
?OS))
ComputingBrands.kif 29-31
If
a class
is a
subclass
of
Android
,
then
Alphabet
created
the class
(=>
(
subclass
?OS
AppleIOS
)
(
creator
AppleComputerCorporation
?OS))
ComputingBrands.kif 88-90
If
a class
is a
subclass
of
IOS
,
then
Apple
created
the class
(=>
(
subclass
?OS
WindowsOS
)
(
creator
MicrosoftCorporation
?OS))
ComputingBrands.kif 59-61
If
a class
is a
subclass
of
WindowsOS
,
then
Microsoft
created
the class
appearance as argument number 0
(
creator
AdobeComputerCorp
AdobeFlashPlayer
)
ComputingBrands.kif 2918-2918
Adobe
created
Flash
(
creator
AppleComputer
AppleAppStore
)
ComputingBrands.kif 1939-1939
AppleComputer
created
Apple app store
(
creator
AppleComputerCorporation
AirPlay
)
ComputingBrands.kif 1826-1826
Apple
created
AirPlay
(
creator
AppleComputerCorporation
AirPrint
)
ComputingBrands.kif 1868-1868
Apple
created
AirPrint
(
creator
AppleComputerCorporation
AppleFairPlay
)
ComputingBrands.kif 924-924
Apple
created
FairPlay
(
creator
AppleComputerCorporation
AppleMigrationAssistant
)
ComputingBrands.kif 957-957
Apple
created
Migration Assistant
(
creator
AppleComputerCorporation
AppleSafari
)
ComputingBrands.kif 943-943
Apple
created
Safari
(
creator
AppleComputerCorporation
AppleSetupAssistant
)
ComputingBrands.kif 950-950
Apple
created
Setup Assistant
(
creator
AppleComputerCorporation
CocoaTouch
)
ComputingBrands.kif 2401-2401
Apple
created
Cocoa Touch
(
creator
AppleComputerCorporation
IBooks
)
ComputingBrands.kif 3259-3259
Apple
created
AppleBooks
(
creator
AppleComputerCorporation
IBookstore
)
ComputingBrands.kif 3272-3272
Apple
created
iBookstore
(
creator
ByteDance
TikTok
)
ComputingBrands.kif 4554-4554
ByteDance
created
TikTok
(
creator
ByteDance
Toutiao
)
ComputingBrands.kif 4585-4585
ByteDance
created
Toutiao
(
creator
EBay
EBayWebSite
)
ComputingBrands.kif 4640-4640
EBay
created
EBayWebSite
(
creator
FacebookCorporation
Facebook
)
ComputingBrands.kif 64-64
Facebook
created
Facebook
(
creator
GoogleCorporation
GMail
)
ComputingBrands.kif 3068-3068
GoogleCorporation
created
GMail
(
creator
GoogleCorporation
YouTube
)
ComputingBrands.kif 4598-4598
GoogleCorporation
created
YouTube
(
creator
MicrosoftCorporation
ActiveSync
)
ComputingBrands.kif 1738-1738
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