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 23928-23930
(domain canonicalPlaceName 1 Region) Mid-level-ontology.kif 23931-23931 domain canonicalPlaceName, 1 and Region
(domain canonicalPlaceName 2 Language) Mid-level-ontology.kif 23932-23932 domain canonicalPlaceName, 2 and Language
(domain canonicalPlaceName 3 SymbolicString) Mid-level-ontology.kif 23933-23933 domain canonicalPlaceName, 3 and SymbolicString
(instance canonicalPlaceName TernaryPredicate) Mid-level-ontology.kif 23927-23927 instance canonicalPlaceName and TernaryPredicate

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


(format ChineseLanguage canonicalPlaceName "%3 在 %2 是 called %1 ") domainEnglishFormat.kif 2955-2955
(format ChineseTraditionalLanguage canonicalPlaceName "%3 在 %2 是 called %1 ") domainEnglishFormat.kif 2954-2954
(format EnglishLanguage canonicalPlaceName "%3 is called %1 in %2") domainEnglishFormat.kif 2953-2953

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