Naming![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Naming ChineseLanguage "这个 Process 给一样东西指定一个名字或一个人。") | chinese_format.kif 3281-3281 | |
(documentation Naming EnglishLanguage "The Process of assigning a name to someone or something.") | Merge.kif 13359-13360 | |
(externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/8/86/ Allen_naming_resolution.jpg") | pictureList.kif 2978-2978 | |
(externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/9/91/ Sea_of_Japan_naming_dispute.png") | pictureList.kif 3164-3164 | |
(externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/d/d1/ AberdeenBestiaryFolio005rAdamNamesAnimals.jpg") | pictureList.kif 3165-3165 | |
(subclass Naming Declaring) | Merge.kif 13358-13358 | Naming は declaring の subclass では %n |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Naming "命名") | domainEnglishFormat.kif 39717-39717 | |
(termFormat ChineseTraditionalLanguage Naming "命名") | domainEnglishFormat.kif 39716-39716 | |
(termFormat EnglishLanguage Naming "naming") | domainEnglishFormat.kif 39715-39715 |
antecedent |
![]() |
(=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 13362-13367 |
![]() |
![]() |