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
serviceFee
Sigma KEE - serviceFee
serviceFee
appearance as argument number 1
(
documentation
serviceFee
EnglishLanguage
"A charge to the customer levied by a
FinancialOrganization
for a
FinancialTransaction
, such as
OpeningAnAccount
or
UsingAnAccount
.")
FinancialOntology.kif 897-898
(
domain
serviceFee
1
FinancialOrganization
)
FinancialOntology.kif 894-894
The number 1 argument of
service fee
is an
instance
of
financial organization
(
domain
serviceFee
2
FinancialTransaction
)
FinancialOntology.kif 895-895
The number 2 argument of
service fee
is an
instance
of
financial transaction
(
domain
serviceFee
3
CurrencyMeasure
)
FinancialOntology.kif 896-896
The number 3 argument of
service fee
is an
instance
of
currency measure
(
instance
serviceFee
TernaryPredicate
)
FinancialOntology.kif 893-893
service fee
is an
instance
of
ternary predicate
appearance as argument number 2
(
format
ChineseLanguage
serviceFee
"%1 %n 是 对于 %3 的 service 费用 %2 ")
domainEnglishFormat.kif 2251-2251
(
format
ChineseTraditionalLanguage
serviceFee
"%1 %n 是 對於 %3 的 service 費用 %2 ")
domainEnglishFormat.kif 2250-2250
(
format
EnglishLanguage
serviceFee
"%1 is %n service fee %2 for %3")
domainEnglishFormat.kif 2249-2249
(
termFormat
ChineseLanguage
serviceFee
"服务费")
domainEnglishFormat.kif 52251-52251
(
termFormat
ChineseTraditionalLanguage
serviceFee
"服務費")
domainEnglishFormat.kif 52250-52250
(
termFormat
EnglishLanguage
serviceFee
"service fee")
domainEnglishFormat.kif 52249-52249
antecedent
(=>
(
serviceFee
?Bank ?Action ?Amount)
(
exists
(?Fee)
(
and
(
instance
?Fee
ChargingAFee
)
(
agent
?Fee ?Bank)
(
causes
?Action ?Fee)
(
amountCharged
?Fee ?Amount))))
FinancialOntology.kif 900-907
If
a financial organization
is
service
fee
a financial transaction
for
a currency measure
,
then there exists
a chargingA fee
such that
the chargingA fee
is an
instance
of
chargingA fee
and
the financial organization
is an
agent
of
the chargingA fee
and
the financial transaction
cause
s
the chargingA fee
and
the currency measure
is the
amount
charged
in
the chargingA fee
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