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 Agent ?AGENT is the creator of some Entity ?ENTITY")	Mid-level-ontology.kif 11327-11328
(domain creator 1 Agent)	Mid-level-ontology.kif 11325-11325	The number 1 argument of creator is an instance of agent
(domain creator 2 Entity)	Mid-level-ontology.kif 11326-11326	The number 2 argument of creator is an instance of entity
(instance creator BinaryPredicate)	Mid-level-ontology.kif 11324-11324	creator is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage creator "%1 created %2 ")	domainEnglishFormat.kif 3147-3147
(format ChineseTraditionalLanguage creator "%1 created %2 ")	domainEnglishFormat.kif 3146-3146
(format EnglishLanguage creator "%1 created %2")	domainEnglishFormat.kif 3145-3145
(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 11329-11329

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 391-403	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
(=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY))))	Mid-level-ontology.kif 11330-11336	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 ?OS AlphabetCorporation))	ComputingBrands.kif 30-32	If an agent is a subclass of Android, then the agent created Alphabet
(=> (subclass ?OS AppleIOS) (creator ?OS AppleComputerCorporation))	ComputingBrands.kif 92-94	If an agent is a subclass of IOS, then the agent created Apple
(=> (subclass ?OS WindowsOS) (creator ?OS MicrosoftCorporation))	ComputingBrands.kif 62-64	If an agent is a subclass of WindowsOS, then the agent created Microsoft

appearance as argument number 0

(creator ActiveSync MicrosoftCorporation)	ComputingBrands.kif 1747-1747	ActiveSync created Microsoft
(creator AdobeFlashPlayer AdobeComputerCorp)	ComputingBrands.kif 2923-2923	Flash created Adobe
(creator AirPlay AppleComputerCorporation)	ComputingBrands.kif 1838-1838	AirPlay created Apple
(creator AirPrint AppleComputerCorporation)	ComputingBrands.kif 1880-1880	AirPrint created Apple
(creator AppleAppStore AppleComputer)	ComputingBrands.kif 1951-1951	Apple app store created AppleComputer
(creator AppleFairPlay AppleComputerCorporation)	ComputingBrands.kif 933-933	FairPlay created Apple
(creator AppleMigrationAssistant AppleComputerCorporation)	ComputingBrands.kif 966-966	Migration Assistant created Apple
(creator AppleSafari AppleComputerCorporation)	ComputingBrands.kif 952-952	Safari created Apple
(creator AppleSetupAssistant AppleComputerCorporation)	ComputingBrands.kif 959-959	Setup Assistant created Apple
(creator CocoaTouch AppleComputerCorporation)	ComputingBrands.kif 2410-2410	Cocoa Touch created Apple
(creator Facebook FacebookCorporation)	ComputingBrands.kif 67-67	Facebook created Facebook
(creator GMail GoogleCorporation)	ComputingBrands.kif 3073-3073	GMail created GoogleCorporation
(creator IBooks AppleComputerCorporation)	ComputingBrands.kif 3281-3281	AppleBooks created Apple
(creator IBookstore AppleComputerCorporation)	ComputingBrands.kif 3294-3294	IBookstore created Apple

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners