| 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 12339-12340 | |
| (externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/8/86/ Allen-naming-resolution.jpg") | pictureList.kif 2980-2980 | |
| (externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/9/91/ Sea_of_Japan_naming_dispute.png") | pictureList.kif 3166-3166 | |
| (externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/d/d1/ AberdeenBestiaryFolio005rAdamNamesAnimals.jpg") | pictureList.kif 3167-3167 | |
| (subclass Naming Declaring) | Merge.kif 12338-12338 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Naming "命名") | domainEnglishFormat.kif 39679-39679 | |
| (termFormat ChineseTraditionalLanguage Naming "命名") | domainEnglishFormat.kif 39678-39678 | |
| (termFormat EnglishLanguage Naming "naming") | domainEnglishFormat.kif 39677-39677 |
| antecedent |
|
|
| (=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 12342-12347 |
|
|
|