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

Formal Language: 



KB Term:  Term intersection
English Word: 

  internetCountryCode

Sigma KEE - internetCountryCode
internetCountryCode

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


(documentation internetCountryCode EnglishLanguage "(internetCountryCode ?AREA ?CODE) relates a GeopoliticalArea to the SymbolicString ?CODE used to identify the ?AREA on internet websites.") Communications.kif 437-439
(domain internetCountryCode 1 GeopoliticalArea) Communications.kif 435-435
(domain internetCountryCode 2 SymbolicString) Communications.kif 436-436
(instance internetCountryCode BinaryPredicate) Communications.kif 434-434

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


(format ChineseLanguage internetCountryCode "%2 %n 是 1% 的 internet 国家码") domainEnglishFormat.kif 1373-1373
(format ChineseTraditionalLanguage internetCountryCode "%2 %n 是 1% 的 internet 國家碼") domainEnglishFormat.kif 1372-1372
(format EnglishLanguage internetCountryCode "%2 is %n an internet country code of %1") domainEnglishFormat.kif 1371-1371
(termFormat ChineseLanguage internetCountryCode "互联网国家代码") domainEnglishFormat.kif 30715-30715
(termFormat ChineseTraditionalLanguage internetCountryCode "互聯網國家代碼") domainEnglishFormat.kif 30714-30714
(termFormat EnglishLanguage internetCountryCode "internet country code") domainEnglishFormat.kif 30713-30713


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 is open source software produced by Articulate Software and its partners