Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChargingAFee
ChargingAFee(chargingA fee)anchorage, contingency_fee, fee, finder's_fee, lockage, mintage, moorage, poundage, truckage

appearance as argument number 1
-------------------------


s__documentation(s__ChargingAFee,s__EnglishLanguage,'"An activity of a fee being charged"')

FinancialOntology.kif 845-845
s__subclass(s__ChargingAFee,s__FinancialTransaction)

s__instance(s__FinancialTransaction,s__SetOrClass)

s__instance(s__ChargingAFee,s__SetOrClass)

FinancialOntology.kif 844-844 ChargingA fee is a subclass of financial transaction

appearance as argument number 2
-------------------------


s__instance(s__Corkage,s__SetOrClass)

s__instance(s__ChargingAFee,s__SetOrClass)

s__subclass(s__Corkage,s__ChargingAFee)

Dining.kif 105-105 Corkage is a subclass of chargingA fee
s__subclass(s__FinalValueFee,s__ChargingAFee)

s__instance(s__FinalValueFee,s__SetOrClass)

s__instance(s__ChargingAFee,s__SetOrClass)

UXExperimentalTerms.kif 298-298 Final fee is a subclass of chargingA fee
s__instance(s__InsertionFee,s__SetOrClass)

s__subclass(s__InsertionFee,s__ChargingAFee)

s__instance(s__ChargingAFee,s__SetOrClass)

UXExperimentalTerms.kif 262-262 Insertion fee is a subclass of chargingA fee
s__instance(s__Penalty,s__SetOrClass)

s__subclass(s__Penalty,s__ChargingAFee)

s__instance(s__ChargingAFee,s__SetOrClass)

FinancialOntology.kif 870-870 Penalty is a subclass of chargingA fee
s__instance(s__Tax,s__SetOrClass)

s__subclass(s__Tax,s__ChargingAFee)

s__instance(s__ChargingAFee,s__SetOrClass)

FinancialOntology.kif 873-873 Tax is a subclass of chargingA fee
s__termFormat(s__ChineseLanguage,s__ChargingAFee,'"收费"')

domainEnglishFormat.kif 14193-14193
s__termFormat(s__ChineseTraditionalLanguage,s__ChargingAFee,'"收費"')

domainEnglishFormat.kif 14192-14192
s__termFormat(s__EnglishLanguage,s__ChargingAFee,'"chargingA fee"')

domainEnglishFormat.kif 14191-14191

appearance as argument number 3
-------------------------


s__domain(s__amountCharged__m,n__1,s__ChargingAFee)

FinancialOntology.kif 865-865 The number 1 argument of amount charged is an instance of chargingA fee

consequent
-------------------------


( ! [V__Amount,V__Action,V__Bank] :
   (((s__instance(V__Amount,s__CurrencyMeasure) &
         s__instance(V__Action,s__FinancialTransaction) &
         s__instance(V__Bank,s__FinancialOrganization))
       =>
       ((s__serviceFee(V__Bank,V__Action,V__Amount)
         =>
         (( ? [V__Fee] :
             ((s__instance(V__Fee,s__ChargingAFee) &
                 s__agent(V__Fee,V__Bank)
               &
               s__causes(V__Action,V__Fee)
             &
             s__amountCharged(V__Fee,V__Amount))))))))
)
)

FinancialOntology.kif 854-861


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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