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
format
Sigma KEE - format
format
appearance as argument number 1
(
documentation
format
ChineseLanguage
"这是一种关系,用于指定如何以自然语言格式来介绍表达式。")
chinese_format.kif 1499-1499
(
documentation
format
EnglishLanguage
"A relation that specifies how to present an expression in a natural language format.")
Merge.kif 383-384
(
documentation
format
JapaneseLanguage
"自然言語形式で表現を提示する方法を指定する関係。")
japanese_format.kif 61-61
(
domain
format
1
Language
)
Merge.kif 380-380
(
domain
format
2
Entity
)
Merge.kif 381-381
(
domain
format
3
SymbolicString
)
Merge.kif 382-382
(
instance
format
TernaryPredicate
)
Merge.kif 379-379
appearance as argument number 2
(
format
ChineseLanguage
format
"%3 是对于 %2 在 %1 的
format
")
domainEnglishFormat.kif 3468-3468
(
format
ChineseTraditionalLanguage
format
"%3 是對於 %2 在 %1 的
format
")
domainEnglishFormat.kif 3467-3467
(
format
EnglishLanguage
format
"%3 is the
format
for %2 in %1")
domainEnglishFormat.kif 3466-3466
(
termFormat
ChineseLanguage
format
"格式")
domainEnglishFormat.kif 24756-24756
(
termFormat
ChineseTraditionalLanguage
format
"格式")
domainEnglishFormat.kif 24755-24755
(
termFormat
EnglishLanguage
format
"format")
domainEnglishFormat.kif 24754-24754
appearance as argument number 0
(
format
ChineseLanguage
ABPFn
"%1 的
average
price
")
domainEnglishFormat.kif 2642-2642
(
format
ChineseLanguage
ASPFn
"%1 的
average
selling
price
")
domainEnglishFormat.kif 2818-2818
(
format
ChineseLanguage
AbortedFn
"由 %2 中止的 %1 ")
domainEnglishFormat.kif 20-20
(
format
ChineseLanguage
AbortedLaunchFn
"由 %1 中止启动 的 %2 ")
domainEnglishFormat.kif 24-24
(
format
ChineseLanguage
AbortedMissionFn
"由 %1 中止的 %2 任务")
domainEnglishFormat.kif 28-28
(
format
ChineseLanguage
AbsoluteValueFn
"%1 的绝对值")
chinese_format.kif 688-688
(
format
ChineseLanguage
AbstractionFn
"描述 %1")
chinese_format.kif 253-253
(
format
ChineseLanguage
AccountFn
"%1 的帐号")
domainEnglishFormat.kif 36-36
(
format
ChineseLanguage
AdditionFn
"(%*[+])")
chinese_format.kif 682-682
(
format
ChineseLanguage
AddressFn
"%1 的 address")
domainEnglishFormat.kif 56-56
(
format
ChineseLanguage
AfternoonFn
"%1 的 afternoon ")
domainEnglishFormat.kif 2702-2702
(
format
ChineseLanguage
AgentOfOrganismFn
"%1 的 biological
agent
")
domainEnglishFormat.kif 2714-2714
(
format
ChineseLanguage
AgreementOrganizationFn
"%1 的 agreement 组织")
domainEnglishFormat.kif 92-92
(
format
ChineseLanguage
AlbumCopiesFn
"%1 在 %2 的 set 复制")
domainEnglishFormat.kif 2742-2742
(
format
ChineseLanguage
AssignmentFn
"%1(%*{2-}[,])")
chinese_format.kif 346-346
(
format
ChineseLanguage
AssociativeFunction
"%1 和 %2 的 associative 功能")
domainEnglishFormat.kif 208-208
(
format
ChineseLanguage
AttrFn
"%1 跟 %2 的 attr")
domainEnglishFormat.kif 220-220
(
format
ChineseLanguage
AuctionGMBFn
"%1 的
total
purchase
price
")
domainEnglishFormat.kif 2838-2838
(
format
ChineseLanguage
AvailableForMilitaryServiceMaleFn
"%1 的 available 军事服务男性")
domainEnglishFormat.kif 224-224
(
format
ChineseLanguage
BackFn
"%1 的后面")
chinese_format.kif 255-255
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