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 互聯網國家代碼, 1 and GeopoliticalArea
(domain internetCountryCode 2 SymbolicString) Communications.kif 436-436 互聯網國家代碼, 2 and SymbolicString
(instance internetCountryCode BinaryPredicate) Communications.kif 434-434 互聯網國家代碼 and BinaryPredicate

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 30727-30727
(termFormat ChineseTraditionalLanguage internetCountryCode "互聯網國家代碼") domainEnglishFormat.kif 30726-30726
(termFormat EnglishLanguage internetCountryCode "internet country code") domainEnglishFormat.kif 30725-30725

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