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 24577-24579
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 24580-24580 Il numero 1 argomenti di canonicalPlaceName è un istanza di Regione
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 24581-24581 Il numero 2 argomenti di canonicalPlaceName è un istanza di Linguaggio
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 24582-24582 Il numero 3 argomenti di canonicalPlaceName è un istanza di Stringa
(instance canonicalPlaceName TernaryPredicate) Mid-level-ontology.kif 24576-24576 canonicalPlaceName è un' istanza di PredicatoTernario

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