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
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 1816-1816
(
domain
liquidity
1
FinancialAccount
)
FinancialOntology.kif 1813-1813
Die Zahl 1 Argument von
liquidity
ist ein
fall
von
FinancialAccount
%n{nicht}
(
domain
liquidity
2
LiquidityAttribute
)
FinancialOntology.kif 1814-1814
Die Zahl 2 Argument von
liquidity
ist ein
fall
von
LiquidityAttribute
%n{nicht}
(
instance
liquidity
BinaryPredicate
)
FinancialOntology.kif 1815-1815
liquidity
ist ein
fall
von
BinaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
liquidity
"%1 的 liqudity 是 %2 ")
domainEnglishFormat.kif 3766-3766
(
format
ChineseTraditionalLanguage
liquidity
"%1 的 liqudity 是 %2 ")
domainEnglishFormat.kif 3765-3765
(
format
EnglishLanguage
liquidity
"the liqudity of %1 is %2")
domainEnglishFormat.kif 3764-3764
(
termFormat
ChineseLanguage
liquidity
"流动性")
domainEnglishFormat.kif 34637-34637
(
termFormat
ChineseTraditionalLanguage
liquidity
"流動性")
domainEnglishFormat.kif 34636-34636
(
termFormat
EnglishLanguage
liquidity
"liquidity")
domainEnglishFormat.kif 34635-34635
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 1818-1828
Process
ist ein
fall
von
Withdrawal
%n{nicht} und
FinancialAccount
ist ein
fall
von
FinancialAccount
%n{nicht} und
** Process
beginnet an
CurrencyFn
** FinancialAccount
%n{nicht} und es gibt nicht
** Process
um
** ** Process
ist ein
fall
von
Penalty
%n{nicht} und
** ** Process
endet an
CurrencyFn
** FinancialAccount
%n{nicht} und
** Process
verursacht
** ** Process
%n{nicht} genau dann wenn
liquidity
** FinancialAccount
and
HighLiquidity
(=>
(
instance
?Account
MoneyMarket
)
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1059-1061
Wenn
FinancialAccount
ist ein
fall
von
MoneyMarket
%n{nicht},
dann
liquidity
** FinancialAccount
and
HighLiquidity
(=>
(
instance
?Account
TraditionalSavingsAccount
)
(
liquidity
?Account
HighLiquidity
))
FinancialOntology.kif 1105-1107
Wenn
FinancialAccount
ist ein
fall
von
TraditionalSavingsAccount
%n{nicht},
dann
liquidity
** FinancialAccount
and
HighLiquidity
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