Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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 482-484
(
domain
internetCountryCode
1
GeopoliticalArea
)
Communications.kif 480-480
(
domain
internetCountryCode
2
SymbolicString
)
Communications.kif 481-481
(
instance
internetCountryCode
BinaryPredicate
)
Communications.kif 479-479
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 30732-30732
(
termFormat
ChineseTraditionalLanguage
internetCountryCode
"互聯網國家代碼")
domainEnglishFormat.kif 30731-30731
(
termFormat
EnglishLanguage
internetCountryCode
"internet country code")
domainEnglishFormat.kif 30730-30730
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