Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Naming

 Sigma KEE - Naming
Naming(naming)
call, denominate, designate, entitle, label, name, term, title

appearance as argument number 1
-------------------------


(subclass Naming Declaring) Merge.kif 13557-13557 Naming is a subclass of declaring
(documentation Naming EnglishLanguage "The Process of assigning a name to someone or something.") Merge.kif 13558-13559 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
-------------------------


(termFormat EnglishLanguage Naming "naming") domainEnglishFormat.kif 39691-39691
(termFormat ChineseTraditionalLanguage Naming "命名") domainEnglishFormat.kif 39692-39692
(termFormat ChineseLanguage Naming "命名") domainEnglishFormat.kif 39693-39693

antecedent
-------------------------


(=>
    (and
        (instance ?PROCESS Naming)
        (patient ?PROCESS ?THING)
        (destination ?PROCESS ?NAME))
    (holdsDuring
        (FutureFn
            (WhenFn ?PROCESS))
        (names ?NAME ?THING)))		 Merge.kif 13561-13569 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners