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 | 域 creator, 1 and AutonomousAgent |
(domain creator 2 Entity) | Mid-level-ontology.kif 13741-13741 | 域 creator, 2 and Entity |
(instance creator BinaryPredicate) | Mid-level-ontology.kif 13739-13739 | 例 creator and BinaryPredicate |
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 | 子關係 composer and creator |
(subrelation lyricist creator) | Music.kif 156-156 | 子關係 lyricist and creator |
(termFormat EnglishLanguage creator "creator") | Mid-level-ontology.kif 13744-13744 |
antecedent |
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 |