| Naming(naming)
| | call, denominate, designate, entitle, label, name, term, title |
| appearance as argument number 1 |
|
|
| (subclass Naming Declaring) | Merge.kif 13429-13429 | Naming is a subclass of declaring |
| (documentation Naming EnglishLanguage "The Process of assigning a name to someone or something.") | Merge.kif 13430-13431 | Naming is a subclass of declaring |
| (externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/8/86/ Allen_naming_resolution.jpg") | pictureList.kif 2978-2978 | Naming is a subclass of declaring |
| (externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/9/91/ Sea_of_Japan_naming_dispute.png") | pictureList.kif 3164-3164 | Naming is a subclass of declaring |
| (externalImage Naming "http://upload.wikimedia.org/wikipedia/commons/d/d1/ AberdeenBestiaryFolio005rAdamNamesAnimals.jpg") | pictureList.kif 3165-3165 | Naming is a subclass of declaring |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?PROCESS Naming) (patient ?PROCESS ?THING) (destination ?PROCESS ?NAME)) (holdsDuring (FutureFn (WhenFn ?PROCESS)) (names ?NAME ?THING))) |
Merge.kif 13433-13438 | If X is an instance of naming, Y is a patient of X, and X ends up at Z, then Y has name Z holds during after the time of existence of X |
|
|
|