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


KB Term:  Term intersection
English Word: 

  canonicalPlaceName

 Sigma KEE - canonicalPlaceName
canonicalPlaceName

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


(instance canonicalPlaceName TernaryPredicate) Mid-level-ontology.kif 26867-26867 canonical place name is an instance of ternary predicate
(documentation canonicalPlaceName EnglishLanguage "(canonicalPlaceName ?PLACE ?LANG ?STRING) means that in the Language ?LANG, the SymbolicString ?STRING is a canonical name for the GeographicArea ?PLACE") Mid-level-ontology.kif 26868-26870 canonical place name is an instance of ternary predicate
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 26871-26871 The number 1 argument of canonical place name is an instance of region
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 26872-26872 The number 2 argument of canonical place name is an instance of language
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 26873-26873 The number 3 argument of canonical place name is an instance of symbolic string

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