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

Formal Language: 



KB Term:  Term intersection
English Word: 

  canonicalPlaceName

 Sigma KEE - canonicalPlaceName
canonicalPlaceName

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


(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 24576-24578
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24579-24579 O argumento numero 1 de canonicalPlaceName e' uma instancia de Regiao
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 24580-24580 O argumento numero 2 de canonicalPlaceName e' uma instancia de Linguagem
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 24581-24581 O argumento numero 3 de canonicalPlaceName e' uma instancia de Sequencia Simbolica
(instance canonicalPlaceName TernaryPredicate) Mid-level-ontology.kif 24575-24575 canonicalPlaceName e' uma instancia de Predicado Ternario

appearance as argument number 2
-------------------------


(format ChineseLanguage canonicalPlaceName "%3 在 %2 是 called %1 ") domainEnglishFormat.kif 2950-2950
(format ChineseTraditionalLanguage canonicalPlaceName "%3 在 %2 是 called %1 ") domainEnglishFormat.kif 2949-2949
(format EnglishLanguage canonicalPlaceName "%3 is called %1 in %2") domainEnglishFormat.kif 2948-2948
(termFormat EnglishLanguage canonicalPlaceName "canonical place name") domainEnglishFormat.kif 65789-65789

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners