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	ChargingAFee est une sous-classe de financial transaction

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Dining.kif 105-105	Corkage est une sous-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 232-232	FinalValueFee est une sous-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 201-201	InsertionFee est une sous-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 916-916	Penalty est une sous-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 919-919	Tax est une sous-classe de ChargingAFee
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14190-14190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14189-14189
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14188-14188

appearance as argument number 3

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

FinancialOntology.kif 911-911

Le nombre 1 argument de amountCharged est une instance de ChargingAFee

consequent

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

FinancialOntology.kif 900-907