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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 30708-30708
(termFormat ChineseTraditionalLanguage internetCountryCode "互聯網國家代碼") domainEnglishFormat.kif 30707-30707
(termFormat EnglishLanguage internetCountryCode "internet country code") domainEnglishFormat.kif 30706-30706

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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