ChargingAFee - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 891-891
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 890-890	ChargingA fee is a subclass of financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 105-105	Corkage is a subclass of chargingA fee
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 298-298	Final fee is a subclass of chargingA fee
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 262-262	Insertion fee is a subclass of chargingA fee
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 916-916	Penalty is a subclass of chargingA fee
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 919-919	Tax is a subclass of chargingA fee
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14188-14188
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14187-14187
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14186-14186

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 911-911

The number 1 argument of amount charged is an instance of chargingA fee

consequent

No TPTP formula. May not be expressible in strict first order.

FinancialOntology.kif 900-907