Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
termFormat
Sigma KEE - termFormat
termFormat
appearance as argument number 1
(
documentation
termFormat
ChineseLanguage
"这是一种关系,用于指定如何以自然语言格式来介绍一个术语。")
chinese_format.kif 1400-1400
(
documentation
termFormat
EnglishLanguage
"A relation that specifies how to present a term in a natural language format.")
Merge.kif 390-391
(
domain
termFormat
1
Language
)
Merge.kif 387-387
The number 1 argument of
term format
is an
instance
of
language
(
domain
termFormat
2
Entity
)
Merge.kif 388-388
The number 2 argument of
term format
is an
instance
of
entity
(
domain
termFormat
3
SymbolicString
)
Merge.kif 389-389
The number 3 argument of
term format
is an
instance
of
symbolic string
(
instance
termFormat
TernaryPredicate
)
Merge.kif 386-386
term format
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
termFormat
"%3 是 %2 的 printable form 在 %1 ")
domainEnglishFormat.kif 4779-4779
(
format
ChineseTraditionalLanguage
termFormat
"%3 是 %2 的 printable form 在 %1 ")
domainEnglishFormat.kif 4778-4778
(
format
EnglishLanguage
termFormat
"%3 is the printable form of %2 in %1")
domainEnglishFormat.kif 4777-4777
(
termFormat
ChineseLanguage
termFormat
"术语格式")
domainEnglishFormat.kif 57436-57436
(
termFormat
ChineseTraditionalLanguage
termFormat
"術語格式")
domainEnglishFormat.kif 57435-57435
(
termFormat
EnglishLanguage
termFormat
"term format")
domainEnglishFormat.kif 57434-57434
antecedent
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
If
a symbolic string
is the
printable
form
of
an entity
in
a language
,
then
the language
has
name
the symbolic string
appearance as argument number 0
(
termFormat
ChineseLanguage
2
GNetwork
"2G 网路")
ComputingBrands.kif 1216-1216
(
termFormat
ChineseLanguage
2
GNetwork
"2G")
ComputingBrands.kif 1211-1211
(
termFormat
ChineseLanguage
3
GNetwork
"3G 网路")
ComputingBrands.kif 1262-1262
(
termFormat
ChineseLanguage
3
GNetwork
"3G")
ComputingBrands.kif 1257-1257
(
termFormat
ChineseLanguage
4
GNetwork
"4G 网路")
ComputingBrands.kif 1308-1308
(
termFormat
ChineseLanguage
4
GNetwork
"4G")
ComputingBrands.kif 1304-1304
(
termFormat
ChineseLanguage
5
GNetwork
"5G 网路")
ComputingBrands.kif 1381-1381
(
termFormat
ChineseLanguage
5
GNetwork
"5G")
ComputingBrands.kif 1376-1376
(
termFormat
ChineseLanguage
AAA-Rating
"AAA评级")
domainEnglishFormat.kif 5023-5023
(
termFormat
ChineseLanguage
AGM
"AG m")
domainEnglishFormat.kif 5873-5873
(
termFormat
ChineseLanguage
AGM114
"AG m114")
domainEnglishFormat.kif 5879-5879
(
termFormat
ChineseLanguage
AGM65
"AG m65")
domainEnglishFormat.kif 5885-5885
(
termFormat
ChineseLanguage
AH1
"A h1")
domainEnglishFormat.kif 6041-6041
(
termFormat
ChineseLanguage
AIM9
"AI m9")
domainEnglishFormat.kif 6059-6059
(
termFormat
ChineseLanguage
AMRadioStation
"AM广播电台")
domainEnglishFormat.kif 7313-7313
(
termFormat
ChineseLanguage
AMRadioSystem
"AM无线电系统")
domainEnglishFormat.kif 7319-7319
(
termFormat
ChineseLanguage
AONOrder
"AON 订单")
domainEnglishFormat.kif 7949-7949
(
termFormat
ChineseLanguage
APC
"AP c")
domainEnglishFormat.kif 7967-7967
(
termFormat
ChineseLanguage
APucikwarLanguage
"一种 pucikwar 语言")
domainEnglishFormat.kif 8069-8069
(
termFormat
ChineseLanguage
ASEANRegionalForum
"东盟区域论坛")
domainEnglishFormat.kif 8645-8645
(
termFormat
ChineseLanguage
ATMMachine
"自动提款机")
domainEnglishFormat.kif 8921-8921
(
termFormat
ChineseLanguage
ATMSlot
"ATM插槽")
domainEnglishFormat.kif 8939-8939
(
termFormat
ChineseLanguage
AVCTP
"AVCTP")
ComputingBrands.kif 2150-2150
(
termFormat
ChineseLanguage
AVCTP
"影/音控制传输协议")
ComputingBrands.kif 2155-2155
(
termFormat
ChineseLanguage
AariyaLanguage
"aariya语言")
domainEnglishFormat.kif 5030-5030
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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