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 11326-11327 | |
(domain creator 1 Agent) | Mid-level-ontology.kif 11324-11324 | |
(domain creator 2 Entity) | Mid-level-ontology.kif 11325-11325 | |
(instance creator BinaryPredicate) | Mid-level-ontology.kif 11323-11323 |
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 | |
(subrelation lyricist creator) | Music.kif 154-154 | |
(termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 11328-11328 |
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 | |
(=> (and (instance ?LISTING WebListing) (instance ?SITE WebSite) (hostedOn ?LISTING ?SITE) (creator ?LISTING ?AGENT)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 44-50 | |
(=> (creator ?AGENT ?ENTITY) (exists (?CREATION) (and (instance ?CREATION Creation) (agent ?CREATION ?AGENT) (result ?CREATION ?ENTITY)))) |
Mid-level-ontology.kif 11329-11335 |
consequent |
![]() |
(=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 69-71 | |
(=> (subclass ?OS AndroidOS) (creator ?OS AlphabetCorporation)) |
ComputingBrands.kif 30-32 | |
(=> (subclass ?OS AppleIOS) (creator ?OS AppleComputerCorporation)) |
ComputingBrands.kif 92-94 | |
(=> (subclass ?OS WindowsOS) (creator ?OS MicrosoftCorporation)) |
ComputingBrands.kif 62-64 |
appearance as argument number 0 |
![]() |
![]() |
![]() |