Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
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
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
(
documentation
termFormat
JapaneseLanguage
"自然言語形式で用語を提示する方法を指定する関係。")
japanese_format.kif 62-62
(
documentation
termFormat
SpanishLanguage
"Una relación que especifica como presentar un término en un formato de lenguaje natural.")
spanish_format.kif 70-71
(
documentation
termFormat
SpanishLanguage
"Una relación que especifica como presentar una expresión en un formato de lenguaje natural.")
spanish_format.kif 68-69
(
domain
termFormat
1
Language
)
Merge.kif 387-387
O argumento numero 1 de
termFormat
e' uma
instancia
de
Linguagem
(
domain
termFormat
2
Entity
)
Merge.kif 388-388
O argumento numero 2 de
termFormat
e' uma
instancia
de
Entidade
(
domain
termFormat
3
SymbolicString
)
Merge.kif 389-389
O argumento numero 3 de
termFormat
e' uma
instancia
de
Sequencia Simbolica
(
instance
termFormat
TernaryPredicate
)
Merge.kif 386-386
termFormat
e' uma
instancia
de
Predicado Ternario
appearance as argument number 2
(
format
ChineseLanguage
termFormat
"%3 是 %2 的 printable form 在 %1 ")
domainEnglishFormat.kif 4770-4770
(
format
ChineseTraditionalLanguage
termFormat
"%3 是 %2 的 printable form 在 %1 ")
domainEnglishFormat.kif 4769-4769
(
format
EnglishLanguage
termFormat
"%3 is the printable form of %2 in %1")
domainEnglishFormat.kif 4768-4768
(
termFormat
ChineseLanguage
termFormat
"术语格式")
domainEnglishFormat.kif 57526-57526
(
termFormat
ChineseTraditionalLanguage
termFormat
"術語格式")
domainEnglishFormat.kif 57525-57525
(
termFormat
EnglishLanguage
termFormat
"term format")
domainEnglishFormat.kif 57524-57524
antecedent
(=>
(
termFormat
?TERM ?LANGUAGE ?STRING)
(
names
?STRING ?TERM))
Media.kif 31-33
termFormat
Linguagem
,
Entidade
and
Sequencia Simbolica
Linguagem
se chama
nome
Sequencia Simbolica
appearance as argument number 0
(
termFormat
ChineseLanguage
5
GNetwork
"5G 网路")
ComputingBrands.kif 1405-1405
(
termFormat
ChineseLanguage
5
GNetwork
"5G")
ComputingBrands.kif 1401-1401
(
termFormat
ChineseLanguage
AAA-Rating
"AAA评级")
domainEnglishFormat.kif 5014-5014
(
termFormat
ChineseLanguage
AGM
"AG m")
domainEnglishFormat.kif 5862-5862
(
termFormat
ChineseLanguage
AGM114
"AG m114")
domainEnglishFormat.kif 5868-5868
(
termFormat
ChineseLanguage
AGM65
"AG m65")
domainEnglishFormat.kif 5874-5874
(
termFormat
ChineseLanguage
AH1
"A h1")
domainEnglishFormat.kif 6030-6030
(
termFormat
ChineseLanguage
AIM9
"AI m9")
domainEnglishFormat.kif 6048-6048
(
termFormat
ChineseLanguage
AMRadioStation
"AM广播电台")
domainEnglishFormat.kif 7302-7302
(
termFormat
ChineseLanguage
AMRadioSystem
"AM无线电系统")
domainEnglishFormat.kif 7308-7308
(
termFormat
ChineseLanguage
AONOrder
"AON 订单")
domainEnglishFormat.kif 7938-7938
(
termFormat
ChineseLanguage
APC
"APC")
domainEnglishFormat.kif 7956-7956
(
termFormat
ChineseLanguage
APucikwarLanguage
"一种 pucikwar 语言")
domainEnglishFormat.kif 8058-8058
(
termFormat
ChineseLanguage
ASEANRegionalForum
"东盟区域论坛")
domainEnglishFormat.kif 8634-8634
(
termFormat
ChineseLanguage
ATMMachine
"自动提款机")
domainEnglishFormat.kif 8904-8904
(
termFormat
ChineseLanguage
ATMSlot
"ATM插槽")
domainEnglishFormat.kif 8922-8922
(
termFormat
ChineseLanguage
AVCTP
"AVCTP")
ComputingBrands.kif 2172-2172
(
termFormat
ChineseLanguage
AVCTP
"影/音控制传输协议")
ComputingBrands.kif 2177-2177
(
termFormat
ChineseLanguage
AariyaLanguage
"aariya语言")
domainEnglishFormat.kif 5021-5021
(
termFormat
ChineseLanguage
Abayah
"阿巴亚")
domainEnglishFormat.kif 5028-5028
(
termFormat
ChineseLanguage
Abbey
"僧院")
domainEnglishFormat.kif 5034-5034
(
termFormat
ChineseLanguage
Abbot
"方丈")
domainEnglishFormat.kif 5040-5040
(
termFormat
ChineseLanguage
AbinomnLanguage
"abinomn语言")
domainEnglishFormat.kif 5052-5052
(
termFormat
ChineseLanguage
AbishiraLanguage
"abishira语言")
domainEnglishFormat.kif 5058-5058
(
termFormat
ChineseLanguage
AbnormalAnatomicalStructure
"异常的解剖结构")
domainEnglishFormat.kif 5064-5064
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