TreeView Knowledge Base Browser - creator

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 desires 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