Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
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
(
instance
internetCountryCode
BinaryPredicate
)
Communications.kif 487-487
internet country code
is an
instance
of
binary predicate
(
domain
internetCountryCode
1
GeopoliticalArea
)
Communications.kif 488-488
The number 1 argument of
internet country code
is an
instance
of
geopolitical area
(
domain
internetCountryCode
2
SymbolicString
)
Communications.kif 489-489
The number 2 argument of
internet country code
is an
instance
of
symbolic string
(
documentation
internetCountryCode
EnglishLanguage
"(internetCountryCode ?AREA ?CODE) relates a
GeopoliticalArea
to the
SymbolicString
?CODE used to identify the ?AREA on internet websites.")
Communications.kif 490-492
The number 2 argument of
internet country code
is an
instance
of
symbolic string
appearance as argument number 2
(
format
EnglishLanguage
internetCountryCode
"%2 is %n an internet country code of %1")
domainEnglishFormat.kif 1371-1371
(
format
ChineseTraditionalLanguage
internetCountryCode
"%2 %n 是 1% 的 internet 國家碼")
domainEnglishFormat.kif 1372-1372
(
format
ChineseLanguage
internetCountryCode
"%2 %n 是 1% 的 internet 国家码")
domainEnglishFormat.kif 1373-1373
(
termFormat
EnglishLanguage
internetCountryCode
"internet country code")
domainEnglishFormat.kif 30723-30723
(
termFormat
ChineseTraditionalLanguage
internetCountryCode
"互聯網國家代碼")
domainEnglishFormat.kif 30724-30724
(
termFormat
ChineseLanguage
internetCountryCode
"互联网国家代码")
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners