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 13742-13743 | |
(domain creator 1 AutonomousAgent) | Mid-level-ontology.kif 13740-13740 | |
(domain creator 2 Entity) | Mid-level-ontology.kif 13741-13741 | |
(instance creator BinaryPredicate) | Mid-level-ontology.kif 13739-13739 |
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 | |
(subrelation lyricist creator) | Music.kif 156-156 | |
(termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 13744-13744 |
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 | |
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 39-45 | |
(=> (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 | |
(=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 13745-13751 |
consequent |
(=> (and (subclass ?OS AndroidOS) (instance ?INST ?OS)) (creator AlphabetCorporation ?INST)) |
ComputingBrands.kif 30-34 | |
(=> (and (subclass ?OS AppleIOS) (instance ?INST ?OS)) (creator AppleComputerCorporation ?INST)) |
ComputingBrands.kif 93-97 | |
(=> (and (subclass ?OS WindowsOS) (instance ?INST ?OS)) (creator MicrosoftCorporation ?INST)) |
ComputingBrands.kif 62-66 | |
(=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 57-59 |
appearance as argument number 0 |