creator - Sigma Knowledge base Browser

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 AutonomousAgent ?AGENT is the creator of some Entity ?ENTITY")	Mid-level-ontology.kif 13933-13934
(domain creator 1 AutonomousAgent)	Mid-level-ontology.kif 13931-13931	The number 1 argument of creator is an instance of agent
(domain creator 2 Entity)	Mid-level-ontology.kif 13932-13932	The number 2 argument of creator is an instance of entity
(instance creator BinaryPredicate)	Mid-level-ontology.kif 13930-13930	creator is an instance of binary predicate

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 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 13935-13935	lyricist is a subrelation of creator

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 desires 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 13936-13942	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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