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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ChargingAFee
ChargingAFee

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


(documentation ChargingAFee EnglishLanguage "An activity of a fee being charged") FinancialOntology.kif 893-893
(subclass ChargingAFee FinancialTransaction) FinancialOntology.kif 892-892 ChargingAFee金融取引subclass では

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


(subclass Corkage ChargingAFee) Dining.kif 105-105 CorkageChargingAFeesubclass では
(subclass FinalValueFee ChargingAFee) UXExperimentalTerms.kif 232-232 FinalValueFeeChargingAFeesubclass では
(subclass InsertionFee ChargingAFee) UXExperimentalTerms.kif 201-201 InsertionFeeChargingAFeesubclass では
(subclass Penalty ChargingAFee) FinancialOntology.kif 918-918 PenaltyChargingAFeesubclass では
(subclass Tax ChargingAFee) FinancialOntology.kif 921-921 TaxChargingAFeesubclass では
(termFormat ChineseLanguage ChargingAFee "收费") domainEnglishFormat.kif 14199-14199 TaxChargingAFeesubclass では
(termFormat ChineseTraditionalLanguage ChargingAFee "收費") domainEnglishFormat.kif 14198-14198 TaxChargingAFeesubclass では
(termFormat EnglishLanguage ChargingAFee "charging a fee") domainEnglishFormat.kif 14197-14197 TaxChargingAFeesubclass では

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


(domain amountCharged 1 ChargingAFee) FinancialOntology.kif 913-913 amountCharged の数値 1 引数は ChargingAFeeinstance では

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


(=>
    (serviceFee ?Bank ?Action ?Amount)
    (exists (?Fee)
        (and
            (instance ?Fee ChargingAFee)
            (agent ?Fee ?Bank)
            (causes ?Action ?Fee)
            (amountCharged ?Fee ?Amount))))
FinancialOntology.kif 902-909


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