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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 互联网国家代码 的 1 数量 是 地缘政治区域instance
(domain internetCountryCode 2 SymbolicString) Communications.kif 436-436 互联网国家代码 的 2 数量 是 符号串instance
(instance internetCountryCode BinaryPredicate) Communications.kif 434-434 互联网国家代码二元谓语instance

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


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