Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
liquidity
Sigma KEE - liquidity
liquidity
appearance as argument number 1
(
documentation
liquidity
EnglishLanguage
"Degree to which accounts can be easily converted to cash.")
FinancialOntology.kif 1833-1833
(
domain
liquidity
1
FinancialAccount
)
FinancialOntology.kif 1830-1830
流动性
的 1 数量 是
金融账户
的
instance
(
domain
liquidity
2
LiquidityAttribute
)
FinancialOntology.kif 1831-1831
流动性
的 2 数量 是
流动性属性
的
instance
(
instance
liquidity
BinaryPredicate
)
FinancialOntology.kif 1832-1832
流动性
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
liquidity
"%1 的 liqudity 是 %2 ")
domainEnglishFormat.kif 3764-3764
(
format
ChineseTraditionalLanguage
liquidity
"%1 的 liqudity 是 %2 ")
domainEnglishFormat.kif 3763-3763
(
format
EnglishLanguage
liquidity
"the liqudity of %1 is %2")
domainEnglishFormat.kif 3762-3762
(
termFormat
ChineseLanguage
liquidity
"流动性")
domainEnglishFormat.kif 34648-34648
(
termFormat
ChineseTraditionalLanguage
liquidity
"流動性")
domainEnglishFormat.kif 34647-34647
(
termFormat
EnglishLanguage
liquidity
"liquidity")
domainEnglishFormat.kif 34646-34646
consequent
(<=>
(
and
(
instance
?Withdrawal
Withdrawal
)
(
instance
?Account
FinancialAccount
)
(
origin
?Withdrawal
(
CurrencyFn
?Account))
(
not
(
exists
(?Penalty)
(
and
(
instance
?Penalty
Penalty
)
(
destination
?Penalty
(
CurrencyFn
?Account))
(
causes
?Withdrawal ?Penalty)))))
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1835-1845
过程
是
退出
的
instance
和
金融账户
是
金融账户
的
instance
和
那个 金融账户
的
currency
是
那个 过程
的源头 和 不存在
另一个 过程
这样
那个 另外 过程
是
罚款
的
instance
和
那个 另外 过程
在
那个 金融账户
的
currency
结束 和
那个 过程
causes
那个 另外 过程
若且唯若
那个 金融账户
的
liqudity
是
高流动性
(=>
(
instance
?Account
MoneyMarket
)
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1061-1063
如果
金融账户
是
货币市场
的
instance
,
然后
那个 金融账户
的
liqudity
是
高流动性
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1107-1109
如果
金融账户
是
传统储蓄账户
的
instance
,
然后
那个 金融账户
的
liqudity
是
高流动性
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